1. Preface

   • De-Yi Li
   • Zhi-Yong Liu
   • Ke-Qing He

   OriginalPaper 03 November 2010 Pages: 1101 - 1102

2. Semantic Interoperability Aggregation in Service Requirements Refinement

   • Ke-Qing He
   • Jian Wang
   • Peng Liang

   Regular Paper 03 November 2010 Pages: 1103 - 1117

3. Goal-Based Automated Code Generation in Self-Adaptive System

   • Joonhoon Lee
   • Jeongmin Park
   • Eunseok Lee

   Regular Paper 03 November 2010 Pages: 1118 - 1129

4. A Cloud-Based Trust Model for Evaluating Quality of Web Services

   • Shou-Xin Wang
   • Li Zhang
   • Xiang Qiu

   Regular Paper 03 November 2010 Pages: 1130 - 1142

5. Web Service Composition Based on QoS Rules

   • Ming-Wei Zhang
   • Bin Zhang
   • Zhi-Liang Zhu

   Regular Paper 03 November 2010 Pages: 1143 - 1156

6. A Cloud-Based BPM Architecture with User-End Distribution of Non-Compute-Intensive Activities and Sensitive Data

   • Yan-Bo Han
   • Jun-Yi Sun
   • Hou-Fu Li

   Regular Paper 03 November 2010 Pages: 1157 - 1167

7. Modeling and Verifying Concurrent Programs with Finite Chu Spaces

   • Xu-Tao Du
   • Chun-Xiao Xing
   • Li-Zhu Zhou

   Regular Paper 03 November 2010 Pages: 1168 - 1183

8. A Hybrid Set of Complexity Metrics for Large-Scale Object-Oriented Software Systems

   • Yu-Tao Ma
   • Ke-Qing He
   • Xiao-Yan Zhou

   Regular Paper 03 November 2010 Pages: 1184 - 1201

9. Measuring Structural Quality of Object-Oriented Softwares via Bug Propagation Analysis on Weighted Software Networks

   • Wei-Feng Pan
   • Bing Li
   • Xiao-Yan Zhou

   Regular Paper 03 November 2010 Pages: 1202 - 1213

10. Covering-Based Routing Algorithms for Cyclic Content-Based P/S Overlays

    • Ming-Wen Chen
    • Jian Zhang
    • Zhi-Yong Liu

    Regular Paper 03 November 2010 Pages: 1214 - 1224

11. An Uncertainty Enhanced Trust Evolution Strategy for e-Science

    • Wei Du
    • Guo-Hua Cui
    • Wei Liu

    Regular Paper 03 November 2010 Pages: 1225 - 1236

12. Efficient Relational Techniques for Processing Graph Queries

    • Sherif Sakr
    • Ghazi Al-Naymat

    Regular Paper 03 November 2010 Pages: 1237 - 1255

13. Negative Selection of Written Language Using Character Multiset Statistics

    • Matti Pöllä
    • Timo Honkela

    Regular Paper 03 November 2010 Pages: 1256 - 1266

14. Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony

    • Antonio Fernández Anta
    • Ernesto Jiménez
    • Michel Raynal

    Regular Paper 03 November 2010 Pages: 1267 - 1281

15. Frontal and Semi-Frontal Facial Caricature Synthesis Using Non-Negative Matrix Factorization

    • Hua Huang
    • Xiang-Wang Ma

    Regular Paper 03 November 2010 Pages: 1282 - 1292

16. Attribute-Based Signature with Policy-and-Endorsement Mechanism

    • Huai-Xi Wang
    • Yan Zhu
    • Stephen S. Yau

    Regular Paper 03 November 2010 Pages: 1293 - 1304

17. Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving

    • Osman Hasan
    • Sofiène Tahar

    Regular Paper 03 November 2010 Pages: 1305 - 1320

18. NP-Logic Systems and Model-Equivalence Reductions

    • Yu-Ping Shen
    • Xi-Shun Zhao

    Short Paper 03 November 2010 Pages: 1321 - 1326