


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














