Service Availability

4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings

  • Editors
  • Miroslaw Malek
  • Manfred Reitenspieß
  • Aad van Moorsel
Conference proceedings ISAS 2007

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4526)

Table of contents

  1. Front Matter
  2. Autonomous Decentralized System for Service Assurance and Its Application

  3. Middleware

  4. Software Systems

  5. Modeling and Analysis

    1. Jesper Grønbæk, Hans-Peter Frejek, Thibault Renier, Hans-Peter Schwefel
      Pages 74-93
  6. Model-Driven Development and Human Engineering

    1. András Kövi, Dániel Varró
      Pages 110-126
    2. Sumant Tambe, Jaiganesh Balasubramanian, Aniruddha Gokhale, Thomas Damiano
      Pages 127-144
  7. Back Matter

About these proceedings


Program Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition of its predecessors by bringing together researchers and practitioners from both academia and industry to address the problems of service availability. The unique characteristic of a strong academic and industrial partnership was vividly - flected in this year’s event, from the Organizing Committee to the contributions and the participants. Recognizing the value of broadening the scope of ISAS 2007, we included new topic areas that cover model-driven design and human factors. We received a total of 25 submissions, each of which was thoroughly reviewed by at least three members of the Program Committee. Due to the limited time allocated for the symposium, many worthwhile manuscripts unfortunately did not make it into the final program. Our sincere thanks go to the Program Committee for conducting a vigorous review process in a rather tight time schedule. The detailed reviews and their generous comments have shaped the contributions into an excellent program.


Cluster Eclipse HCI availability configuration database dependable services distributed computing embedded systems fault tolerance high availability interface design modeling operating system reliable services

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-72735-4
  • Online ISBN 978-3-540-72736-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods