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

@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

Last update Thu May 24 04:44:31 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page