![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
18. SRDS 1999: Lausanne, Switzerland
- The Eighteenth Symposium on Reliable Distributed Systems, SRDS 1999, Lausanne, Switzerland, October 19-22, 1999, Proceedings. IEEE Computer Society 1999, ISBN 0-7695-0290-3
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, Marc 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.