2. ISAS 2005: Berlin, Germany

Miroslaw Malek, Edgar Nett, Neeraj Suri (Eds.): Service Availability, Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3694 Springer 2005, ISBN 3-540-29103-2 BibTeX

Hermann Kopetz:
TTA Supported Service Availability. 1-14
Electronic Edition (link) BibTeX
Bob Spencer:
The Value of Conformance Testing and a Look at the SAF Test Project. 15-24
Electronic Edition (link) BibTeX
Ajay Kamalvanshi, Timo Jokiaho:
Building Highly Available Application Using SA Forum Cluster: A Case Study of GGSN Application. 25-38
Electronic Edition (link) BibTeX
Wei Hu:
Using Logical Data Protection and Recovery to Improve Data Availability. 39-51
Electronic Edition (link) BibTeX
Nikola Milanovic:
Contract-Based Web Service Composition Framework with Correctness Guarantees. 52-67
Electronic Edition (link) BibTeX
Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko:
Practical Approach to Specification and Conformance Testing of Distributed Network Applications. 68-83
Electronic Edition (link) BibTeX
András Balogh, Dániel Varró, András Pataricza:
Model-Based Optimization of Enterprise Application and Service Deployment. 84-98
Electronic Edition (link) BibTeX
Aad P. A. van Moorsel:
On Best-Effort and Dependability, Service-Orientation and Panacea. 99-101
Electronic Edition (link) BibTeX
Guido Laures:
Are Service-Oriented Architectures the Panacea for a High-Availability Challenge? 102-106
Electronic Edition (link) BibTeX
Dazhi Wang, Kishor S. Trivedi:
Modeling User-Perceived Service Availability. 107-122
Electronic Edition (link) BibTeX
Christof Fetzer, Trevor Jim:
Dependable Distributed Computing Using Free Databases. 123-136
Electronic Edition (link) BibTeX
Insik Shin, Insup Lee:
A Compositional Framework for Real-Time Embedded Systems. 137-148
Electronic Edition (link) BibTeX
Ovidiu Valentin Drugan, Ioanna Dionysiou, David E. Bakken, Thomas Plagemann, Carl H. Hauser, Deborah A. Frincke:
On the Importance of Composability of Ad Hoc Mobile Middleware and Trust Management. 149-163
Electronic Edition (link) BibTeX
Martin Biely, Gérard Le Lann, Ulrich Schmid:
Proof-Based System Engineering Using a Virtual System Model. 164-179
Electronic Edition (link) BibTeX
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico:
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures. 180-195
Electronic Edition (link) BibTeX
Vijay K. Gurbani, Lalita Jagadeesan, Veena B. Mendiratta:
Characterizing Session Initiation Protocol (SIP) Network Performance and Reliability. 196-211
Electronic Edition (link) BibTeX