High Assurance Services Computing

• Corporate Author: SpringerLink (Online service)
• Other Authors: Zhang, Liang-Jie. (Editor), Paul, Raymond. (Editor), Dong, Jing. (Editor)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US, 2009.
• Subjects: Computer science.; Operating systems (Computers).; Software engineering.; Data protection.; Computer Science.; Systems and Data Security.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Processor Architectures.; Performance and Reliability.; Software Engineering/Programming and Operating Systems.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-0-387-87658-0

High Assurance Services Computing Jing Dong, Raymond Paul, Liang-Jie Zhang Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High Assurance Services Computing capt...

Table of Contents:

• Preface
• Self-Adaptive Interoperability of Dynamically Discovered Services
• Adaptive Management of QoS Assured Provision of Composite Services
• Using Patterns for Security Assurance of Service Oriented Architectures
• Replication Techniques for Service Level Assurance
• Model-Based Specification of High Assurance Services
• Formal Methods for High Assurance Service-Oriented Computing
• A Trust Monitoring Architecture for Service-Based Software
• Replication Techniques for Service Level Assurance
• Service-Based Modelling for Elderly Care with Wearable and Ambient Sensors
• Assuring Timeliness of Volunteer e-Science
• Quality Evaluation of Service Composition
• Index.