default search action
3. TSA 2016: Wuhan, China
- Third International Conference on Trustworthy Systems and their Applications, TSA 2016, Wuhan, China, September 18-22, 2016. IEEE 2016, ISBN 978-1-5090-3539-7
Anomaly and Vulnerability Analysis
- Feng-Jian Wang, Tenny Lu, Hwai-Jung Hsu:
Separation of Concerns in Analysis of Artifact Anomalies within Workflow Models. 1-7 - Fei Zhao, Wenchang Shi, Bo Qin, Bin Liang:
A Copy-Move Forgery Detection Scheme with Improved Clone Region Estimation. 8-16 - Qi Tang, Wen Zhang, Xiaoyong Li, Bin Wang:
X-Prcaf : Xposed Based Protecting Cache File from Leaks in Android Social Applications. 17-22 - Shiyu Wang, Kun Lu, Mingchu Li, Qilong Zhen, Xiaoyu Che:
Fighting Pollution Attack in Peer-to-Peer Streaming Systems: A Dynamic Reputation Management Approach. 23-28
Software Development and Reliability Analysis
- William Cheng-Chung Chu, Chih-Hung Chang, Tse-Chuan Hsu, Yen-Hua Huang:
Applying Software Defined Methodologies to Software Computing. 29-35 - Jianwen Xiang, Siwei Zhou, Luyao Ye, Shengwu Xiong, W. Eric Wong:
A Generalized Multiple-Valued Decision Diagram for Reliability Analysis of Fault-Tolerant Systems. 36-41 - Haibo Cheng, Peng Zeng, Lingling Xue, Zhao Shi, Peng Wang, Haibin Yu:
Manufacturing Ontology Development Based on Industry 4.0 Demonstration Production Line. 42-47
Program Analysis
- Jinjie Gou, Cheng Wang, Wei Luo, Jin Gou:
The Normalized-PSO and Its Application in Attribute Weighted Optimal Problem. 48-53 - Zhifei Chen, Wanwangying Ma, Wei Lin, Lin Chen, Baowen Xu:
Tracking Down Dynamic Feature Code Changes against Python Software Evolution. 54-63 - Jingxuan Tu, Xiaoyuan Xie, Yuming Zhou, Baowen Xu, Lin Chen:
A Search Based Context-Aware Approach for Understanding and Localizing the Fault via Weighted Call Graph. 64-72
Architectural Evaluation and Verification
- Sidou Dong, Aihua Ren, Xin Wang:
The Architecture of OPAL for the Software Process Improvement in High Maturity Level. 73-80 - Xiaojun Ji, Lihua Song:
Mutual Exclusion Verification of Peterson's Solution in Isabelle/HOL. 81-86 - Wanwangying Ma, Lin Chen, Yuming Zhou, Baowen Xu:
What Are the Dominant Projects in the GitHub Python Ecosystem? 87-95
Software Testing, Security, and Reliability
- Xinbo Qian, Congchang Zhan:
Laboratory Reliability Testing Design of Solenoid Operated Directional-Control Valves for Industrial Application. 96-101 - Deliang Gu, Kuisheng Chen, Xinbo Qian, Congchang Zhan:
Reliability Analysis of Drilling Mud Pump Pressure Cylinder Hydraulic System. 102-107 - Kai Xie, Chao Sun:
A Fast Regression Testing Method Using for EMS System Engineering Project. 108-111 - Dong Li, Jing Xiong, Chunhui Yang:
Study of Performance Testing of Information System Based on Domestic CPU and OS. 112-116 - Jiayu Gong, Jiawen Lu, Lizhi Cai:
An Induction to the Development of Software Quality Model Standards. 117-122 - Xuan Wang, Lu Zhang, Hongji Yang:
Design of a Creative Encryption Approach Based on Pataphysics. 123-126
Empirical Studies
- Yu Yang, Chao Li, Guozi Sun:
A Time-Space Attribute-Based Evidence Fixing Method in Digital Forensics. 127-131 - Xiaolan Chang, Yongle Zhao:
An Empirical Analysis Method of Incentives for Talent Innovation Behavior. 132-136 - Yikang Peng, Zhibin Huang, Feng Zhou:
Contrast and Analysis about the Characteristics of MPS and CDP in GPU Kepler Architecture. 137-141 - Xianlong Lv, Xingong Cheng, YongXi Lv:
Distributed Cloud Storage and Parallel Topology Processing of Power Network. 142-146 - Hongyu Wang, Xingong Cheng, Xiju Zong:
Optimal PMU Placement for the System Observability Based on System Topology Model. 147-151
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.