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.
