18. SRDS 1999: Lausanne, Switzerland

Invited Speaker

• Robert C. B. Cooper:
  Reliability of Future Telephone Networks. 2
  

Mobile Computing

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

Distributed Algorithms

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

Formal Methods

• Peter Herrmann, Heiko Krumm:
  Formal Hazard Analysis of Hybrid Systems in cTLA. 68-77
  
• Hamdan Dammag, Nimal Nissanke:
  Safecharts for Specifying and Designing Safety Critical Systems. 78-87
  

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
  
• Takao Yamashita, Satoshi Ono:
  View Divergence Control of Replicated Data using Update Delay Estimation. 102-111
  
• Claus Hagen, Gustavo Alonso:
  Highly Available Process Support Systems: Implementing Backup Mechanisms. 112-121
  

Scalability

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

Failure Analysis

• Sherif M. Yacoub, Bojan Cukic, Hany H. Ammar:
  A Component-based Approach to Reliability Analysis of Distributed Systems. 158-167
  
• 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
  
• M. Kalyanakrishnam, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
  Failure Data Analysis of a LAN of Windows NT based Computers. 178-187
  

System Support

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

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
  
• Om P. Damani, Ashis Tarafdar, Vijay K. Garg:
  Optimistic Recovery in Multi-threaded Distributed Systems. 234-243
  
• Kuo-Feng Ssu, Bin Yao, W. Kent Fuchs:
  An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging. 244-252
  

CORBA

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

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
  
• Eugene Gendelman, Lubomir Bic, Michael B. Dillencourt:
  An Efficient Checkpointing Algorithm for Distributed Systems Implementing Reliable Communication Channels. 290-291
  
• Pascal Chevochot, Isabelle Puaut:
  An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems. 292-293
  
• Luc Bellissard, Noel De Palma, André Freyssinet, M. Herrmann, Serge Lacourte:
  An Agent Platform for Reliable Asynchronous Distributed Programming. 294-295
  
• Alexey Vaysburd, Shalini Yajnik:
  Exactly-Once End-to-End Semantics in CORBA Invocations across Heterogeneous Fault-Tolerant ORBs. 296-297
  
• Soojung Lee, Yoonjoon Lee:
  A Distributed Algorithm for Deadlock Detection under OR-request Model. 298-299
  
• 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
  
• 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
  
• JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi:
  Database Replication: If You Must be Lazy, be Consistent. 304-305
  
• Ting Liu, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
  A Software Multilevel Fault Injection Mechanism: Case Study Evaluating the Virtual Interface Architecture. 306-307
  

Workshop on Reliable Middleware (Wremi)

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

Workshop on Electronic Commerce (Welcom)

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

Last update Thu May 23 06:53:02 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page