2. ISAS 2005: Berlin, Germany

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