20. SRDS 2001: New Orleans, LA, USA

20th Symposium on Reliable Distributed Systems (SRDS 2001), 28-31 October 2001, New Orleans, LA, USA. IEEE Computer Society 2001, ISBN 0-7695-1366-2 BibTeX

@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
Electronic Edition (IEEE Computer Society DL) BibTeX
Rui Carlos Oliveira, José Orlando Pereira, André Schiper:
Primary-Backup Replication: From a Time-Free Protocol to a Time-Based Implementation. 14-23
Electronic Edition (IEEE Computer Society DL) BibTeX
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-
Electronic Edition (IEEE Computer Society DL) BibTeX

Recovery

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

Panel 1: Reliability and Security in Distributed and Mobile Systems

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

Security

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

Agreement Protocols

Fernando Pedone:
Optimistic Validation of Electronic Tickets. 110-119
Electronic Edition (IEEE Computer Society DL) BibTeX
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
Electronic Edition (IEEE Computer Society DL) BibTeX
Sandeep S. Kulkarni, Anish Arora, Arun Chippada:
Polynomial Time Synthesis of Byzantine Agreement. 130-
Electronic Edition (IEEE Computer Society DL) BibTeX

Application Level Fault Tolerance

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

Panel 2: Building Reliable Systems from COTS Components

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

Concise Contributions

Bin Yao, W. Kent Fuchs:
Message Logging Optimization for Wireless Networks. 182-185
Electronic Edition (IEEE Computer Society DL) BibTeX
Petr Kouznetsov, Rachid Guerraoui, Sidath B. Handurukande, Anne-Marie Kermarrec:
Reducing Noise in Gossip-Based Reliable Broadcast. 186-189
Electronic Edition (IEEE Computer Society DL) BibTeX
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
Electronic Edition (IEEE Computer Society DL) BibTeX
Bettina Weiss, Ulrich Schmid:
Consensus with Written Messages Under Link Faults. 194-197
Electronic Edition (IEEE Computer Society DL) BibTeX
Vilgot Claesson, Henrik Lönn, Neeraj Suri:
Efficient TDMA Synchronization for Distributed Embedded Systems. 198-201
Electronic Edition (IEEE Computer Society DL) BibTeX
Taesoon Park, Namyoon Woo, Heon Young Yeom:
Efficient Recovery Information Management Schemes for the Fault Tolerant Mobile Computing Systems. 202-
Electronic Edition (IEEE Computer Society DL) BibTeX

QoS and Real-Time Systems

Antonio Casimiro, Paulo Veríssimo:
Using the Timely Computing Base for Dependable QoS Adaptation. 208-217
Electronic Edition (IEEE Computer Society DL) BibTeX
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
Electronic Edition (IEEE Computer Society DL) BibTeX
Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy:
Performance Analysis of the CORBA Notification Service . 227-
Electronic Edition (IEEE Computer Society DL) BibTeX

Mobile Systems

Stefan Schemmer, Edgar Nett, Michael Mock:
Reliable Real-Time Cooperation of Mobile Autonomous Systems. 238-246
Electronic Edition (IEEE Computer Society DL) BibTeX
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
Electronic Edition (IEEE Computer Society DL) BibTeX
Stefano Chessa, Paolo Santi:
Comparison-Based System-Level Fault Diagnosis in Ad Hoc Networks. 257-266
Electronic Edition (IEEE Computer Society DL) BibTeX