2009

High Assurance Services Computing

Editors:

ISBN: 978-0-387-87657-3 (Print) 978-0-387-87658-0 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages 1-11

  2. No Access

    Book Chapter

    Pages 1-18

    Translucent Replication for Service Level Assurance

  3. No Access

    Book Chapter

    Pages 19-44

    Trustworthiness Assessment Framework for Net-Centric Systems

  4. No Access

    Book Chapter

    Pages 45-63

    A Trust Monitoring Architecture for Service-Based Software

  5. No Access

    Book Chapter

    Pages 65-87

    Human Interoperability Enterprise for High-Assurance Systems

  6. No Access

    Book Chapter

    Pages 89-102

    Service Composition Quality Evaluation in SPICE Platform

  7. No Access

    Book Chapter

    Pages 103-126

    High-Assurance Service Systems

  8. No Access

    Book Chapter

    Pages 127-143

    A Graph Grammar Approach to Behavior Verification of Web Services

  9. No Access

    Book Chapter

    Pages 145-161

    A Formal Framework for Developing High Assurance Event Driven Service-Oriented Systems

  10. No Access

    Book Chapter

    Pages 163-192

    Towards A Dependable Software Paradigm for Service-Oriented Computing

  11. No Access

    Book Chapter

    Pages 193-217

    Developing Dependable Systems by Maximizing Component Diversity

  12. No Access

    Book Chapter

    Pages 219-240

    High Assurance BPEL Process Models

  13. No Access

    Book Chapter

    Pages 241-260

    Specifying Enterprise Web-Oriented Architecture

  14. No Access

    Book Chapter

    Pages 261-283

    Designing an SOA for P2P On-Demand Video Delivery

  15. No Access

    Book Chapter

    Pages 285-311

    A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software

  16. Back Matter

    Pages 1-11