CSDL - Proceedings S

Message from the Program Co-Chairs (PDF)

pp. x

Conference Committee (PDF)

pp. xi

Referees (PDF)

pp. xii

Invited Speaker

Reliability of Future Telephone Networks (Abstract)

Robert C.B. Cooper, Lucent Technologies

pp. 2

PDF

Session 1: Mobile Computing

Information Dissemination in Partitionable Mobile Ad Hoc Networks (Abstract)

Goutham Karumanchi, University of Texas at Dallas

Srinivasan Muralidharan, University of Texas at Dallas

Ravi Prakash, University of Texas at Dallas

pp. 4

PDF

Group Multicast in Distributed Mobile Systems with Unreliable Wireless Network (Abstract)

Giuseppe Anastasi, University of Pisa

Francesco Spadoni, University of Pisa

Alberto Bartoli, University of Trieste

pp. 14

PDF

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

PDF

Session 2: Distributed Algorithms

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

Klaus Schossmaier, Technische Universit?t Wien

Bettina Weiss, Technische Universit?t Wien

pp. 36

PDF

Real-Time Fault-Tolerant Atomic Broadcast (Abstract)

C. Delporte-Gallet, Universit? Denis Diderot

H. Fauconnier, Universit? Denis Diderot

pp. 48

PDF

A General Framework to Solve Agreement Problems (Abstract)

Michel Hurfin, Universit? de Beaulieu

Michel Raynal, Universit? de Beaulieu

Frédéric Tronel, Universit? de Beaulieu

Raimundo Macêdo, Universit? de Ondina

pp. 56

PDF

Session 3: Formal Methods

Formal Hazard Analysis of Hybrid Systems in cTLA (Abstract)

Peter Herrmann

Heiko Krumm

pp. 68

PDF

Safecharts for Specifying and Designing Safety Critical Systems (Abstract)

Hamdan Dammag, The University of Reading

Nimal Nissanke, The University of Reading

pp. 78

PDF

Session 4: Replication Techniques

Implementing a Semi-Active Replication Strategy in CHORUS/Classix, a Distributed Real-Time Executive (Abstract)

pp. 90

PDF

View Divergence Control of Replicated Data Using Update Delay Estimation (Abstract)

Takao Yamashita

Satoshi Ono

pp. 102

PDF

Highly Available Process Support Systems: Implementing Backup Mechanisms (Abstract)

Claus Hagen, Credit Suisse

Gustavo Alonso, ETH Z?

pp. 112

PDF

Session 5: Scalability

Scalable Stability Detection Using Logical Hypercube (Abstract)

Roy Friedman, Technion - Israel Institute of Technology

Shiri Manor, Technion - Israel Institute of Technology

Katherine Guo, Bell Laboratories

pp. 124

PDF

On Diffusing Updates in a Byzantine Environment (Abstract)

pp. 134

PDF

Fault-Tolerant Replication Management in Large-Scale Distributed Storage Systems (Abstract)

Richard Golding

Elizabeth Borowsky

pp. 144

PDF

Session 6: Failure Analysis

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

Sherif M. Yacoub, West Virginia University

Bojan Cukic, West Virginia University

Hany H. Ammar, West Virginia University

pp. 158

PDF

Fault Injection Based on a Partial View of the Global State of a Distributed System (Abstract)

pp. 168

PDF

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

M. Kalyanakrishnam, University of Illinois at Urbana-Champaign

Z. Kalbarczyk, University of Illinois at Urbana-Champaign

R. Iyer, University of Illinois at Urbana-Champaign

pp. 178

PDF

Session 7: System Support

HAMFS File System (Abstract)

Yoshitake Shinkai, Fujitsu Laboratories Limited

Yoshihiro Tsuchiya, Fujitsu Laboratories Limited

Takeo Murakami, Fujitsu Laboratories Limited

Jim Williams, Amdahl Corporation

pp. 190

PDF

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

Angkul Kongmunvattana, University of Southwestern Louisiana

Nian-Feng Tzeng, University of Southwestern Louisiana

pp. 202

PDF

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

Nagarajan Kandasamy, University of Michigan

John P. Hayes, University of Michigan

Brian T. Murray, Delphi Automotive Systems

pp. 212

PDF

Session 8: Logging and Checkpointing

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

Mangesh Kasbekar, Pennsylvania State University

Chita R. Das, Pennsylvania State University

Shalini Yajnik, Bell Laboratories, Lucent Technologies

Reinhard Klemm, Bell Laboratories, Lucent Technologies

Yennun Huang, AT&T Labs-Research,

pp. 224

PDF

Optimistic Recovery in Multi-Threaded Distributed Systems (Abstract)

pp. 234

PDF

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

Kuo-Feng Ssu, University of Illinois at Urbana-Champaign

Bin Yao, Purdue University

W. Kent Fuchs, Purdue University

pp. 244

PDF

Session 9: CORBA

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

Lau Cheuk Lung, University of Federal de Santa Catarina

Joni da Silva Fraga, University of Federal de Santa Catarina

Jean-Marie Farines, University of Federal de Santa Catarina

Michael Ogg, Bell Laboratories

Aleta Ricciardi, Bell Laboratories

pp. 254

PDF

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

P. Narasimhan, University of California at Santa Barbara

L.E. Moser, University of California at Santa Barbara

P.M. Melliar-Smith, University of California at Santa Barbara

pp. 263

PDF

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

PDF

Work in Progress (Fast Abstracts)

Resolving Distributed Deadlocks in the OR Request Model (Abstract)

J. Villadangos, University P?blica de Navarra

F. Fariña, University P?blica de Navarra

J.R. González de Mendívil, University P?blica de Navarra

J.R. Garitagoitia, University P?blica de Navarra

J. Bernabéu-Aubán, University Polit?cnica de Valencia

G. Vossen, Wilhems-University M?nster

pp. 288

PDF

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

Eugene Gendelman, University of California at Irvine

Lubomir F. Bic, University of California at Irvine

Michael B. Dillencourt, University of California at Irvine

pp. 290

PDF

An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems (Abstract)

Pascal Chevochot

Isabelle Puaut

pp. 292

PDF

An Agent Platform for Reliable Asynchronous Distributed Programming (Abstract)

L. Bellissard, INRIA Rh?ne-Alpes

N. de Palma, INRIA Rh?ne-Alpes

A. Freyssinet, INRIA Rh?ne-Alpes

M. Herrmann, INRIA Rh?ne-Alpes

S. Lacourte, INRIA Rh?ne-Alpes

pp. 294

PDF

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

PDF

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

Soojung Lee, Inchon National University of Education

Youngjun Lee, Kisan Telecom Company, Limited

pp. 298

PDF

Design and Validation of a Distributed Industrial Control System's Nodes (Abstract)

pp. 300

PDF

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

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

Farouk Kamoun, Ecole Nationale des Sciences de Informatique (E.N.S.I.)

pp. 302

PDF

Database Replication: If You Must be Lazy, be Consistent (Abstract)

pp. 304

PDF

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

Ting Liu, University of Illinois at Urbana-Champaign

Zbignew Kalbarczyk, University of Illinois at Urbana-Champaign

Ravishankar K. Iyer, University of Illinois at Urbana-Champaign

pp. 306

PDF

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

PDF

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

Werner Froidevaux, Object Middleware Experts AG

Stephan Murer, Credit Suisse

Martin Prater, Credit Suisse

pp. 310

PDF

A Method for Combining Replication with Caching (Abstract)

M.C. Little, Newcastle University

S.K. Shrivastava, Newcastle University

pp. 316

PDF

Fault Tolerance in Three-Tier Applications: Focusing on the Database Tier (Abstract)

Alexey Vaysburd, Lucent Technologies, Bell Laboratories

pp. 322

PDF

Workshop on Electronic Commerce (Welcom)

Workshop on Electronic Commerce (Abstract)

Sebastian Staamann, Swiss Federal Institute of Technology

Uwe Wilhelm, Swiss Federal Institute of Technology

pp. 329

PDF

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

Frédéric Bapst, Swiss Federal Institute of Technology

Christine Vanoirbeek, Swiss Federal Institute of Technology

pp. 330

PDF

Service Provision and Composition in Virtual Business Communities (Abstract)

Alexander Marton, Hewlett-Packard Laboratories

Giacomo Piccinelli, Hewlett-Packard Laboratories

Chris Turfin, Hewlett-Packard Laboratories

pp. 336

PDF

Quality of Service in Business-to-Business E-Commerce Applications (Abstract)

Ulrich Fiedler, ETH Z?

Bernhard Plattner, ETH Z?

Gustavo Alonso, ETH Z?

pp. 342

PDF

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

Andreas Bartelt, Oldenburger Forschungs - und Entwicklungsinstitut

Jochen Meyer, Oldenburger Forschungs - und Entwicklungsinstitut

pp. 348

PDF

Approaching a Formal Definition of Fairness in Electronic Commerce (Abstract)

pp. 354

PDF

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

Kornelia Konrad, Technical University of Darmstadt

Gerhard Fuchs, Center of Technology Assessment in Baden-W?rttemberg

Jochen Barthel, Center of Technology Assessment in Baden-W?rttemberg

pp. 360

PDF

Authorization Methods for E-Commerce Applications (Abstract)

Rolf Opplinger, Swiss Federal Strategy Unit for Information Technology

pp. 366

PDF

Gateways to Overcome Incompatibilities of Security Mechanisms (Abstract)

J. Zöllner, Dresden University of Technology

pp. 372

PDF

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

Paulo Jorge Marques, Universidade de Coimbra

Luís Moura Silva, Universidade de Coimbra

João Gabriel Silva, Universidade de Coimbra

pp. 378

PDF

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

Levente Buttyán, Swiss Federal Institute of Technology

Jean-Pierre Hubaux, Swiss Federal Institute of Technology

pp. 384

PDF

On the Provision of Replicated Internet Auction Services (Abstract)

F. Panzieri, Universit? di Bologna

S.K. Shrivastava, University of Newcastle upon Tyne

pp. 390

PDF

The Usability Risk (Abstract)

Ann-Byrd Platt

pp. 396

PDF

Index of Authors (PDF)

pp. 401