| Message from the Symposium Chair |
| Message from the Program Co-Chairs |
| Conference Committee |
| Referees |
| Reliability of Future Telephone Networks / R. Cooper |
| Mobile Computing / Session 1： |
| Information Dissemination in Partitionable Mobile Ad Hoc Networks / G. Karumanchi ; S. Muralidharan ; R. Prakash |
| Group Multicast in Distributed Mobile Systems with Unreliable Wireless Network / G. Anastasi ; A. Bartoli ; F. Spadoni |
| Improving Level of Service for Mobile Users using Context-Awareness / P. Couderc ; A. Kermarrec |
| Distributed Algorithms / Session 2： |
| An Algorithm for Fault-Tolerant Clock State and Rate Synchronization / K. Schossmaier ; B. Weiss |
| Real-Time Fault-Tolerant Atomic Broadcast / C. Delporte-Gallet ; H. Fauconnier |
| A General Framework to Solve Agreement Problems / M. Hurfin ; R. Macedo ; M. Raynal ; F. Tronel |
| Formal Methods / Session 3： |
| Formal Hazard Analysis of Hybrid Systems in cTLA / P. Herrmann ; H. Krumm |
| Safecharts for Specifying and Designing Safety Critical Systems / H. Dammag ; N. Nissanke |
| Replication Techniques / Session 4： |
| Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive / A. Deplanche ; P. Theaudiere ; Y. Trinquet |
| View Divergence Control of Replicated Data using Update Delay Estimation / T. Yamashita ; S. Ono |
| Highly Available Process Support Systems: Implementing Backup Mechanisms / C. Hagen ; G. Alonso |
| Scalability / Session 5： |
| Scalable Stability Detection using Logical Hypercube / R. Friedman ; S. Manor ; K. Guo |
| On Diffusing Updates in a Byzantine Environment / D. Malkhi ; Y. Mansour ; M. Reiter |
| Fault-Tolerant Replication Management in Large-Scale Distributed Storage Systems / R. Golding ; E. Borowsky |
| Failure Analysis / Session 6： |
| A Component-based Approach to Reliability Analysis of Distributed Systems / S. Yacoub ; B. Cukic ; H. Ammar |
| Fault Injection based on a Partial View of the Global State of a Distributed System / M. Cukier ; R. Chandra ; D. Henke ; J. Pistole ; W. Sanders |
| Failure Data Analysis of a LAN of Windows NT based Computers / M. Kalyanakrishnam ; Z. Kalbarczyk ; R. Iyer |
| System Support / Session 7： |
| HAMFS File System / Y. Shinkai ; Y. Tsuchiya ; T. Murakami ; J. Williams |
| Logging and Recovery in Adaptive Software Distributed Shared Memory Systems / A. Kongmunvattana ; N. Tzeng |
| Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded Systems / N. Kandasamy ; J. Hayes ; B. Murray |
| Logging and Checkpointing / Session 8： |
| Issues in the Design of a Reflective Library for Checkpointing C++ Objects / M. Kasbekar ; C. Das ; S. Yajnik ; R. Klemm ; Y. Huang |
| Optimistic Recovery in Multi-threaded Distributed Systems / O. Damani ; A. Tarafdar ; V. Garg |
| An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging / K. Ssu ; B. Yao ; K. Fuchs |
| Corba / Session 9： |
| CosNamingFT--A Fault-Tolerant CORBA Naming Service / L. Lung ; J. da Silva Fraga ; J. Farines ; M. Ogg ; A. Ricciardi |
| Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications / P. Narasimhan ; L. Moser ; P. Melliar-Smith |
| The 'QoS Query Service' for Improved Quality-of-Service Decision Making in CORBA / A. van Moorsel |
| Work in Progress (Fast Abstracts) |
| Resolving Distributed Deadlocks in the OR Request Model / J. Villadangos ; F. Farina ; J. Gonzalez de Mendivil ; J. Garitagoitia ; J. Bernabeu-Auban ; G. Vossen |
| An Efficient Checkpointing Algorithm for Distributed Systems Implementing Reliable Communication Channels / E. Gendelman ; L. Bic ; M. Dillencourt |
| An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems / P. Chevochot ; I. Puaut |
| An Agent Platform for Reliable Asynchronous Distributed Programming / L. Bellissard ; N. De Palma ; A. Freyssinet ; M. Herrmann ; S. Lacourte |
| Exactly-Once End-to-End Semantics in CORBA Invocations across Heterogenous Fault-Tolerant ORBs / A. Vaysburd |
| A Distributed Algorithm for Deadlock Detection under OR-request Model / S. Lee ; Y. Lee |
| Design and Validation of a Distributed Industrial Control System's Nodes / J. Campelo ; F. Rodriguez ; P. Gil ; J. Serrano |
| Performance Evaluation of the Circulating Multisequencer and the Consensus Algorithms in a Real-Time Distributed Transactional System / L. Saidane ; F. Kamoun |
| Database Replication: If You Must be Lazy, be Consistent / J. Holliday ; D. Agrawal ; A. El Abbadi |
| A Software Multilevel Fault Injection Mechanism: Case Study Evaluating the Virtual Interface Architecture / T. Liu |
| Workshop on Reliable Middleware (Wremi) |
| Foreword |
| The Mainframe as a High-Available, Highly Scalable CORBA Platform / W. Froidevaux ; S. Murer ; M. Prater |
| A Method for Combining Replication with Caching / M. Little ; S. Shrivastava |
| Fault Tolerance in Three-Tier Applications: Focusing on the Database Tier |
| Workshop on Electronic Commerce (Welcom) |
| XML Documents Production for an Electronic Platform of Requests for Proposals / F. Bapst ; C. Vanoirbeek |
| Service Provision and Composition in Virtual Business Communities / A. Marton ; G. Piccinelli ; C. Turfin |
| Quality of Service in Business-to-Business E-Commerce Applications / U. Fiedler ; B. Plattner |
| A Practical Guideline to the Implementation of Online Shops / A. Bartelt ; J. Meyer |
| Approaching a Formal Definition of Fairness in Electronic Commerce / F. Gartner ; H. Pagnia ; H. Vogt |
| Trust and Electronic Commerce--More than a Technical Problem / K. Konrad ; J. Barthel ; G. Fuchs |
| Authorization Methods for E-Commerce Applications / R. Oppliger |
| Gateways to Overcome Incompatibilities of Security Mechanisms / J. Zollner |
| Security Mechanisms for using Mobile Agents in Electronic Commerce / P. Marques ; L. Silva ; J. Silva |
| Accountable Anonymous Access to Services in Mobile Communication Systems / L. Buttyan ; J.-P. Hubaux |
| On the Provision of Replicated Internet Auction Services / F. Panzieri |
| The Usability Risk / A. Platt |
| Index of Authors |
| Message from the Symposium Chair |
| Message from the Program Co-Chairs |
| Conference Committee |
図書
