Message from the General Chair

Message from the Co-Chairs (PDF)

pp. x

Program Committee (PDF)

pp. xi

Organizing Committee (PDF)

pp. xii

Referees (PDF)

pp. xiii

Dsmgc 2000 (PDF)

pp. xiv

Woods 2000 (PDF)

pp. xv

Keynote

Dependability and the Mobile User

Session 1: Wireless Networks and Mobile Computing

Proxy-Based Recovery for Applications on Wireless Hand-Held Devices (Abstract)

Bin Yao, Purdue University

W. Kent Fuchs, Purdue University

pp. 2

PDF

Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems (Abstract)

Stefan Pleisch, IBM Research

André Schiper, Swiss Federal Institute of Technology

pp. 11

PDF

Improvement of the QoS via an Adaptive and Dynamic Distribution of Applications in a Mobile Environment (Abstract)

Françoise André, University of Rennes I

Anne-Marie Kermarrec, Microsoft Research Ltd.

Frédéric Le Mouël, INRISA/INRIA

pp. 21

PDF

Session 2: Reliable Protocols

Reliable Broadcast in the Crash-Recovery Model (Abstract)

Romain Boichat, Swiss Federal Institute of Technology

Rachid Guerraoui, Swiss Federal Institute of Technology

pp. 32

PDF

Optimistic Virtual Synchrony (Abstract)

Jeremy Sussman, IBM T. J. Watson Research Center

Idit Keidar, Massachusetts Institute of Technology

Keith Marzullo, University of California at San Diego

pp. 42

PDF

Optimal Implementation of the Weakest Failure Detector for Solving Consensus (Abstract)

Mikel Larrea, Universidad P?blica de Navarra

Antonio Fernández, Universidad Rey Juan Carlos

Sergio Arévalo, Universidad Rey Juan Carlos

pp. 52

PDF

Semantically Reliable Multicast Protocols (Abstract)

José Pereira, Universidade do Minho

Rui Oliveira, Universidade do Minho

Luís Rodrigues, Universidade de Lisboa

pp. 60

PDF

Panel 1: What Kind of Dependability do Mobile Computing and Networking Need?

Panel Abstract (PDF)

J. Huber

pp. 72

Session 3: Detection and Diagnosis

An Evolutionary Algorithm for Identifying Faults in t-Diagnosable Systems (Abstract)

Mourad Elhadef, University of Sherbrooke

Béchir Ayeb, University of Sherbrooke

pp. 74

PDF

Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure (Abstract)

Jerzy Brzezinski, Poznan University of Technology

Michal Sajkowski, Poznan University of Technology

pp. 84

PDF

Consistent Detection of Global Predicates under a Weak Fault Assumption (Abstract)

Felix C. Gärtner, Technische Universit?t Darmstadt

Sven Kloppenburg, Systeam Engineering GmbH

pp. 94

PDF

Invited Talk

Issues Insufficiently Resolved in Century 20 in the Fault-Tolerant Distributed Computing Field (Abstract)

K.H. (Kane) Kim, University of California at Irvine

pp. 106

PDF

Session 4: Real-Time

An Investigation of Membership and Clique Avoidance in TTP/C (Abstract)

Günther Bauer, Vienna University of Technology

Michael Paulitsch, Vienna University of Technology

pp. 118

PDF

Continuous Clock Synchronization in Wireless Real-Time Applications (Abstract)

Michael Mock, GMD - German National Research

Reiner Frings, GMD - German National Research

Edgar Nett, University of Magdeburg

Spiro Trikaliotis, University of Magdeburg

pp. 125

PDF

Session 5: Fault Tolerance and Replication

High Availability of the Memory Hierarchy in a Cluster (Abstract)

Christine Morin, IRISA/INRIA

Renaud Lottiaux, IRISA/INRIA

Anne-Marie Kermarrec, Microsoft Research Ltd.

pp. 134

PDF

Abstractions for Devising Byzantine-Resilient State Machine Replication (Abstract)

Assia Doudou, Swiss Federal Institute of Technology

Rachid Guerraoui, Swiss Federal Institute of Technology

Benoít Garbinato, Linkvest

pp. 144

PDF

Implementing a Reflective Fault-Tolerant CORBA System (Abstract)

Marc-Olivier Killijian, LAAS-CNRS

Jean Charles Fabre, LAAS-CNRS

pp. 154

PDF

Deterministic Scheduling for Transactional Multithreaded Replicas (Abstract)

Ricardo Jiménez-Peris, Technical University of Madrid

Marta Patiño-Martínez, Technical University of Madrid

Sergio Arévalo, Universidad Rey Juan Carlos

pp. 164

PDF

Session 6: Databases and Transactions

Pronto: A Fast Failover Protocol for Off-the-Shelf Commercial Databases (Abstract)

Fernando Pedone Svend Frølund, Hewlett-Packard

pp. 176

PDF

A Pragmatic Implementation of e-Transactions (Abstract)

Svend Frølund, Hewlett-Packard

Rachid Guerraoui, Swiss Federal Institute of Technology

pp. 186

PDF

Using Multicast Communication to Reduce Deadlock in Replicated Databases (Abstract)

JoAnne Holliday, Santa Clara University

Divyakant Agrawal, University of California at Santa Barbara

Amr El Abbadi, University of California at Santa Barbara

pp. 196

PDF

Database Replication Techniques: A Three Parameter Classification (Abstract)

Matthias Wiesmann, Swiss Federal Institute of Technology in Lausanne

André Schiper, Swiss Federal Institute of Technology in Lausanne

Fernando Pedone, Hewlett-Packard

Bettina Kemme, Swiss Federal Institute of Technology in Z?

Gustavo Alonso, Swiss Federal Institute of Technology in Z?

pp. 206

PDF

Session 7: Dependability Evaluation

Performance of Mobile, Single-Object, Replication Protocols (Abstract)

Ugur Çetintemel, University of Maryland

Peter Keleher, University of Maryland

pp. 218

PDF

On the Use of Model Checking Techniques for Dependability Evaluation (Abstract)

Boudewijn R. Haverkort, RWTH Aachen

Holger Hermanns, University of Twente

Joost-Pieter Katoen, University of Twente

pp. 228

PDF

Performance Analysis of the CORBA Event Service Using Stochastic Reward Nets (Abstract)

Srinivasan Ramani, Duke University

Kishor S. Trivedi, Duke University

Balakrishnan Dasarathy, Telcordia Technologies, Inc.

pp. 238

PDF

Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector (Abstract)

Ramesh Chandra, University of Illinois at Urbana-Champaign

Michel Cukier, University of Illinois at Urbana-Champaign

Ryan M. Lefever, University of Illinois at Urbana-Champaign

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 248

PDF

Panel 3: Integrating Fault Tolerance and Security in Distributed Information Systems

Panel Abstract (PDF)

K. Kwiat

pp. 262

Author's Index (PDF)

pp. 263