Default Cover Image

Reliable Distributed Systems, IEEE Symposium on

Oct. 13 2002 to Oct. 16 2002

Osaka University, Suita, Japan

ISSN: 1060-9857

ISBN: 0-7695-1659-9

Table of Contents

Introduction
Message from the Symposium and Program Co-ChairsFreely available from IEEE.pp. xi
Introduction
Conference CommitteeFreely available from IEEE.pp. xii
Introduction
RefereesFreely available from IEEE.pp. xiii
Keynote Speaker
Theory and Practice for Fault-Tolerant Protocols on the InternetFull-text access may be available. Sign in or learn about subscription options.pp. xiv
Session 1: Security
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure ModelFull-text access may be available. Sign in or learn about subscription options.pp. 2
Session 1: Security
A Fault-Tolerant Approach to Secure Information RetrievalFull-text access may be available. Sign in or learn about subscription options.pp. 12
Session 1: Security
Tolerance to Unbounded Byzantine FaultsFull-text access may be available. Sign in or learn about subscription options.pp. 22
Session 2: Networking I
Implementing Quality of Service in Web ServersFull-text access may be available. Sign in or learn about subscription options.pp. 32
Session 2: Networking I
Fault-Tolerant Virtual Private Networks within An Autonomous SystemFull-text access may be available. Sign in or learn about subscription options.pp. 41
Session 2: Networking I
Collaborative Networking in an Uncooperative InternetFull-text access may be available. Sign in or learn about subscription options.pp. 51
Session 3: Stabilization I
Fault-Local Stabilization: The Shortest Path TreeFull-text access may be available. Sign in or learn about subscription options.pp. 62
Session 3: Stabilization I
Random Walk for Self-Stabilizing Group Communication in Ad-Hoc NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 70
Session 3: Stabilization I
Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidrectional RingsFull-text access may be available. Sign in or learn about subscription options.pp. 80
Session 4: Replication
An Indulgent Uniform Total Order Algorithm with Optimistic DeliveryFull-text access may be available. Sign in or learn about subscription options.pp. 92
Session 4: Replication
A Unified Proof of Minimum Time Complexity for Reaching Consensus and Uniform Consensus — An Oracle-Based ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 102
Session 4: Replication
Active Software Replication through a Three-Tier ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 109
Session 4: Replication
Efficient Distributed Precision Control in Symmetric Replication EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 119
Session 5: Fault Recovery
Availability Models with Age-Dependent CheckpointingFull-text access may be available. Sign in or learn about subscription options.pp. 130
Session 5: Fault Recovery
Heterogeneous Checkpointing for Multithreaded ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 140
Session 5: Fault Recovery
Non-Intrusive, Parallel Recovery of Replicated DataFull-text access may be available. Sign in or learn about subscription options.pp. 150
Session 5: Fault Recovery
On Node State Reconstruction for Fault Tolerant Distributed AlgorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 160
Session 6: Large Scale Group Communication
Probabilistic Atomic BroadcastFull-text access may be available. Sign in or learn about subscription options.pp. 170
Session 6: Large Scale Group Communication
Efficient Epidemic-Style Protocols for Reliable and Scalable MulticastFull-text access may be available. Sign in or learn about subscription options.pp. 180
Session 6: Large Scale Group Communication
Optimistic Total Order in Wide Area NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 190
Session 7: Stabilization II
Self-Stabilizing Local Mutual Exclusion on Networks in which Process Identifiers are not DistinctFull-text access may be available. Sign in or learn about subscription options.pp. 202
Session 7: Stabilization II
A Lower Bound on Dynamic k-Stabilization in Asynchronous SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 212
Session 8: Networking II
Asynchronous Resource Discovery in Peer to Peer NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 224
Session 8: Networking II
An Analysis of Fault Detection Latency Bounds of the SNS Scheme Incorporated into an Ethernet Based Middleware SystemFull-text access may be available. Sign in or learn about subscription options.pp. 232
Session 9: Short Papers
Loose Synchronization of Multithreaded ReplicasFull-text access may be available. Sign in or learn about subscription options.pp. 250
Session 9: Short Papers
The Performance of Checkpointing and Replication Schemes for Fault Tolerant Mobile Agent SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 256
Session 9: Short Papers
Optimistic Byzantine AgreementFull-text access may be available. Sign in or learn about subscription options.pp. 262
Session 9: Short Papers
Modeling Communication Delays in Distributed Systems Using Time SeriesFull-text access may be available. Sign in or learn about subscription options.pp. 268
Session 10: Object-Based Systems
Dependability of CORBA Systems: Service Characterization by Fault InjectionFull-text access may be available. Sign in or learn about subscription options.pp. 276
Session 10: Object-Based Systems
Analysis of Inspection-Based Preventive Maintenance in Operational Software SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 286
Session 10: Object-Based Systems
Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 296
Session 10: Object-Based Systems
The Guardian Model for Exception Handling in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 304
Session I: Reliable Peer-to-Peer File Systems
Using File-Grain Connectivity to Implement a Peer-to-Peer File SystemFull-text access may be available. Sign in or learn about subscription options.pp. 318
Session I: Reliable Peer-to-Peer File Systems
Building a Reliable Mutable File System on Peer-to-Peer StorageFull-text access may be available. Sign in or learn about subscription options.pp. 324
Session I: Reliable Peer-to-Peer File Systems
Reperasure: Replication Protocol Using Erasure-Code in Peer-to-Peer Storage NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 330
Session II: Reliable Routing and Discovery
Improving Object Search Using Hints, Gossip, and SupernodesFull-text access may be available. Sign in or learn about subscription options.pp. 336
Session II: Reliable Routing and Discovery
A Search for Routing Strategies in a Peer-to-Peer Network Using Genetic ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 341
Session II: Reliable Routing and Discovery
Implementing IPv6 as a Peer-to-Peer Overlay NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 347
Session III: Failure Management
Asynchronous Byzantine Group CommunicationFull-text access may be available. Sign in or learn about subscription options.pp. 352
Session III: Failure Management
Power-Aware EpidemicsFull-text access may be available. Sign in or learn about subscription options.pp. 358
Session III: Failure Management
Introspective Failure Analysis: Avoiding Correlated Failures in Peer-to-Peer SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 362
Keynote Speakers
From Byzantine Agreement to Practical SurvivabilityFull-text access may be available. Sign in or learn about subscription options.pp. 374
Keynote Speakers
OBIGrid: Towards a New Distributed Platform for BioinformaticsFull-text access may be available. Sign in or learn about subscription options.pp. 380
Session I: Self-Stabilization
Self-Stabilizing Distributed File SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 384
Session I: Self-Stabilization
A Self-Stabilizing Algorithm for Finding Cliques in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 390
Session I: Self-Stabilization
A Self-Stabilizing Algorithm for the Steiner Tree ProblemFull-text access may be available. Sign in or learn about subscription options.pp. 396
Session II: Large-Scale Distributed Systems
Failure Detectors for Large-Scale Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 404
Session II: Large-Scale Distributed Systems
Management of Mobile Agent Systems using Social Insect MetaphorsFull-text access may be available. Sign in or learn about subscription options.pp. 410
Session II: Large-Scale Distributed Systems
Self-Organizing Formation Algorithm for Active ElementsFull-text access may be available. Sign in or learn about subscription options.pp. 416
Author Index
Author IndexFreely available from IEEE.pp. 423
Showing 58 out of 58