Service Availability :
Malek, Miroslaw.
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. - viii, 213 páginas Also available online. recurso en línea. - Lecture Notes in Computer Science, 3694 0302-9743 ; .
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.
9783540320180
10.1007/11560333 doi
TK5105.5-5105.9
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. - viii, 213 páginas Also available online. recurso en línea. - Lecture Notes in Computer Science, 3694 0302-9743 ; .
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.
9783540320180
10.1007/11560333 doi
TK5105.5-5105.9