Description |
1 online resource (xii, 324 pages) : illustrations (some color) |
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 |
Summary |
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 captures and makes accessible the most recent practical developments in service-oriented high-assurance systems. An edited volume contributed by well-established researchers in this field worldwide, this book reports the best current practices and emerging methods in the areas of service-oriented techniques for high assurance systems. Available results from industry and government, R & D laboratories and academia are included, along with unreported results from the "(Bhands-on" experiences of software professionals in the respective domains. Designed for practitioners and researchers working for industrial organizations and government agencies, High Assurance Services Computing is also suitable for advanced-level students in computer science and engineering |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Web services -- Reliability
|
|
Business -- Data processing.
|
|
Management -- Data processing.
|
|
BUSINESS & ECONOMICS -- Management Science.
|
|
BUSINESS & ECONOMICS -- Organizational Behavior.
|
|
BUSINESS & ECONOMICS -- Industrial Management.
|
|
BUSINESS & ECONOMICS -- Management.
|
|
Informatique.
|
|
Management -- Data processing
|
|
Business -- Data processing
|
Form |
Electronic book
|
Author |
Dong, Jing, 1968-
|
|
Paul, Raymond A.
|
|
Zhang, Liang-Jie.
|
ISBN |
9780387876580 |
|
0387876588 |
|