Constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ISAS 2005, held in Berlin, Germany. This book includes 15 full papers, organized in topical sections on data and computation availability, specifying, modeling and verifying service availability, modeling and composition, and others.
Constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ISAS 2005, held in Berlin, Germany. T...