Login

Zhang, Liang-Jie

High Assurance Services Computing

Zhang, Liang-Jie - High Assurance Services Computing, ebook

124,00€

Ebook, PDF with Adobe DRM
ISBN: 9780387876580
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Author(s)
 
 
Publisher
Springer
Publication year
2009
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9780387876580

Similar titles