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.