Semantic Interoperability Aggregation in Service Requirements Refinement Ke-Qing HeJian WangPeng Liang Regular Paper 03 November 2010 Pages: 1103 - 1117
Goal-Based Automated Code Generation in Self-Adaptive System Joonhoon LeeJeongmin ParkEunseok Lee Regular Paper 03 November 2010 Pages: 1118 - 1129
A Cloud-Based Trust Model for Evaluating Quality of Web Services Shou-Xin WangLi ZhangXiang Qiu Regular Paper 03 November 2010 Pages: 1130 - 1142
Web Service Composition Based on QoS Rules Ming-Wei ZhangBin ZhangZhi-Liang Zhu Regular Paper 03 November 2010 Pages: 1143 - 1156
A Cloud-Based BPM Architecture with User-End Distribution of Non-Compute-Intensive Activities and Sensitive Data Yan-Bo HanJun-Yi SunHou-Fu Li Regular Paper 03 November 2010 Pages: 1157 - 1167
Modeling and Verifying Concurrent Programs with Finite Chu Spaces Xu-Tao DuChun-Xiao XingLi-Zhu Zhou Regular Paper 03 November 2010 Pages: 1168 - 1183
A Hybrid Set of Complexity Metrics for Large-Scale Object-Oriented Software Systems Yu-Tao MaKe-Qing HeXiao-Yan Zhou Regular Paper 03 November 2010 Pages: 1184 - 1201
Measuring Structural Quality of Object-Oriented Softwares via Bug Propagation Analysis on Weighted Software Networks Wei-Feng PanBing LiXiao-Yan Zhou Regular Paper 03 November 2010 Pages: 1202 - 1213
Covering-Based Routing Algorithms for Cyclic Content-Based P/S Overlays Ming-Wen ChenJian ZhangZhi-Yong Liu Regular Paper 03 November 2010 Pages: 1214 - 1224
An Uncertainty Enhanced Trust Evolution Strategy for e-Science Wei DuGuo-Hua CuiWei Liu Regular Paper 03 November 2010 Pages: 1225 - 1236
Efficient Relational Techniques for Processing Graph Queries Sherif SakrGhazi Al-Naymat Regular Paper 03 November 2010 Pages: 1237 - 1255
Negative Selection of Written Language Using Character Multiset Statistics Matti PölläTimo Honkela Regular Paper 03 November 2010 Pages: 1256 - 1266
Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony Antonio Fernández AntaErnesto JiménezMichel Raynal Regular Paper 03 November 2010 Pages: 1267 - 1281
Frontal and Semi-Frontal Facial Caricature Synthesis Using Non-Negative Matrix Factorization Hua HuangXiang-Wang Ma Regular Paper 03 November 2010 Pages: 1282 - 1292
Attribute-Based Signature with Policy-and-Endorsement Mechanism Huai-Xi WangYan ZhuStephen S. Yau Regular Paper 03 November 2010 Pages: 1293 - 1304
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving Osman HasanSofiène Tahar Regular Paper 03 November 2010 Pages: 1305 - 1320
NP-Logic Systems and Model-Equivalence Reductions Yu-Ping ShenXi-Shun Zhao Short Paper 03 November 2010 Pages: 1321 - 1326