High Assurance Services Computing

Author:   Jing Dong ,  Raymond Paul ,  Liang-Jie Zhang
Publisher:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of hardcover 1st ed. 2009
ISBN:  

9781441946843


Pages:   324
Publication Date:   05 November 2010
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $340.56 Quantity:  
Add to Cart

Share |

High Assurance Services Computing


Add your own review!

Overview

Full Product Details

Author:   Jing Dong ,  Raymond Paul ,  Liang-Jie Zhang
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of hardcover 1st ed. 2009
Dimensions:   Width: 15.50cm , Height: 1.70cm , Length: 23.50cm
Weight:   0.516kg
ISBN:  

9781441946843


ISBN 10:   1441946845
Pages:   324
Publication Date:   05 November 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Translucent Replication for Service Level Assurance.- Trustworthiness Assessment Framework for Net-Centric Systems.- A Trust Monitoring Architecture for Service-Based Software.- Human Interoperability Enterprise for High-Assurance Systems.- Service Composition Quality Evaluation in SPICE Platform.- High-Assurance Service Systems.- A Graph Grammar Approach to Behavior Verification of Web Services.- A Formal Framework for Developing High Assurance Event Driven Service-Oriented Systems.- Towards A Dependable Software Paradigm for Service-Oriented Computing.- Developing Dependable Systems by Maximizing Component Diversity.- High Assurance BPEL Process Models.- Specifying Enterprise Web-Oriented Architecture.- Designing an SOA for P2P On-Demand Video Delivery.- A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.

Reviews

From the reviews: This fascinating book--on an important set of topics--brings together current research in high-assurance computing. Services computing is an emerging discipline that bridges the gap between business services and information technology services. The core technologies for services computing are service oriented architecture (SOA) and Web services. ... This collection of research articles is best suited for a graduate-level academic audience and for practitioners who are particularly immersed in service-oriented computing. (Charles K. Davis, ACM Computing Reviews, January, 2010)


From the reviews: This fascinating book--on an important set of topics--brings together current research in high-assurance computing. Services computing is an emerging discipline that bridges the gap between business services and information technology services. The core technologies for services computing are service oriented architecture (SOA) and Web services. ! This collection of research articles is best suited for a graduate-level academic audience and for practitioners who are particularly immersed in service-oriented computing. (Charles K. Davis, ACM Computing Reviews, January, 2010)


Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List