- Welcome from the Program Chairs. ICECCS 2005
- Organizing Committee. ICECCS 2005
- Additional Reviewers. ICECCS 2005
- Xiang Xue:
A Formal Specification Constructing Tool for SOFL. ICECCS 2005: 12-13 - Li Yang, Raimund K. Ege, Huiqun Yu:
Mediation Systems Modeling and Verification. ICECCS 2005: 322-331 - Jianping Yao:
An Introduction to Three Perspectives on Formal Specification Review. ICECCS 2005: 8-9 - Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao:
Secure Software Architectures Design by Aspect Orientation. ICECCS 2005: 47-55 - Yingzhou Zhang, Baowen Xu
:
A Slice Monad Transformer and Its Applications in Program Slicing. ICECCS 2005: 147-154 - Zhiming Zhao, G. Dick van Albada, Peter M. A. Sloot:
Rapid Prototyping of Complex Interactive Simulation Systems. ICECCS 2005: 366-375 - Gansen Zhao, David W. Chadwick:
Evolving Messaging Systems for Secure Role Based Messaging. ICECCS 2005: 216-223 - Zhigang Zhao, Changqing Gong, Guangxing Wang:
Identification of Faulty Links in LEO/MEO Satellite Communication Networks. ICECCS 2005: 394-400 - Minghui Zhou, Wenpin Jiao, Hong Mei:
Customizable Framework for Managing Trusted Components Deployed on Middleware. ICECCS 2005: 283-291 - Yali Zhu:
Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures. ICECCS 2005: 37-46 - Yali Zhu, Gang Huang, Hong Mei:
Modeling Architecture Based Development in UML. ICECCS 2005: 56-65 - Xuefeng Zhu, Zhi Jin:
Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach. ICECCS 2005: 402-410 - Deqing Zou, Weizhong Qiang, Xuanhua Shi:
A Formal General Framework and Service Access Model for Service Grid. ICECCS 2005: 349-356 - 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China. IEEE Computer Society 2005, ISBN 0-7695-2284-X [contents]
- (Withdrawn) An Intrusion Detection System for AODV. ICECCS 2005: 358-365
