20. SRDS 2001: New Orleans, LA, USA

@proceedings{DBLP:conf/srds/2001,
  title     = {20th Symposium on Reliable Distributed Systems (SRDS 2001), 28-31
               October 2001, New Orleans, LA, USA},
  booktitle = {SRDS},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1366-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Replication

• John R. Douceur, Roger Wattenhofer:
  Optimizing File Availability in a Secure Serverless Distributed File System. 4-13
  
• Rui Carlos Oliveira, José Orlando Pereira, André Schiper:
  Primary-Backup Replication: From a Time-Free Protocol to a Time-Based Implementation. 14-23
  
• Ricardo Jiménez-Peris, Marta Patiño-Martínez, Bettina Kemme, Gustavo Alonso:
  How to Select a Replication Protocol According to Scalability, Availability, and Communication Overhead. 24-
  

Recovery

• Adnan Agbaria, Hagit Attiya, Roy Friedman, Roman Vitenberg:
  Quantifying Rollback Propagation in Distributed Checkpointing. 36-45
  
• Svend Frølund, Fernando Pedone:
  Continental Pronto. 46-55
  
• Feras Karablieh, Rida A. Bazzi, Margaret Hicks:
  Compiler-Assisted Heterogeneous Checkpointing. 56-
  

Panel 1: Reliability and Security in Distributed and Mobile Systems

• Anjali Bhargava, Bharat K. Bhargava:
  Applying Fault-Tolerance Principles to Security Research. 68-69
  
• Joseph Betser:
  The Challenge of Creating Productive Collaborating Information Assurance Communities via Internet Research and Standards. 70-71
  
• Kevin A. Kwiat:
  Can Reliability and Security be Joined Reliably and Securely?. 72-73
  
• K. H. Kim:
  Incorporation of Security and Fault Tolerance Mechanisms into Real-Time Component-Based Distributed Computing Systems. 74-75
  
• Mukesh Singhal:
  Research in High-Confidence Distributed Information Systems. 76-79
  

Security

• Christof Fetzer, Zhen Xiao:
  Detecting Heap Smashing Attacks through Fault Containment Wrappers. 80-89
  
• Dahlia Malkhi, Ohad Rodeh, Michael K. Reiter, Yaron Sella:
  Efficient Update Diffusion in Byzantine Environments. 90-98
  
• Shambhu J. Upadhyaya, Ramkumar Chinchani, Kevin A. Kwiat:
  An Analytical Framework for Reasoning about Intrusions. 99-
  

Agreement Protocols

• Fernando Pedone:
  Optimistic Validation of Electronic Tickets. 110-119
  
• Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Raimundo A. Macêdo:
  A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window. 120-129
  
• Sandeep S. Kulkarni, Anish Arora, Arun Chippada:
  Polynomial Time Synthesis of Byzantine Agreement. 130-
  

Application Level Fault Tolerance

• Alexander B. Romanovsky:
  Looking Ahead in Atomic Actions with Exception Handling. 142-151
  
• Arshad Jhumka, Martin Hiller, Neeraj Suri:
  Assessing Inter-Modular Error Propagation in Distributed Software. 152-161
  
• Zheng Zhang, Christos T. Karamanolis:
  Designing a Robust Namespace for Distributed File Services. 162-
  

Panel 2: Building Reliable Systems from COTS Components

• Farokh B. Bastani:
  High-Quality Customizable Embedded Software from COTS Components. 174-175
  
• Matthew Chiramal:
  Application of Commercial-Grade Digital Equipment in Nuclear Power Plant Safety Systems. 176-178
  
• Jeffrey M. Voas:
  Why Is It So Hard to Predict Software System Trustworthiness from Software Component Trustworthiness?. 179-
  

Concise Contributions

• Bin Yao, W. Kent Fuchs:
  Message Logging Optimization for Wireless Networks. 182-185
  
• Petr Kouznetsov, Rachid Guerraoui, Sidath B. Handurukande, Anne-Marie Kermarrec:
  Reducing Noise in Gossip-Based Reliable Broadcast. 186-189
  
• Péter Urbán, Xavier Défago, André Schiper:
  Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be?. 190-193
  
• Bettina Weiss, Ulrich Schmid:
  Consensus with Written Messages Under Link Faults. 194-197
  
• Vilgot Claesson, Henrik Lönn, Neeraj Suri:
  Efficient TDMA Synchronization for Distributed Embedded Systems. 198-201
  
• Taesoon Park, Namyoon Woo, Heon Young Yeom:
  Efficient Recovery Information Management Schemes for the Fault Tolerant Mobile Computing Systems. 202-
  

QoS and Real-Time Systems

• Antonio Casimiro, Paulo Veríssimo:
  Using the Timely Computing Base for Dependable QoS Adaptation. 208-217
  
• Uwe Brinkschulte, Aurelie Bechina, Florentin Picioroaga, Etienne Schneider, Theo Ungerer, Jochen Kreuzinger, Matthias Pfeffer:
  A Microkernel Middleware Architecture for Distributed Embedded Real-Time Systems. 218-226
  
• Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy:
  Performance Analysis of the CORBA Notification Service . 227-
  

Mobile Systems

• Stefan Schemmer, Edgar Nett, Michael Mock:
  Reliable Real-Time Cooperation of Mobile Autonomous Systems. 238-246
  
• Guohong Cao, Chita R. Das:
  On the Effectiveness of a Counter-Based Cache Invalidation Scheme and Its Resiliency to Failures in Mobile Environments. 247-256
  
• Stefano Chessa, Paolo Santi:
  Comparison-Based System-Level Fault Diagnosis in Ad Hoc Networks. 257-266