High Assurance Services Computing

2. Translucent Replication for Service Level Assurance
Vladimir Stantchev, Miroslaw Malek

3. Trustworthiness Assessment Framework for Net-Centric Systems
Raymond Paul, Jing Dong, I-Ling Yen, Farokh Bastani

4. A Trust Monitoring Architecture for Service-Based Software
Mohammad Gias Uddin, Mohammad Zulkernine

5. Human Interoperability Enterprise for High-Assurance Systems
Raymond Paul, Stefania Brown-VanHoozer, Arif Ghafoor

6. Service Composition Quality Evaluation in SPICE Platform
Paolo Falcarin

7. High-Assurance Service Systems
Jay Bayne

8. A Graph Grammar Approach to Behavior Verification of Web Services
Chunying Zhao, Kang Zhang

9. A Formal Framework for Developing High Assurance Event Driven Service-Oriented Systems
Manuel Peralta, Supratik Mukhpadhyay, Ramesh Bharadwaj

10. Towards A Dependable Software Paradigm for Service-Oriented Computing
Xiaoxing Ma, S.C. Cheung, Chun Cao, Feng Xu, Jian Lu

11. Developing Dependable Systems by Maximizing Component Diversity
Jeff Tian, Suku Nair, LiGuo Huang, Nasser Alaeddine, Michael F. Siok

12. High Assurance BPEL Process Models
Mark Robinson, Hui Shen, Jianwei Niu

13. Specifying Enterprise Web-Oriented Architecture
Longji Tang, Yajing Zhao, Jing Dong

14. Designing an SOA for P2P On-Demand Video Delivery
Zhenghua Fu, Jun-Jang Jeng, Hui Lei, Chao Liang

15. A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software
Wei-Tek Tsai, Xinyu Zhou, Raymond A. Paul, Yinong Chen, Xiaoying Bai

Keywords: Computer Science, Systems and Data Security, Programming Languages, Compilers, Interpreters, Programming Techniques, Processor Architectures, Performance and Reliability, Software Engineering/Programming and Operating Systems