| Message from the General Chair |
| Message from the Co-Chairs |
| Program Committee |
| Organizing Committee |
| Referees |
| DSMGC 2000 |
| WOODS 2000 |
| Keynote / L. Simoncini |
| Dependability and the Mobile User / M. Morganti |
| Wireless Networks and Mobile Computing / J. KaiserSession 1： |
| Proxy-based Recovery for Applications on Wireless Hand-held Devices / B. Yao ; W. Fuchs |
| Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems / S. Pleisch ; A. Schiper |
| Improvement of the QoS via an Adaptive and Dynamic Distribution of Applications in a Mobile Environment / F. Andre ; A. Kermarrec ; F. Le Mouel |
| Reliable Protocols / K. FuchsSession 2： |
| Reliable Broadcast in the Crash-Recovery Model / R. Boichat ; R. Guerraoui |
| Optimistic Virtual Synchrony / J. Sussman ; I. Keidar ; K. Marzullo |
| Optimal Implementation of the Weakest Failure Detector for Solving Consensus / M. Larrea ; A. Fernandez ; S. Arevalo |
| Semantically Reliable Multicast Protocols / J. Pereira ; L. Rodrigues ; R. Oliveira |
| What Kind of Dependability do Mobile Computing and Networking Need? / Panel 1： |
| Panel Abstract |
| Detection and Diagnosis / F. Di GiandomenicoSession 3： |
| An Evolutionary Algorithm for Identifying Faults in t-Diagnosable Systems / M. Elhadef ; B. Ayeb |
| Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure / J. Brzezinski ; M. Sajkowski |
| Consistent Detection of Global Predicates under a Weak Fault Assumption / F. Gartner ; S. Kloppenburg |
| Invited Talk |
| Issues Insufficiently Resolved in Century 20 in the Fault-Tolerant Distributed Computing Field / K. Kim |
| Real-Time / K. KwiatSession 4： |
| An Investigation of Membership and Clique Avoidance in TTP/C / G. Bauer ; M. Paulitsch |
| Continuous Clock Synchronization in Wireless Real-Time Applications / M. Mock ; R. Frings ; E. Nett ; S. Trikaliotis |
| Fault Tolerance and Replication / G. MullerSession 5： |
| High Availability of the Memory Hierarchy in a Cluster / C. Morin ; R. Lottiaux |
| Abstractions for Devising Byzantine-Resilient State Machine Replication / A. Doudou ; B. Garbinato |
| Implementing a Reflective Fault-Tolerant CORBA System / M. Killijian ; J. Fabre |
| Deterministic Scheduling for Transactional Multithreaded Replicas / R. Jimenez-Peris ; M. Patino-Martinez |
| Databases and Transactions / M. MalekSession 6： |
| Pronto: A Fast Failover Protocol for Off-the-shelf Commercial Databases / F. Pedone ; S. Frolund |
| A Pragmatic Implementation of e-Transactions |
| Using Multicast Communication to Reduce Deadlock in Replicated Databases / J. Holliday ; D. Agrawal ; A. El Abbadi |
| Database Replication Techniques: A Three Parameter Classification / M. Wiesmann ; B. Kemme ; G. Alonso |
| Dependability Evaluation / A. van MoorselSession 7： |
| Performance of Mobile, Single-Object, Replication Protocols / U. Cetintemel ; P. Keleher |
| On the Use of Model Checking Techniques for Dependability Evaluation / B. Haverkort ; H. Hermanns ; J. Katoen |
| Performance Analysis of the CORBA Event Service using Stochastic Reward Nets / S. Ramani ; K. Trivedi ; B. Dasarathy |
| Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector / R. Chandra ; M. Cukier ; R. Lefever ; W. Sanders |
| Composability of Reliable Services / Panel 2： |
| Integrating Fault Tolerance and Security in Distributed Information Systems / Panel 3： |
| Index of Authors |
| Message from the General Chair |
| Message from the Co-Chairs |
| Program Committee |
| Organizing Committee |
| Referees |
| DSMGC 2000 |
