4. ISAS 2007: Durham, NH, USA

• Kinji Mori:
  Autonomous Decentralized System for Service Assurance and Its Application. 1-8
  

Middleware

• Simon Parkin, David Ingham, Graham Morgan:
  A Message Oriented Middleware Solution Enabling Non-repudiation Evidence Generation for Reliable Web Services. 9-19
  
• Zoltán Micskei, István Majzik, Francis Tam:
  Comparing Robustness of AIS-Based Middleware Implementations. 20-30
  
• Nikola Milanovic, Miroslaw Malek:
  Service-Oriented Operating System: A Key Element in Improving Service Availability. 31-42
  

Software Systems

• Tadashiro Yoshida, Masaki Hisada, Seiji Tomita:
  Implementation of Highly Available Memory Database as SAF Component. 43-51
  
• Mark Lanus:
  Fault Tolerant Schemes for Hot-Swappable and Non Hot-Swappable Mezzanine Cards. 52-62
  
• Ying-Yu Chen, Chien Chen, Chia-Yuan Huang:
  Experience in Developing a High Availability and Continuous TCP Using OpenAIS and TCPCP. 63-73
  

Modeling and Analysis

• Jesper Grønbæk, Hans-Peter Frejek, Thibault Renier, Hans-Peter Schwefel:
  Client-Centric Performance Analysis of a High-Availability Cluster. 74-93
  
• Koichiro Rinsaka, Tadashi Dohi:
  A Faster Estimation Algorithm for Periodic Preventive Rejuvenation Schedule Maximizing System Availability. 94-109
  

Model-Driven Development and Human Engineering

• András Kövi, Dániel Varró:
  An Eclipse-Based Framework for AIS Service Configurations. 110-126
  
• Sumant Tambe, Jaiganesh Balasubramanian, Aniruddha S. Gokhale, Thomas Damiano:
  MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems. 127-144
  
• Pat O'Brien:
  Applying US DoD Human Engineering Methods to Reduce Procedural Error Related Outages. 145-154