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 |