The Community for Technology Leaders
Reliable Distributed Systems, IEEE Symposium on (2002)
Osaka University, Suita, Japan
Oct. 13, 2002 to Oct. 16, 2002
ISSN: 1060-9857
ISBN: 0-7695-1659-9
TABLE OF CONTENTS
Introduction

Referees (PDF)

pp. xiii
Keynote Speaker
Session 1: Security

Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model (Abstract)

Nuno Ferreira Neves , Universidade de Lisboa
Lau Cheuk Lung , Universidade de Lisboa
Miguel Correia , Universidade de Lisboa
Paulo Veríssimo , Universidade de Lisboa
pp. 2

A Fault-Tolerant Approach to Secure Information Retrieval (Abstract)

Erica Y. Yang , University of Durham
Jie Xu , University of Durham
Keith H. Bennett , University of Durham
pp. 12

Tolerance to Unbounded Byzantine Faults (Abstract)

Mikhail Nesterenko , Kent State University
Anish Arora , Ohio State University
pp. 22
Session 2: Networking I

Implementing Quality of Service in Web Servers (Abstract)

Joni Fraga , Univ. Fed. de Santa Catarina
Carlos Montez , Univ. Fed. de Santa Catarina
pp. 32

Fault-Tolerant Virtual Private Networks within An Autonomous System (Abstract)

Junghee Han , University of Michigan
G. Robert Malan , University of Michigan
Farnam Jahanian , University of Michigan
pp. 41

Collaborative Networking in an Uncooperative Internet (Abstract)

Robbert van Renesse , Cornell University
Dan Dumitriu , Cornell University
pp. 51
Session 3: Stabilization I

Fault-Local Stabilization: The Shortest Path Tree (Abstract)

T Hérault , Université Paris XI
J Beauquier , Université Paris XI
pp. 62

Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks (Abstract)

Shlomi Dolev , Ben-Gurion University of the Negev
Jennifer Welch , Texas A&M University
Elad Schiller , Ben-Gurion University of the Negev
pp. 70
Session 4: Replication

An Indulgent Uniform Total Order Algorithm with Optimistic Delivery (Abstract)

Pedro Vicente , Universidade de Lisboa
Luís Rodrigues , Universidade de Lisboa
pp. 92

Active Software Replication through a Three-Tier Approach (Abstract)

Alessandro Termini , Università di Roma "La Sapienza"
Carlo Marchetti , Università di Roma "La Sapienza"
Roberto Baldoni , Università di Roma "La Sapienza"
pp. 109
Session 5: Fault Recovery

Availability Models with Age-Dependent Checkpointing (Abstract)

Naoto Kaio , Hiroshima Shudo University
Tadashi Dohi , Hiroshima University
Kishor S. Trivedi , Duke University
pp. 130

Heterogeneous Checkpointing for Multithreaded Applications (Abstract)

Rida A. Bazzi , Arizona State University
Feras Karablieh , Arizona State University
pp. 140

Non-Intrusive, Parallel Recovery of Replicated Data (Abstract)

R. Jiménez-Peris , Technical University of Madrid
M. Patiño-Martínez , Technical University of Madrid
G. Alonso , Swiss Federal Institute of Technology
pp. 150

On Node State Reconstruction for Fault Tolerant Distributed Algorithms (Abstract)

Amnon Barak , Hebrew University of Jerusalem
Michael Okun , Hebrew University of Jerusalem
pp. 160
Session 6: Large Scale Group Communication

Probabilistic Atomic Broadcast (Abstract)

Fernando Pedone , Hewlett-Packard Laboratories
Pascal Felber , Institut EURECOM
pp. 170

Efficient Epidemic-Style Protocols for Reliable and Scalable Multicast (Abstract)

Anne-Marie Kermarrec , Microsoft Research
Ayalvadi J. Ganesh , Microsoft Research
Indranil Gupta , Cornell University
pp. 180

Optimistic Total Order in Wide Area Networks (Abstract)

Francisco Moura , Universidade do Minho
António Sousa , Universidade do Minho
José Pereira , Universidade do Minho
Rui Oliveira , Universidade do Minho
pp. 190
Session 7: Stabilization II

A Lower Bound on Dynamic <i>k</i>-Stabilization in Asynchronous Systems (Abstract)

Sébastien Tixeuil , Université de Paris XI Sud
Christophe Genolini , Université de Paris X Nanterre
pp. 212
Session 8: Networking II

Asynchronous Resource Discovery in Peer to Peer Networks (Abstract)

David Peleg , The Weizmann Institute
Shay Kutten , The Technion
pp. 224

An Analysis of Fault Detection Latency Bounds of the SNS Scheme Incorporated into an Ethernet Based Middleware System (Abstract)

K. H. (Kane) Kim , University of California at Irvine
Juqiang Liu , University of California at Irvine
Moon H. Kim , Konkuk University
pp. 232
Session 9: Short Papers

Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit of Handling Input-Triggered and Output-Triggered Suspicions Differently (Abstract)

Xavier Défago , École Polytechnique Fédérale de Lausanne
Bernadette Charron-Bost , Japan Advanced Institute of Science and Technology
André Schiper , LIX, École Polytechnique
pp. 244

Loose Synchronization of Multithreaded Replicas (Abstract)

Ravi Iyer , University of Illinois at Urbana-Champaign
Keith Whisnant , University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
Claudio Basile , University of Illinois at Urbana-Champaign
pp. 250

The Performance of Checkpointing and Replication Schemes for Fault Tolerant Mobile Agent Systems (Abstract)

Heon Y. Yeom , Seoul National University
Ilsoo Byun , Sejong University
Hyunjoo Kim , Seoul National University
Taesoon Park , Sejong University
pp. 256

Optimistic Byzantine Agreement (Abstract)

Klaus Kursawe , IBM Research
pp. 262

Modeling Communication Delays in Distributed Systems Using Time Series (Abstract)

Raul Ceretta Nunes , Federal University of Santa Maria
Ingrid Jansch-Pôrto , Federal University of Santa Maria
pp. 268
Session 10: Object-Based Systems

Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications (Abstract)

L. Romano , Universit? degli Studi di Napoli
A. Bondavalli , Universit? di Firenze
S. Chiaradonna , CNUCE Institute
D. Cotroneo , Universit? degli Studi di Napoli
pp. 296

The Guardian Model for Exception Handling in Distributed Systems (Abstract)

Anand Tripathi , University of Minnesota
Robert Miller , University of Minnesota
pp. 304
Workshop on Reliable Peer-to-Peer Distributed Systems

Workshop on Reliable Peer-to-Peer Distributed Systems (PDF)

Robbert van Renesse , Cornell University
Amin Vadhat , Duke University
Maarten van Steen , Vrije Universiteit
Anne-Marie Kermarrec , Microsoft Research
Ozalp Babaoglu , University of Bologna
pp. 316
Session I: Reliable Peer-to-Peer File Systems

Using File-Grain Connectivity to Implement a Peer-to-Peer File System (Abstract)

Shihao Gong , University of British Columbia
Dmitry Brodsky , University of British Columbia
Alex Brodsky , University of British Columbia
Michael J. Feeley , University of British Columbia
Norman C. Hutchinson , University of British Columbia
Jody Pomkoski , University of British Columbia
pp. 318

Building a Reliable Mutable File System on Peer-to-Peer Storage (Abstract)

Margo I. Seltzer , Harvard University
C. A. Stein , Harvard University
Michael J. Tucker , Harvard University
pp. 324
Session II: Reliable Routing and Discovery

Improving Object Search Using Hints, Gossip, and Supernodes (Abstract)

Håvard D. Johansen , University of Troms?
Dag Johansen , University of Troms?
pp. 336

Implementing IPv6 as a Peer-to-Peer Overlay Network (Abstract)

Robbert van Renesse , Cornell University
Michael Marsh , Cornell University
Lidong Zhou , Cornell University
pp. 347
Session III: Failure Management

Asynchronous Byzantine Group Communication (Abstract)

Klaus Kursawe , IBM Research, Switzerland
pp. 352

Power-Aware Epidemics (Abstract)

Robbert van Renesse , Cornell University
pp. 358

Introspective Failure Analysis: Avoiding Correlated Failures in Peer-to-Peer Systems (Abstract)

Hakim Weatherspoon , University of California at Berkeley
Tal Moscovitz , University of California at Berkeley
John Kubiatowicz , University of California at Berkeley
pp. 362
Workshop on Self-Repairing and Self-Configurable Distributed Systems
Keynote Speakers

From Byzantine Agreement to Practical Survivability (Abstract)

Dahlia Malkhi , The Hebrew University of Jerusalem
pp. 374

OBIGrid: Towards a New Distributed Platform for Bioinformatics (PDF)

Akihiko Konagaya , Japan Advanced Institute of Science and Technology
pp. 380
Session I: Self-Stabilization

Self-Stabilizing Distributed File Systems (Abstract)

Ronen I. Kat , Ben-Gurion University of the Negev
Shlomi Dolev , Ben-Gurion University of the Negev
pp. 384

A Self-Stabilizing Algorithm for Finding Cliques in Distributed Systems (Abstract)

Hirotsugu Kakugawa , Hiroshima University
Hiroko Ishii , Fujitsu Nishi-Nihon Communication Systems, Ltd.
pp. 390

A Self-Stabilizing Algorithm for the Steiner Tree Problem (Abstract)

Hirotsugu Kakugawa , Hiroshima University
Sayaka Kamei , Hiroshima University
pp. 396
Session II: Large-Scale Distributed Systems

Failure Detectors for Large-Scale Distributed Systems (Abstract)

Adel Cherif , Japan Advanced Institute of Science and Technology
Takuya Katayama , Japan Advanced Institute of Science and Technology
Naohiro Hayashibara , Japan Advanced Institute of Science and Technology
pp. 404

Management of Mobile Agent Systems using Social Insect Metaphors (Abstract)

Bernard Pagurek , Carleton University
Dwight Deugo , Carleton University
Tony White , Carleton University
pp. 410

Self-Organizing Formation Algorithm for Active Elements (Abstract)

Ken Sugawara , University of Electro-Communications
Kenichi Fujibayashi , Tokyo Institute of Technology
Satoshi Murata , Tokyo Institute of Technology
Masayuki Yamamura , Tokyo Institute of Technology
pp. 416
Author Index

Author Index (PDF)

pp. 423
105 ms
(Ver )