Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. SRDS 1993: Princeton, New Jersey, USA
- 12th Symposium on Reliable Distributed Systems, SRDS 1993, Princeton, New Jersey, USA, October 6-8, 1993, Proceedings. IEEE Computer Society 1993, ISBN 0-8186-4310-2
Prototype Systems
- Farnam Jahanian, Sameh A. Fakhouri, Ragunathan Rajkumar:
Processor Group Membership Protocols: Specification, Design, and Implementation. 2-11 - Friedemann Schwenkreis:
APRICOTS - A Prototype Implementation of a ConTract System: Management of the Control Flow and the Communication System. 12-21
Mathematical Techniques
- Malathi Veeraraghavan, Kishor S. Trivedi:
An Approach for Combinatorial Performance and Availability Analysis. 24-33 - Henk Schepers, Rob Gerth:
A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. 34-43 - Yu Lo Cyrus Chang, Leslie C. Lander, Horng-Shing Lu, Martin T. Wells:
Bayesian Analysis for Fault Location in Homogeneous Distributed Systems. 44-53
Checkpointing
- Golden G. Richard III, Mukesh Singhal:
Using Logging and Asynchronous Checkpointing to Implement Recoverable Distributed Shared Memory. 58-67 - S. L. Peterson, Phil Kearns:
Rollback Based on Vector Time. 68-77 - Yi-Min Wang, W. Kent Fuchs:
Lazy Checkpointing Coordination for Bounding Rollback Propagation. 78-85 - David B. Johnson:
Efficient Transparent Optimistic Rollback Recovery for Distributed Application Programs. 86-95
Agreement Protocols
- Khaled S. Soufi, Geneva G. Belford:
An O(1) Quorum Consensus Protocol Tailored for the Client/Server Architecture. 98-104 - Matti A. Hiltunen, Richard D. Schlichting:
An Approach to Constructing Modular Fault-Tolerant Protocols. 105-114 - Paulo Veríssimo, António Casimiro
, Luís E. T. Rodrigues:
Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. 115-124
Security
- Rasikan David, Sang Hyuk Son:
A Secure Two Phase Locking Protocol. 126-135 - Gene Tsudik, Els Van Herreweghen:
Some Remarks on Protecting Weak Keys and Poorly-Chosen Secrets from Guessing Attacks. 136-142 - Qi Shi, John A. McDermid:
Constructing Secure Distributed Systems Using Components. 143-152
a service of 
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.
last updated on 2024-05-13 20:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
