Search dblp for Publications

export results for "toc:db/conf/srds/srds93.bht:"

 download as .bib file

@inproceedings{DBLP:conf/srds/ChangLLW93,
  author       = {Yu Lo Cyrus Chang and
                  Leslie C. Lander and
                  Horng{-}Shing Lu and
                  Martin T. Wells},
  title        = {Bayesian Analysis for Fault Location in Homogeneous Distributed Systems},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {44--53},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393474},
  doi          = {10.1109/RELDIS.1993.393474},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/ChangLLW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/DavidS93,
  author       = {Rasikan David and
                  Sang Hyuk Son},
  title        = {A Secure Two Phase Locking Protocol},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {126--135},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393466},
  doi          = {10.1109/RELDIS.1993.393466},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/DavidS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HiltunenS93,
  author       = {Matti A. Hiltunen and
                  Richard D. Schlichting},
  title        = {An Approach to Constructing Modular Fault-Tolerant Protocols},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {105--114},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393468},
  doi          = {10.1109/RELDIS.1993.393468},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/HiltunenS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/JahanianFR93,
  author       = {Farnam Jahanian and
                  Sameh A. Fakhouri and
                  Ragunathan Rajkumar},
  title        = {Processor Group Membership Protocols: Specification, Design, and Implementation},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {2--11},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393478},
  doi          = {10.1109/RELDIS.1993.393478},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/JahanianFR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/Johnson93,
  author       = {David B. Johnson},
  title        = {Efficient Transparent Optimistic Rollback Recovery for Distributed
                  Application Programs},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {86--95},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393470},
  doi          = {10.1109/RELDIS.1993.393470},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/Johnson93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/PetersonK93,
  author       = {S. L. Peterson and
                  Phil Kearns},
  title        = {Rollback Based on Vector Time},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {68--77},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393472},
  doi          = {10.1109/RELDIS.1993.393472},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/PetersonK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/RichardS93,
  author       = {Golden G. Richard III and
                  Mukesh Singhal},
  title        = {Using Logging and Asynchronous Checkpointing to Implement Recoverable
                  Distributed Shared Memory},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {58--67},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393473},
  doi          = {10.1109/RELDIS.1993.393473},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/RichardS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/SchepersG93,
  author       = {Henk Schepers and
                  Rob Gerth},
  title        = {A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed
                  Systems},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {34--43},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393475},
  doi          = {10.1109/RELDIS.1993.393475},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/SchepersG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/Schwenkreis93,
  author       = {Friedemann Schwenkreis},
  title        = {{APRICOTS} - {A} Prototype Implementation of a ConTract System: Management
                  of the Control Flow and the Communication System},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {12--21},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393477},
  doi          = {10.1109/RELDIS.1993.393477},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/Schwenkreis93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/ShiM93,
  author       = {Qi Shi and
                  John A. McDermid},
  title        = {Constructing Secure Distributed Systems Using Components},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {143--152},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393464},
  doi          = {10.1109/RELDIS.1993.393464},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/ShiM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/SoufiB93,
  author       = {Khaled S. Soufi and
                  Geneva G. Belford},
  title        = {An {O(1)} Quorum Consensus Protocol Tailored for the Client/Server
                  Architecture},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {98--104},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393469},
  doi          = {10.1109/RELDIS.1993.393469},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/SoufiB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/TsudikH93,
  author       = {Gene Tsudik and
                  Els Van Herreweghen},
  title        = {Some Remarks on Protecting Weak Keys and Poorly-Chosen Secrets from
                  Guessing Attacks},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {136--142},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393465},
  doi          = {10.1109/RELDIS.1993.393465},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/TsudikH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/VeeraraghavanT93,
  author       = {Malathi Veeraraghavan and
                  Kishor S. Trivedi},
  title        = {An Approach for Combinatorial Performance and Availability Analysis},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {24--33},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393476},
  doi          = {10.1109/RELDIS.1993.393476},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/VeeraraghavanT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/VerissimoCR93,
  author       = {Paulo Ver{\'{\i}}ssimo and
                  Ant{\'{o}}nio Casimiro and
                  Lu{\'{\i}}s E. T. Rodrigues},
  title        = {Using Atomic Broadcast to Implement a posteriori Agreement for Clock
                  Synchronization},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {115--124},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393467},
  doi          = {10.1109/RELDIS.1993.393467},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/VerissimoCR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/WangF93,
  author       = {Yi{-}Min Wang and
                  W. Kent Fuchs},
  title        = {Lazy Checkpointing Coordination for Bounding Rollback Propagation},
  booktitle    = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  pages        = {78--85},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/RELDIS.1993.393471},
  doi          = {10.1109/RELDIS.1993.393471},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/WangF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/srds/1993,
  title        = {12th Symposium on Reliable Distributed Systems, {SRDS} 1993, Princeton,
                  New Jersey, USA, October 6-8, 1993, Proceedings},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/3142/proceeding},
  isbn         = {0-8186-4310-2},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/srds/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics