[Front cover - Vol 2]

Keynoter Speakers - Volume 2 (PDF)

pp. xviii-xxi

Title Page i - Volume 2 (PDF)

pp. i

Title Page iii - Volume 2 (PDF)

pp. iii

[Copyright notice - Volume 2] (PDF)

pp. iv

Table of contents - Volume 2 (PDF)

pp. v-xi

Preface - Volume 2 (PDF)

pp. xii-xiii

Conference Committee - Volume 2 (PDF)

pp. xiv

list-reviewer (PDF)

pp. xv-xvii

Development of Risk Assessment System for Coal-Bed Methane Underbalanced Drilling (Abstract)

Xiujuan Yang

Qingyang Wen

Xiangzhen Yan

Yan Xia

pp. 5-8

PDF

Development Platform for Vehicle's Brake System Based on VC++ (Abstract)

Bin Wang

Xuexun Guo

pp. 9-12

PDF

Digtal STB Game Portability Based on MVC Pattern (Abstract)

Jun Huang

Guangping Chen

pp. 13-16

PDF

Google Cloud Computing Platform Technology Architecture and the Impact of Its Cost (Abstract)

Xiaojing Jia

pp. 17-20

PDF

Map Matching Algorithm According to Pseudo-Zernike Moments (Abstract)

Wen Cao

pp. 21-24

PDF

Mining Important Topological Properties in Large-Scale Computer Software Systems Based on Complex Networks (Abstract)

Li Wang

pp. 25-28

PDF

Program Design of Concrete Thermal Parameters Back Analysis Based on Improved Accelerating Genetic Algorithm (Abstract)

pp. 29-32

PDF

Relationship on Path Coverage Criteria for Software Architecture Testing (Abstract)

Lijun Lun

Xin Chi

pp. 33-36

PDF

Research and Design of Distributed Sluice Group Joint Dispatch System Based on WCF and OPC Technology (Abstract)

pp. 37-40

PDF

Research on Modeling and Model Converting Approaches Based on MDA (Abstract)

Wang HaiTao

Chen Wei

pp. 41-44

PDF

Shared Interface Gateway Softway Model in Communication Management (Abstract)

Xin Xu

Jie Xu

Tongxin Xie

Xi Shao

pp. 45-52

PDF

Space Flight Training Simulation Project Technology Research (Abstract)

Jian-gang Chao

Jun-yi Shen

Ning He

pp. 53-61

PDF

Study on Urban Public Transportation Emergency Command System Platform (Abstract)

Li Jian

pp. 62-67

PDF

A Complex Meta-model for Extra-Functional Properties Concerning Common Data Types: Their Comparing and Binding (Abstract)

Kamil Ježek

pp. 71-74

PDF

Bichon: A New Component-Oriented Programming Language (Abstract)

Liping Xu

Yufei Ren

pp. 75-79

PDF

Software Rejuvenation Strategy Based on Components (Abstract)

Jun Guo

pp. 80-83

PDF

The Development and System Integration of Science and Technology Awards Based on WEB SERVICES (Abstract)

Daquan Deng

Yaozhou Liu

pp. 84-86

PDF

A Times-Based Model for Group-centric Secure Information Sharing (Abstract)

Peiwu Li

pp. 89-92

PDF

An Analyzer-Based Software Security Measurement Model for Enhancing Software System Security (Abstract)

Sen-Tarng Lai

pp. 93-96

PDF

An Application of Mobile Phone Encryption Based on Fibonacci Structure of Chaos (Abstract)

pp. 97-100

PDF

Composite Agent Service Selection Algorithm for Non-functional Attributes Based on Simulated Annealing (Abstract)

Zhang Kun

Zhang Hong

Jiang Liming

Xu Jian

pp. 101-106

PDF

Computer System Safety Argument Schemes (Abstract)

Tangming Yuan

Tianhua Xu

pp. 107-110

PDF

Insider Threat Identification System Model Based on Rough Set Dimensionality Reduction (Abstract)

Tao Zhang

Peng Zhao

pp. 111-114

PDF

Measuring Reliability Growth of Open Source Software by Applying Stochastic Differential Equations (Abstract)

pp. 115-118

PDF

Model Checking a Secure Hypervisor (Abstract)

pp. 119-122

PDF

Network Virus Transmission Probability Model of Random (Abstract)

Yang Yue Jiang

pp. 123-125

PDF

Ontology Driven Formal Description of Swift Trust and Its Computational Model (Abstract)

pp. 126-129

PDF

Outlier Detection with Double-Sided Control Mechanism and Different Priority Weight Values for Network Security (Abstract)

Yunus Dogan

Gökhan Dalkiliç

pp. 130-133

PDF

Reliability and Risk Assessment Software Development for Casing String in High-Pressure Gas Well (Abstract)

pp. 134-137

PDF

Research and Discussion on Software Safety and Reliability (Abstract)

pp. 138-140

PDF

Research on XML Based Static Software Security Analysis (Abstract)

pp. 141-144

PDF

Simulation Modeling of Network Intrusion Detection Based on Artificial Immune System (Abstract)

Jing Yu

Feng Wang

pp. 145-148

PDF

An Efficient Group Key Agreement Scheme for MANETs Based on Merkle Identity Tree (Abstract)

Li-qing Chen

Rong-lin Hu

pp. 151-154

PDF

Information Security Risk Assessment Methodology Research: Group Decision Making and Analytic Hierarchy Process (Abstract)

pp. 157-160

PDF

Simplifying Software Metric Models via Hierarchical LASSO with Incomplete Data Samples (Abstract)

pp. 161-164

PDF

Software Power: A New Approach to Software Complexity Metrics (Abstract)

Qingfeng Du

Fan Wang

pp. 165-168

PDF

Justification of Free Software and its Enlightenment (Abstract)

pp. 171-173

PDF

Patent and Antitrust Problems on Wireless Networking (Abstract)

Huei-Chen Hsu

Wen-Liang Liu

pp. 174-176

PDF

An Evolutionary Game of Partners in Peer Review (Abstract)

Li Meng

Zhou Xianzhong

Zhu Yingying

pp. 179-182

PDF

Automatic Generation of Relay Logic for Interlocking System Based on Statecharts (Abstract)

pp. 183-188

PDF

Geographic Information Data Standard Applied in the Software Development Process (Abstract)

Huan Maosheng

Chi Tianhe

pp. 189-192

PDF

The Effective Combination of IPD and CMM: IPD-CMM Process (Abstract)

Yue Jia

Rui Han

pp. 193-195

PDF

The Information System Engineering Supervision Based on Software Engineering Theory (Abstract)

Xu Che

Xiaomin Zhu

pp. 196-199

PDF

Workflow Exception Handling Technology Based on Office Affairs (Abstract)

Jianmin Hou

Nangao Wang

pp. 200-203

PDF

Application of Agile Requirement Engineering in Modest-Sized Information Systems Development (Abstract)

Liu Jun

Wang Qiuzhen

Gao Lin

pp. 207-210

PDF

Comparison of Requirement Items Based on the Requirements Change Management System of QONE (Abstract)

Gang Lu

Feng Yuan

pp. 211-215

PDF

Modeling Automotive Software Requirements with Aspectual Models (Abstract)

Yang Li

pp. 216-220

PDF

A Code-Based Input Partitioning Method for Equivalence Class Testing (Abstract)

Lwin Khin Shar

Hee Beng Kuan Tan

Hui Lui

pp. 223-227

PDF

A Software Size Estimation Method Based on Improved FPA (Abstract)

pp. 228-233

PDF

Classification of Software Defect Detected by Black-Box Testing: An Empirical Study (Abstract)

Ning Li

Zhanhuai Li

Xiling Sun

pp. 234-240

PDF

Genetic Algorithm Based Path Testing: Challenges and Key Parameters (Abstract)

pp. 241-244

PDF

Regression Analysis Method for Software Reliability Growth Test Data (Abstract)

Ao Liang

Wang Qihua

pp. 245-248

PDF

Research and Practice of the IVF Software Testability Model (Abstract)

Ding Zhen-Guo

pp. 249-252

PDF

Research of Software Reliability Combination Model Based on Neural Net (Abstract)

Gaozu Wang

Weihuai Li

pp. 253-256

PDF

Study on International Software Localization Testing (Abstract)

pp. 257-260

PDF

SXMTool�??A Tool for Stream X-Machine Testing (Abstract)

pp. 261-265

PDF

The Design of TMS320 DSP Simulation and Testing System (Abstract)

Wang Chongwen

Zhao Deshen

pp. 266-269

PDF

The Lesson Learned of a System's Performance Test (Abstract)

Chu Huey-Der

Jack Fei Yang

pp. 270-276

PDF

The Research of Test-Driven Business Process Outsourcing (Abstract)

Yunsheng Wang

Bo Wang

Jun Guo

Bin Zhang

Jina Wang

pp. 277-280

PDF

A Data Backup Method Based on File System Filter Driver (Abstract)

Zhao Zhongmeng

Yao Hangtian

pp. 283-286

PDF

A New Eclipse-Based JML Compiler Built Using AST Merging (Abstract)

Amritam Sarcar

Yoonsik Cheon

pp. 287-292

PDF

API Evolution with RefactoringNG (Abstract)

Zdenek Tronícek

pp. 293-297

PDF

Computerized Simulation Development for Blood Circulation and Bodily Movement during Obligatory Prayers (SolatSim) (Abstract)

Nor Azah Abdul Aziz

Syakirah Samsudin

pp. 298-305

PDF

Study about Salt Information of Salt Lake by Remote Sensing Technology (Abstract)

Li Li

pp. 306-310

PDF

The Depth Research for Salt Lake by Remote Sensing Technology (Abstract)

Li Li

Tong Liqiang

Li Xiaohui

pp. 311-314

PDF

Theoretical Research on Adjacent Multi-station Point Cloud Data Precision Combination in 3D Laser Scanning (Abstract)

Tianzi Li

Youfeng Zou

pp. 315-317

PDF

Preschool Multimedia Interactive Courseware: Classifying Object (Mengelaskan Objek) PMICMO (Abstract)

pp. 318-322

PDF

A Combined Finite-Element and Finite-Volume Method in Reservoir Simulation (Abstract)

pp. 325-328

PDF

Application of Fuzzy FMECA in Gas Network Safety Assessment (Abstract)

Wei Zhu

pp. 329-333

PDF

On the Trees Whose Merrifield-Simmons Indices Belong a Closed Interval (Abstract)

Xiyun Sun

Qiongji

Chengfu Ye

pp. 334-337

PDF

Research on Software Cost Evaluation Model Based on Case-based Reasoning (Abstract)

pp. 338-341

PDF

Study on Formal Methods Application in Airborne Electronic Hardware Design (Abstract)

Peng Wang

Yi Tian

pp. 342-345

PDF

The Predicate Formulae for Object-Oriented Database Schema Evolution (Abstract)

Jie Lin

Jiankun Yu

Zhiyong Zeng

pp. 346-349

PDF

Using strong bisimulation to resolve ontology integration equality (Abstract)

Ji Shu-bin

Zhang Yin-fa

pp. 350-352

PDF

Author Index - Volume 2 (PDF)

pp. 353-355

[Publisher's information - Volume 2] (PDF)

pp. 356