Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers

ISBN-13: 9783540291039 / Angielski / Miękka / 2005 / 216 str.

Miroslaw Malek;Edgar Nett;Neeraj Suri

Opis

Constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ISAS 2005, held in Berlin, Germany. This book includes 15 full papers, organized in topical sections on data and computation availability, specifying, modeling and verifying service availability, modeling and composition, and others.

Spis treści

TTA Supported Service Availability.- The Value of Conformance Testing and a Look at the SAF Test Project.- Building Highly Available Application Using SA Forum Cluster: A Case Study of GGSN Application.- Using Logical Data Protection and Recovery to Improve Data Availability.- Contract-Based Web Service Composition Framework with Correctness Guarantees.- Practical Approach to Specification and Conformance Testing of Distributed Network Applications.- Model-Based Optimization of Enterprise Application and Service Deployment.- On Best-Effort and Dependability, Service-Orientation and Panacea.- Are Service-Oriented Architectures the Panacea for a High-Availability Challenge?.- Modeling User-Perceived Service Availability.- Dependable Distributed Computing Using Free Databases.- A Compositional Framework for Real-Time Embedded Systems.- On the Importance of Composability of Ad Hoc Mobile Middleware and Trust Management.- Proof-Based System Engineering Using a Virtual System Model.- Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures.- Characterizing Session Initiation Protocol (SIP) Network Performance and Reliability.