18. SRDS 1999: Lausanne, Switzerland

The Eighteenth Symposium on Reliable Distributed Systems, October 19-22, 1999, Lausanne, Switzerland, Proceedings. IEEE Computer Society, 1999, ISBN 0-7695-0290-3, online proceedings

Invited Speaker

Robert C. B. Cooper:
Reliability of Future Telephone Networks. 2
Electronic Edition (IEEE Computer Society DL) BibTeX

Mobile Computing

Goutham Karumanchi, Srinivasan Muralidharan, Ravi Prakash:
Information Dissemination in Partitionable Mobile Ad Hoc Networks. 4-13
Electronic Edition (IEEE Computer Society DL) BibTeX
Giuseppe Anastasi, Alberto Bartoli, Francesco Spadoni:
Group Multicast in Distributed Mobile Systems with Unreliable Wireless Network. 14-23
Electronic Edition (IEEE Computer Society DL) BibTeX
Paul Couderc, Anne-Marie Kermarrec:
Improving Level of Service for Mobile Users using Context-Awareness. 24-33
Electronic Edition (IEEE Computer Society DL) BibTeX

Distributed Algorithms

Klaus Schossmaier, Bettina Weiss:
An Algorithm for Fault-Tolerant Clock State and Rate Synchronization. 36-47
Electronic Edition (IEEE Computer Society DL) BibTeX
Carole Delporte-Gallet, Hugues Fauconnier:
Real-Time Fault-Tolerant Atomic Broadcast. 48-55
Electronic Edition (IEEE Computer Society DL) BibTeX
Michel Hurfin, Raimundo A. Macêdo, Michel Raynal, Frederic Tronel:
A General Framework to Solve Agreement Problems. 56-65
Electronic Edition (IEEE Computer Society DL) BibTeX

Formal Methods

Peter Herrmann, Heiko Krumm:
Formal Hazard Analysis of Hybrid Systems in cTLA. 68-77
Electronic Edition (IEEE Computer Society DL) BibTeX
Hamdan Dammag, Nimal Nissanke:
Safecharts for Specifying and Designing Safety Critical Systems. 78-87
Electronic Edition (IEEE Computer Society DL) BibTeX

Replication Techniques

Anne-Marie Déplanche, Pierre-Yves Théaudière, Yvon Trinquet:
Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive. 90-101
Electronic Edition (IEEE Computer Society DL) BibTeX
Takao Yamashita, Satoshi Ono:
View Divergence Control of Replicated Data using Update Delay Estimation. 102-111
Electronic Edition (IEEE Computer Society DL) BibTeX
Claus Hagen, Gustavo Alonso:
Highly Available Process Support Systems: Implementing Backup Mechanisms. 112-121
Electronic Edition (IEEE Computer Society DL) BibTeX

Scalability

Roy Friedman, Shiri Manor, Katherine Guo:
Scalable Stability Detection using Logical Hypercube. 124-133
Electronic Edition (IEEE Computer Society DL) BibTeX
Dahlia Malkhi, Yishay Mansour, Michael K. Reiter:
On Diffusing Updates in a Byzantine Environment. 134-143
Electronic Edition (IEEE Computer Society DL) BibTeX
Richard A. Golding, Elizabeth Borowsky:
Fault-Tolerant Replication Management in Large-Scale Distributed Storage Systems. 144-155
Electronic Edition (IEEE Computer Society DL) BibTeX

Failure Analysis

Sherif M. Yacoub, Bojan Cukic, Hany H. Ammar:
A Component-based Approach to Reliability Analysis of Distributed Systems. 158-167
Electronic Edition (IEEE Computer Society DL) BibTeX
Michel Cukier, Ramesh Chandra, David Henke, Jessica Pistole, William H. Sanders:
Fault Injection based on a Partial View of the Global State of a Distributed System. 168-177
Electronic Edition (IEEE Computer Society DL) BibTeX
M. Kalyanakrishnam, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
Failure Data Analysis of a LAN of Windows NT based Computers. 178-187
Electronic Edition (IEEE Computer Society DL) BibTeX

System Support

Yoshitake Shinkai, Yoshihiro Tsuchiya, Takeo Murakami, Jim Williams:
HAMFS File System. 190-201
Electronic Edition (IEEE Computer Society DL) BibTeX
Angkul Kongmunvattana, Nian-Feng Tzeng:
Logging and Recovery in Adaptive Software Distributed Shared Memory Systems. 202-211
Electronic Edition (IEEE Computer Society DL) BibTeX
Nagarajan Kandasamy, John P. Hayes, Brian T. Murray:
Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded Systems. 212-221
Electronic Edition (IEEE Computer Society DL) BibTeX

Logging and Checkpointing

Mangesh Kasbekar, Chita R. Das, Shalini Yajnik, Reinhard Klemm, Yennun Huang:
Issues in the Design of a Reflective Library for Checkpointing C++ Objects. 224-233
Electronic Edition (IEEE Computer Society DL) BibTeX
Om P. Damani, Ashis Tarafdar, Vijay K. Garg:
Optimistic Recovery in Multi-threaded Distributed Systems. 234-243
Electronic Edition (IEEE Computer Society DL) BibTeX
Kuo-Feng Ssu, Bin Yao, W. Kent Fuchs:
An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging. 244-252
Electronic Edition (IEEE Computer Society DL) BibTeX

CORBA

Lau Cheuk Lung, Joni da Silva Fraga, Jean-Marie Farines, Michael Ogg, Aleta Ricciardi:
CosNamingFT - A Fault-Tolerant CORBA Naming Service. 254-262
Electronic Edition (IEEE Computer Society DL) BibTeX
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. 263-273
Electronic Edition (IEEE Computer Society DL) BibTeX
Aad P. A. van Moorsel:
The 'QoS Query Service' for Improved Quality-of-Service Decision Making in CORBA. 274-285
Electronic Edition (IEEE Computer Society DL) BibTeX

Work in Progress (Fast Abstracts)

Jesús E. Villadangos, Federico Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, José M. Bernabéu-Aubán, Gottfried Vossen:
Resolving Distributed Deadlocks in the OR Request Model. 288-289
Electronic Edition (IEEE Computer Society DL) BibTeX
Eugene Gendelman, Lubomir Bic, Michael B. Dillencourt:
An Efficient Checkpointing Algorithm for Distributed Systems Implementing Reliable Communication Channels. 290-291
Electronic Edition (IEEE Computer Society DL) BibTeX
Pascal Chevochot, Isabelle Puaut:
An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems. 292-293
Electronic Edition (IEEE Computer Society DL) BibTeX
Luc Bellissard, Noel De Palma, André Freyssinet, M. Herrmann, Serge Lacourte:
An Agent Platform for Reliable Asynchronous Distributed Programming. 294-295
Electronic Edition (IEEE Computer Society DL) BibTeX
Alexey Vaysburd, Shalini Yajnik:
Exactly-Once End-to-End Semantics in CORBA Invocations across Heterogeneous Fault-Tolerant ORBs. 296-297
Electronic Edition (IEEE Computer Society DL) BibTeX
Soojung Lee, Yoonjoon Lee:
A Distributed Algorithm for Deadlock Detection under OR-request Model. 298-299
Electronic Edition (IEEE Computer Society DL) BibTeX
José Carlos Campelo, Francisco Rodríguez, Pedro J. Gil, Juan José Serrano:
Design and Validation of a Distributed Industrial Control System's Nodes. 300-301
Electronic Edition (IEEE Computer Society DL) BibTeX
Leïla Azouz Saïdane, Farouk Kamoun:
Performance Evaluation of the Circulating Multisequencer and the Consensus Algorithms in a Real-Time Distributed Transactional System. 302-303
Electronic Edition (IEEE Computer Society DL) BibTeX
JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi:
Database Replication: If You Must be Lazy, be Consistent. 304-305
Electronic Edition (IEEE Computer Society DL) BibTeX
Ting Liu, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
A Software Multilevel Fault Injection Mechanism: Case Study Evaluating the Virtual Interface Architecture. 306-307
Electronic Edition (IEEE Computer Society DL) BibTeX

Workshop on Reliable Middleware (Wremi)

Pascal Felber, Rachid Guerraoui:
Workshop on Reliable Middleware - Foreword. 309
Electronic Edition (IEEE Computer Society DL) BibTeX
Werner Froidevaux, Stephan Murer, Martin Prater:
The Mainframe as a High-Available, Highly Scalable CORBA Platform. 310-315
Electronic Edition (IEEE Computer Society DL) BibTeX
Mark C. Little, Santosh K. Shrivastava:
A Method for Combining Replication with Caching. 316-321
Electronic Edition (IEEE Computer Society DL) BibTeX
Alexey Vaysburd:
Fault Tolerance in Three-Tier Applications: Focusing on the Database Tier. 322-327
Electronic Edition (IEEE Computer Society DL) BibTeX

Workshop on Electronic Commerce (Welcom)

Sebastian Staamann, Uwe G. Wilhelm:
Workshop on Electronic Commerce - Foreword. 329
Electronic Edition (IEEE Computer Society DL) BibTeX
Frédéric Bapst, Christine Vanoirbeek:
XML Documents Production for an Electronic Platform of Requests for Proposals. 330-335
Electronic Edition (IEEE Computer Society DL) BibTeX
Alexander Marton, Giacomo Piccinelli, Chris Turfin:
Service Provision and Composition in Virtual Business Communities. 336-341
Electronic Edition (IEEE Computer Society DL) BibTeX
Ulrich Fiedler, Bernhard Plattner, Gustavo Alonso:
Quality of Service in Business-to-Business E-Commerce Applications. 342-347
Electronic Edition (IEEE Computer Society DL) BibTeX
Andreas Bartelt, Jochen Meyer:
A Practical Guideline to the Implementation of Online Shops. 348-353
Electronic Edition (IEEE Computer Society DL) BibTeX
Felix C. Gärtner, Henning Pagnia, Holger Vogt:
Approaching a Formal Definition of Fairness in Electronic Commerce. 354-359
Electronic Edition (IEEE Computer Society DL) BibTeX
Kornelia Konrad, Gerhard Fuchs, Jochen Barthel:
Trust and Electronic Commerce - More than a Technical Problem. 360-365
Electronic Edition (IEEE Computer Society DL) BibTeX
Rolf Oppliger:
Authorization Methods for E-Commerce Applications. 366-371
Electronic Edition (IEEE Computer Society DL) BibTeX
Jan Zöllner:
Gateways to Overcome Incompatibilities of Security Mechanisms. 372-377
Electronic Edition (IEEE Computer Society DL) BibTeX
Paulo Marques, Luís Moura Silva, João Gabriel Silva:
Security Mechanisms for using Mobile Agents in Electronic Commerce. 378-383
Electronic Edition (IEEE Computer Society DL) BibTeX
Levente Buttyán, Jean-Pierre Hubaux:
Accountable Anonymous Access to Services in Mobile Communication Systems. 384-389
Electronic Edition (IEEE Computer Society DL) BibTeX
Fabio Panzieri, Santosh K. Shrivastava:
On the Provision of Replicated Internet Auction Services. 390-395
Electronic Edition (IEEE Computer Society DL) BibTeX
Ann-Byrd Platt:
The Usability Risk. 396-400
Electronic Edition (IEEE Computer Society DL) BibTeX