19. SRDS 2000: Nürnberg, Germany

Wireless Networks and Mobile Computing

• Bin Yao, W. Kent Fuchs:
  Proxy-based Recovery for Applications on Wireless Hand-held Devices. 2-10
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Stefan Pleisch, André Schiper:
  Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems. 11-20
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Françoise André, Anne-Marie Kermarrec, Frederic Le Mouel:
  Improvement of the QoS via an Adaptive and Dynamic Distribution of Applications in a Mobile Environment. 21-29
  Electronic Edition (IEEE Computer Society DL) BibTeX

Reliable Protocols

• Romain Boichat, Rachid Guerraoui:
  Reliable Broadcast in the Crash-Recovery Model. 32-41
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jeremy B. Sussman, Idit Keidar, Keith Marzullo:
  Optimistic Virtual Synchrony. 42-51
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Mikel Larrea, Antonio Fernández, Sergio Arévalo:
  Optimal Implementation of the Weakest Failure Detector for Solving Consensus. 52-59
  Electronic Edition (IEEE Computer Society DL) BibTeX
• José Orlando Pereira, Rui Carlos Oliveira, Luís Rodrigues:
  Semantically Reliable Multicast Protocols. 60-69
  Electronic Edition (IEEE Computer Society DL) BibTeX

Detection and Diagnosis

• Mourad Elhadef, Béchir el Ayeb:
  An Evolutionary Algorithm for Identifying Faults in t-Diagnosable Systems. 74-83
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jerzy Brzezinski, Michal Sajkowski:
  Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure. 84-93
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Felix C. Gärtner, Sven Kloppenburg:
  Consistent Detection of Global Predicates under a Weak Fault Assumption. 94-103
  Electronic Edition (IEEE Computer Society DL) BibTeX

Invited Talk

• K. H. Kim:
  Issues Insufficiently Resolved in Century 20 in the Fault-Tolerant Distributed Computing Field. 106-115
  Electronic Edition (IEEE Computer Society DL) BibTeX

Real-Time

• Günther Bauer, Michael Paulitsch:
  An Investigation of Membership and Clique Avoidance in TTP/C. 118-124
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Michael Mock, Reiner Frings, Edgar Nett, Spiro Trikaliotis:
  Continuous Clock Synchronization in Wireless Real-Time Applications. 125-132
  Electronic Edition (IEEE Computer Society DL) BibTeX

Fault Tolerance and Replication

• Christine Morin, Renaud Lottiaux, Anne-Marie Kermarrec:
  High Availability of the Memory Hierarchy in a Cluster. 134-143
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Assia Doudou, Rachid Guerraoui, Benoît Garbinato:
  Abstractions for Devising Byzantine-Resilient State Machine Replication. 144-153
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Marc-Olivier Killijian, Jean-Charles Fabre:
  Implementing a Reflective Fault-Tolerant CORBA System. 154-163
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ricardo Jiménez-Peris, Marta Patiño-Martínez, Sergio Arévalo:
  Deterministic Scheduling for Transactional Multithreaded Replicas. 164-173
  Electronic Edition (IEEE Computer Society DL) BibTeX

Databases and Transactions

• Fernando Pedone, Svend Frølund:
  Pronto: A Fast Failover Protocol for Off-the-shelf Commercial Databases. 176-185
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Svend Frølund, Rachid Guerraoui:
  A Pragmatic Implementation of e-Transactions. 186-195
  Electronic Edition (IEEE Computer Society DL) BibTeX
• JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi:
  Using Multicast Communication to Reduce Deadlock in Replicated Databases. 196-205
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Matthias Wiesmann, André Schiper, Fernando Pedone, Bettina Kemme, Gustavo Alonso:
  Database Replication Techniques: A Three Parameter Classification. 206-215
  Electronic Edition (IEEE Computer Society DL) BibTeX

Dependability Evaluation

• Ugur Çetintemel, Peter J. Keleher:
  Performance of Mobile, Single-Object, Replication Protocols. 218-227
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
  On the Use of Model Checking Techniques for Dependability Evaluation. 228-237
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy:
  Performance Analysis of the CORBA Event Service using Stochastic Reward Nets. 238-247
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ramesh Chandra, Michel Cukier, Ryan M. Lefever, William H. Sanders:
  Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector. 248-257
  Electronic Edition (IEEE Computer Society DL) BibTeX