Service Availability : Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005, Revised Selected Papers / edited by Miroslaw Malek, Edgar Nett, Neeraj Suri.

Springer eBooks

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.

This book constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ISAS 2005, held in Berlin, Germany in April 2005. The 15 revised full papers presented together with a keynote talk were carefully selected for inclusion in the book. The papers are organized in topical sections on data and computation availability, specifying, modeling and verifying service availability, high-availability by service-oriented architectures, modeling and composition, and verification and availability assessment.

Para consulta fuera de la UANL se requiere clave de acceso remoto.