Table of Contents:
  • 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.