The Community for Technology Leaders
Reliable Distributed Systems, IEEE Symposium on (1999)
Lausanne, Switzerland
Oct. 18, 1999 to Oct. 21, 1999
ISSN: 1060-9857
ISBN: 0-7695-0290-3
TABLE OF CONTENTS

Referees (PDF)

pp. xii
Invited Speaker
Session 1: Mobile Computing

Information Dissemination in Partitionable Mobile Ad Hoc Networks (Abstract)

Srinivasan Muralidharan , University of Texas at Dallas
Ravi Prakash , University of Texas at Dallas
Goutham Karumanchi , University of Texas at Dallas
pp. 4

Improving Level of Service for Mobile Users Using Context-Awareness (Abstract)

P. Couderc , Universitaire de Beaulieu
A.-M. Kermarrec , University Of Rennes 1
pp. 24
Session 2: Distributed Algorithms

An Algorithm for Fault-Tolerant Clock State and Rate Synchronization (Abstract)

Bettina Weiss , Technische Universit?t Wien
Klaus Schossmaier , Technische Universit?t Wien
pp. 36

Real-Time Fault-Tolerant Atomic Broadcast (Abstract)

C. Delporte-Gallet , Universit? Denis Diderot
H. Fauconnier , Universit? Denis Diderot
pp. 48

A General Framework to Solve Agreement Problems (Abstract)

Michel Raynal , Universit? de Beaulieu
Frédéric Tronel , Universit? de Beaulieu
Raimundo Macêdo , Universit? de Ondina
Michel Hurfin , Universit? de Beaulieu
pp. 56
Session 3: Formal Methods

Safecharts for Specifying and Designing Safety Critical Systems (Abstract)

Nimal Nissanke , The University of Reading
Hamdan Dammag , The University of Reading
pp. 78
Session 4: Replication Techniques
Session 5: Scalability

Scalable Stability Detection Using Logical Hypercube (Abstract)

Shiri Manor , Technion - Israel Institute of Technology
Katherine Guo , Bell Laboratories
Roy Friedman , Technion - Israel Institute of Technology
pp. 124
Session 6: Failure Analysis

A Component-Based Approach to Reliability Analysis of Distributed Systems (Abstract)

Bojan Cukic , West Virginia University
Hany H. Ammar , West Virginia University
Sherif M. Yacoub , West Virginia University
pp. 158

Failure Data Analysis of a LAN of Windows NT Based Computers (Abstract)

R. Iyer , University of Illinois at Urbana-Champaign
Z. Kalbarczyk , University of Illinois at Urbana-Champaign
M. Kalyanakrishnam , University of Illinois at Urbana-Champaign
pp. 178
Session 7: System Support

HAMFS File System (Abstract)

Yoshihiro Tsuchiya , Fujitsu Laboratories Limited
Jim Williams , Amdahl Corporation
Takeo Murakami , Fujitsu Laboratories Limited
Yoshitake Shinkai , Fujitsu Laboratories Limited
pp. 190

Logging and Recovery in Adaptive Software Distributed Shared Memory Systems (Abstract)

Nian-Feng Tzeng , University of Southwestern Louisiana
Angkul Kongmunvattana , University of Southwestern Louisiana
pp. 202

Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded Systems (Abstract)

Nagarajan Kandasamy , University of Michigan
Brian T. Murray , Delphi Automotive Systems
John P. Hayes , University of Michigan
pp. 212
Session 8: Logging and Checkpointing

Issues in the Design of a Reflective Library for Checkpointing C++ Objects (Abstract)

Yennun Huang , AT&T Labs-Research,
Mangesh Kasbekar , Pennsylvania State University
Chita R. Das , Pennsylvania State University
Shalini Yajnik , Bell Laboratories, Lucent Technologies
Reinhard Klemm , Bell Laboratories, Lucent Technologies
pp. 224

An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging (Abstract)

Bin Yao , Purdue University
Kuo-Feng Ssu , University of Illinois at Urbana-Champaign
W. Kent Fuchs , Purdue University
pp. 244
Session 9: CORBA

CosNamingFT ? A Fault-Tolerant CORBA Naming Service (Abstract)

Joni da Silva Fraga , University of Federal de Santa Catarina
Aleta Ricciardi , Bell Laboratories
Jean-Marie Farines , University of Federal de Santa Catarina
Michael Ogg , Bell Laboratories
Lau Cheuk Lung , University of Federal de Santa Catarina
pp. 254

Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications (Abstract)

L.E. Moser , University of California at Santa Barbara
P.M. Melliar-Smith , University of California at Santa Barbara
P. Narasimhan , University of California at Santa Barbara
pp. 263

The 'QoS Query Service' for Improved Quality-of-Service Decision Making in CORBA (Abstract)

Aad P.A. Van Moorsel , Bell Laboratories Research, Lucent Technologies
pp. 274
Work in Progress (Fast Abstracts)

Resolving Distributed Deadlocks in the OR Request Model (Abstract)

F. Fariña , University P?blica de Navarra
J.R. Garitagoitia , University P?blica de Navarra
J. Bernabéu-Aubán , University Polit?cnica de Valencia
J.R. González de Mendívil , University P?blica de Navarra
J. Villadangos , University P?blica de Navarra
G. Vossen , Wilhems-University M?nster
pp. 288

An Efficient Checkpointing Algorithm for Distributed Systems Implementing Reliable Communication Channels (Abstract)

Michael B. Dillencourt , University of California at Irvine
Lubomir F. Bic , University of California at Irvine
Eugene Gendelman , University of California at Irvine
pp. 290

An Agent Platform for Reliable Asynchronous Distributed Programming (Abstract)

L. Bellissard , INRIA Rh?ne-Alpes
S. Lacourte , INRIA Rh?ne-Alpes
M. Herrmann , INRIA Rh?ne-Alpes
A. Freyssinet , INRIA Rh?ne-Alpes
N. de Palma , INRIA Rh?ne-Alpes
pp. 294

Exactly-Once End-to-End Semantics in CORBA Invocations Across Heterogeneous Fault-Tolerant ORBs (Abstract)

Alexey Vaysburd , Lucent Technologies, Bell Laboratories
Shalini Yajnik , Lucent Technologies, Bell Laboratories
pp. 296

A Distributed Algorithm for Deadlock Detection under OR-Request Model (Abstract)

Youngjun Lee , Kisan Telecom Company, Limited
Soojung Lee , Inchon National University of Education
pp. 298

Performance Evaluation of the Circulating Multisequencer and the Consensus Algorithms in a Real-Time Distributed Transactional System (Abstract)

Farouk Kamoun , Ecole Nationale des Sciences de Informatique (E.N.S.I.)
Leïla Azouz Saïdane , Ecole Nationale des Sciences de Informatique (E.N.S.I.)
pp. 302

A Software Multilevel Fault Injection Mechanism: Case Study Evaluating the Virtual Interface Architecture (Abstract)

Zbignew Kalbarczyk , University of Illinois at Urbana-Champaign
Ravishankar K. Iyer , University of Illinois at Urbana-Champaign
Ting Liu , University of Illinois at Urbana-Champaign
pp. 306
Workshop on Reliable Middleware (Wremi)

Workshop on Reliable Middleware (Abstract)

Pascal Felber , Oracle Corporation
Rachid Guerraoui , Swiss Federal Institute of Technology and Hewlett-Packard Laboratories
pp. 309

The Mainframe as a High-Available, Highly Scalable CORBA Platform (Abstract)

Werner Froidevaux , Object Middleware Experts AG
Martin Prater , Credit Suisse
Stephan Murer , Credit Suisse
pp. 310

A Method for Combining Replication with Caching (Abstract)

M.C. Little , Newcastle University
S.K. Shrivastava , Newcastle University
pp. 316
Workshop on Electronic Commerce (Welcom)

Workshop on Electronic Commerce (Abstract)

Uwe Wilhelm , Swiss Federal Institute of Technology
Sebastian Staamann , Swiss Federal Institute of Technology
pp. 329

XML Documents Production for an Electronic Platform of Requests for Proposals (Abstract)

Christine Vanoirbeek , Swiss Federal Institute of Technology
Frédéric Bapst , Swiss Federal Institute of Technology
pp. 330

Service Provision and Composition in Virtual Business Communities (Abstract)

Giacomo Piccinelli , Hewlett-Packard Laboratories
Alexander Marton , Hewlett-Packard Laboratories
Chris Turfin , Hewlett-Packard Laboratories
pp. 336

A Practical Guideline to the Implementation of Online Shops (Abstract)

Andreas Bartelt , Oldenburger Forschungs - und Entwicklungsinstitut
Jochen Meyer , Oldenburger Forschungs - und Entwicklungsinstitut
pp. 348

Trust and Electronic Commerce ? More than a Technical Problem (Abstract)

Kornelia Konrad , Technical University of Darmstadt
Jochen Barthel , Center of Technology Assessment in Baden-W?rttemberg
Gerhard Fuchs , Center of Technology Assessment in Baden-W?rttemberg
pp. 360

Authorization Methods for E-Commerce Applications (Abstract)

Rolf Opplinger , Swiss Federal Strategy Unit for Information Technology
pp. 366

Gateways to Overcome Incompatibilities of Security Mechanisms (Abstract)

J. Zöllner , Dresden University of Technology
pp. 372

Security Mechanisms for Using Mobile Agents in Electronic Commerce (Abstract)

João Gabriel Silva , Universidade de Coimbra
Luís Moura Silva , Universidade de Coimbra
Paulo Jorge Marques , Universidade de Coimbra
pp. 378

Accountable Anonymous Access to Services in Mobile Communication Systems (Abstract)

Jean-Pierre Hubaux , Swiss Federal Institute of Technology
Levente Buttyán , Swiss Federal Institute of Technology
pp. 384

On the Provision of Replicated Internet Auction Services (Abstract)

S.K. Shrivastava , University of Newcastle upon Tyne
F. Panzieri , Universit? di Bologna
pp. 390

Index of Authors (PDF)

pp. 401
104 ms
(Ver 3.1 (10032016))