Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/dsn/dsn2003.bht:"
@inproceedings{DBLP:conf/dsn/AdemajSBT03, author = {Astrit Ademaj and H{\aa}kan Sivencrona and G{\"{u}}nther Bauer and Jan Torin}, title = {Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {123--132}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209924}, doi = {10.1109/DSN.2003.1209924}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/AdemajSBT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/AidemarkVFK03, author = {Joakim Aidemark and Jonny Vinter and Peter Folkesson and Johan Karlsson}, title = {{GOOFI:} Generic Object-Oriented Fault Injection Tool}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {668}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209977}, doi = {10.1109/DSN.2003.1209977}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/AidemarkVFK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/AmirCMST03, author = {Yair Amir and Ryan Caudy and Ashima Munjal and Theo Schlossnagle and Ciprian Tutu}, title = {N-Way Fail-Over Infrastructure for Reliable Servers and Routers}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {403--412}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209951}, doi = {10.1109/DSN.2003.1209951}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/AmirCMST03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/AmirD03, author = {Yair Amir and Claudiu Danilov}, title = {Reliable Communication in Overlay Networks}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {511--520}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209961}, doi = {10.1109/DSN.2003.1209961}, timestamp = {Thu, 07 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/AmirD03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/AroraZ03, author = {Anish Arora and Hongwei Zhang}, title = {{LSRP:} Local Stabilization in Shortest Path Routing}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {139--148}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209925}, doi = {10.1109/DSN.2003.1209925}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/AroraZ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BackesC03, author = {Michael Backes and Christian Cachin}, title = {Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {37--46}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209914}, doi = {10.1109/DSN.2003.1209914}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BackesC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BaoST03, author = {Yujuan Bao and Xiaobai Sun and Kishor S. Trivedi}, title = {Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {241--248}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209934}, doi = {10.1109/DSN.2003.1209934}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BaoST03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BasileKI03, author = {Claudio Basile and Zbigniew Kalbarczyk and Ravishankar K. Iyer}, title = {A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {149--158}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209926}, doi = {10.1109/DSN.2003.1209926}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BasileKI03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BertierMS03, author = {Marin Bertier and Olivier Marin and Pierre Sens}, title = {Performance Analysis of a Hierarchical Failure Detector}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {635--644}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209973}, doi = {10.1109/DSN.2003.1209973}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BertierMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BholaZA03, author = {Sumeer Bhola and Yuanyuan Zhao and Joshua S. Auerbach}, title = {Scalably Supporting Durable Subscriptions in a Publish/Subscribe System}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {57--66}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209916}, doi = {10.1109/DSN.2003.1209916}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BholaZA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/Binns03, author = {Pam Binns}, title = {Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {573--582}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209967}, doi = {10.1109/DSN.2003.1209967}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/Binns03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BloomfieldL03, author = {Robin E. Bloomfield and Bev Littlewood}, title = {Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {25--34}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209913}, doi = {10.1109/DSN.2003.1209913}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BloomfieldL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BohnenkampCDDHKKLS03, author = {Henrik C. Bohnenkamp and Tod Courtney and David Daly and Salem Derisavi and Holger Hermanns and Joost{-}Pieter Katoen and Ric Klaren and Vinh Vi Lam and William H. Sanders}, title = {On Integrating the M{\"{O}}BIUS and {MODEST} Modeling Tools}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {671}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209980}, doi = {10.1109/DSN.2003.1209980}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/BohnenkampCDDHKKLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BohnenkampSHV03, author = {Henrik C. Bohnenkamp and Peter van der Stok and Holger Hermanns and Frits W. Vaandrager}, title = {Cost-Optimization of the IPv4 Zeroconf Protocol}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {531--540}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209963}, doi = {10.1109/DSN.2003.1209963}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/BohnenkampSHV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BuchackerCHKST03, author = {Kerstin Buchacker and Mario Dal Cin and Hans{-}J{\"{o}}rg H{\"{o}}xer and Roland Karch and Volkmar Sieh and Oliver Tsch{\"{a}}che}, title = {Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {469--478}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209957}, doi = {10.1109/DSN.2003.1209957}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BuchackerCHKST03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BuchackerCHSTW03, author = {Kerstin Buchacker and Mario Dal Cin and Hans{-}J{\"{o}}rg H{\"{o}}xer and Volkmar Sieh and Oliver Tsch{\"{a}}che and Martin Waitz}, title = {Hardware Fault Injection with UMLinux}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {670}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209979}, doi = {10.1109/DSN.2003.1209979}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BuchackerCHSTW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/Carrasco03, author = {Juan A. Carrasco}, title = {Validation of Approximate Dependability Models of a {RAID} Architecture with Orthogonal Organization}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {699--708}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209985}, doi = {10.1109/DSN.2003.1209985}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/Carrasco03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ChenGKT03, author = {Dongyan Chen and Sachin Garg and Chandra M. R. Kintala and Kishor S. Trivedi}, title = {Dependability Enhancement for {IEEE} 802.11 Wireless {LAN} with Redundancy Techniques}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {521--528}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209962}, doi = {10.1109/DSN.2003.1209962}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ChenGKT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ChenKXI03, author = {Shuo Chen and Zbigniew Kalbarczyk and Jun Xu and Ravishankar K. Iyer}, title = {A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {605--614}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209970}, doi = {10.1109/DSN.2003.1209970}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ChenKXI03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ChessaM03, author = {Stefano Chessa and Piero Maestrini}, title = {Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {207--216}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209931}, doi = {10.1109/DSN.2003.1209931}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ChessaM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ClarkeFG03, author = {Edmund M. Clarke and Masahiro Fujita and David P. Gluch}, title = {Model Checking for Dependable Software-Intensive Systems}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {764}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.ieeecomputersociety.org/10.1109/DSN.2003.10001}, doi = {10.1109/DSN.2003.10001}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ClarkeFG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/DasW03, author = {Olivia Das and C. Murray Woodside}, title = {Dependable {LQNS:} {A} Performability Modeling Tool for Layered Systems}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {672}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209981}, doi = {10.1109/DSN.2003.1209981}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/DasW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/DeconinckFBDS03, author = {Geert Deconinck and Vincenzo De Florio and Ronnie Belmans and Giovanna Dondossola and Judit Szanto}, title = {Integrating Recovery Strategies into a Primary Substation Automation System}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {80--85}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209919}, doi = {10.1109/DSN.2003.1209919}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/DeconinckFBDS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/DorseyS03, author = {John G. Dorsey and Daniel P. Siewiorek}, title = {The Design of Wearable Systems: {A} Shift in Development Effort}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {273--280}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209937}, doi = {10.1109/DSN.2003.1209937}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/DorseyS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/DuraesM03, author = {Jo{\~{a}}o Dur{\~{a}}es and Henrique Madeira}, title = {Definition of Software Fault Emulation Operators: {A} Field Data Study}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {105--114}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209922}, doi = {10.1109/DSN.2003.1209922}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/DuraesM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/EjlaliMZAS03, author = {Ali Reza Ejlali and Seyed Ghassem Miremadi and Hamid R. Zarandi and Ghazanfar Asadi and Siavash Bayat Sarmadi}, title = {A Hybrid Fault Injection Approach Based on Simulation and Emulation Co-operation}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {479--488}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209958}, doi = {10.1109/DSN.2003.1209958}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/EjlaliMZAS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/EngelhardGG03, author = {Felix Engelhard and Stefan Greiner and Reinhard German}, title = {ParEs - {A} Parameter-Estimation-Tool}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {583--592}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209968}, doi = {10.1109/DSN.2003.1209968}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/EngelhardGG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/Fancong03, author = {Zeng Fancong}, title = {Deadlock Resolution via Exceptions for Dependable Java Applications}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {731--740}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209988}, doi = {10.1109/DSN.2003.1209988}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/Fancong03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/FetzerHF03, author = {Christof Fetzer and Karin H{\"{o}}gstedt and Pascal Felber}, title = {Automatic Detection and Masking of Non-Atomic Exception Handling}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {445--454}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209955}, doi = {10.1109/DSN.2003.1209955}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/FetzerHF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/FetzerX03, author = {Christof Fetzer and Zhen Xiao}, title = {{HEALERS:} {A} Toolkit for Enhancing the Robustness and Security of Existing Applications}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {317--322}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209942}, doi = {10.1109/DSN.2003.1209942}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/FetzerX03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/FuMNNRW03, author = {Chen Fu and Richard P. Martin and Kiran Nagaraja and Thu D. Nguyen and Barbara G. Ryder and David Wonnacott}, title = {Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {595--604}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209969}, doi = {10.1109/DSN.2003.1209969}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/FuMNNRW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/GartnerKB03, author = {Felix C. G{\"{a}}rtner and Klaus Kursawe and Levente Butty{\'{a}}n}, title = {PoDSy 2003: Principles of Dependable Systems}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {763}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.ieeecomputersociety.org/10.1109/DSN.2003.10002}, doi = {10.1109/DSN.2003.10002}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/GartnerKB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/GilbertLS03, author = {Seth Gilbert and Nancy A. Lynch and Alexander A. Shvartsman}, title = {{RAMBO} {II:} Rapidly Reconfigurable Atomic Memory for Dynamic Networks}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {259--268}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209936}, doi = {10.1109/DSN.2003.1209936}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/GilbertLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/GiraultKSS03, author = {Alain Girault and Hamoudi Kalla and Mihaela Sighireanu and Yves Sorel}, title = {An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {159--168}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209927}, doi = {10.1109/DSN.2003.1209927}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/GiraultKSS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/GuKIY03, author = {Weining Gu and Zbigniew Kalbarczyk and Ravishankar K. Iyer and Zhen{-}Yu Yang}, title = {Characterization of Linux Kernel Behavior under Errors}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {459--468}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209956}, doi = {10.1109/DSN.2003.1209956}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/GuKIY03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/HermannsKMS03, author = {Holger Hermanns and Joost{-}Pieter Katoen and Joachim Meyer{-}Kayser and Markus Siegle}, title = {{ETMCC:} Model Checking Performability Properties of Markov Chains}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {673}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209982}, doi = {10.1109/DSN.2003.1209982}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/HermannsKMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/HuangH03, author = {Shing{-}Tsaan Huang and Ted Herman}, title = {Self-Stabilization Workshop}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {766}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.ieeecomputersociety.org/10.1109/DSN.2003.10003}, doi = {10.1109/DSN.2003.10003}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/HuangH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/KaanicheKM03, author = {Mohamed Ka{\^{a}}niche and Karama Kanoun and Magnos Martinello}, title = {A User-Perceived Availability Evaluation of a Web Based Travel Agency}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {709--718}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209986}, doi = {10.1109/DSN.2003.1209986}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/KaanicheKM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/KochHMM03, author = {Ruppert R. Koch and Sanjay Hortikar and Louise E. Moser and P. M. Melliar{-}Smith}, title = {Transparent {TCP} Connection Failover}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {383--392}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209949}, doi = {10.1109/DSN.2003.1209949}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/KochHMM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/KochHSNNW03, author = {Ruppert R. Koch and Sanjay Hortikar and Sivaguru Sankaridurg and Paul Ngan and Michael O. Neary and Dirk Wagner}, title = {The Anacapa System}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {323--328}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209943}, doi = {10.1109/DSN.2003.1209943}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/KochHSNNW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/KuballH03, author = {Silke Kuball and Gordon Hughes}, title = {Decision-Support for Certification by Calculating the Evidential Volume of a Product}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {15--24}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209912}, doi = {10.1109/DSN.2003.1209912}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/KuballH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/KyasanurV03, author = {Pradeep Kyasanur and Nitin H. Vaidya}, title = {Detection and Handling of {MAC} Layer Misbehavior in Wireless Networks}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {173--182}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209928}, doi = {10.1109/DSN.2003.1209928}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/KyasanurV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/LakamrajuKK03, author = {Vijay Lakamraju and Israel Koren and C. Mani Krishna}, title = {Low Overhead Fault Tolerant Networking in Myrinet}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {193--202}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209930}, doi = {10.1109/DSN.2003.1209930}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/LakamrajuKK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/MadeiraCV03, author = {Henrique Madeira and Jo{\~{a}}o Pedro Costa and Marco Vieira}, title = {The {OLAP} and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {86--91}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209920}, doi = {10.1109/DSN.2003.1209920}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/MadeiraCV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/MarwahMF03, author = {Manish Marwah and Shivakant Mishra and Christof Fetzer}, title = {{TCP} Server Fault Tolerance Using Connection Migration to a Backup Server}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {373--382}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209948}, doi = {10.1109/DSN.2003.1209948}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/MarwahMF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/Maxion03, author = {Roy A. Maxion}, title = {Masquerade Detection Using Enriched Command Lines}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {5--14}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209911}, doi = {10.1109/DSN.2003.1209911}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/Maxion03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/MoraesM03, author = {Regina L{\'{u}}cia de Oliveira Moraes and Eliane Martins}, title = {Jaca - {A} Software Fault Injection Tool}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {667}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209976}, doi = {10.1109/DSN.2003.1209976}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/MoraesM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/MostefaouiMPR03, author = {Achour Most{\'{e}}faoui and Eric Mourgaya and Philippe Raipin Parv{\'{e}}dy and Michel Raynal}, title = {Evaluating the Condition-Based Approach to Solve Consensus}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {541--550}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209964}, doi = {10.1109/DSN.2003.1209964}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/MostefaouiMPR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/MostefaouiMR03, author = {Achour Most{\'{e}}faoui and Eric Mourgaya and Michel Raynal}, title = {Asynchronous Implementation of Failure Detectors}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {351--360}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209946}, doi = {10.1109/DSN.2003.1209946}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/MostefaouiMR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/Movaghar03, author = {Ali Movaghar}, title = {On Dynamic Assignment of Impatient Customers to Parallel Queues}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {751--759}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209990}, doi = {10.1109/DSN.2003.1209990}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/Movaghar03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/MpoelengES03, author = {Dimane Mpoeleng and Paul D. Ezhilchelvan and Neil A. Speirs}, title = {From Crash Tolerance to Authenticated Byzantine Tolerance: {A} Structured Approach, the Cost and Benefits}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {227--236}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209933}, doi = {10.1109/DSN.2003.1209933}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/MpoelengES03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/MunteanuSRC03, author = {Doru P. Munteanu and V{\'{\i}}ctor Su{\~{n}}{\'{e}} and Rosa Rodr{\'{\i}}guez{-}Monta{\~{n}}{\'{e}}s and Juan A. Carrasco}, title = {A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {563--572}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209966}, doi = {10.1109/DSN.2003.1209966}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/MunteanuSRC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/NairKKK03, author = {Jayakrishnan Nair and Zahava Koren and Israel Koren and C. Mani Krishna}, title = {Pre-Processing Input Data to Augment Fault Tolerance in Space Applications}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {491--500}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209959}, doi = {10.1109/DSN.2003.1209959}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/NairKKK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/NapperAV03, author = {Jeff Napper and Lorenzo Alvisi and Harrick M. Vin}, title = {A Fault-Tolerant Java Virtual Machine}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {425--434}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209953}, doi = {10.1109/DSN.2003.1209953}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/NapperAV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/NguyenO03, author = {Thuy Nguyen and Alain Ourghanlian}, title = {Dependability Assessment of Safety-Critical System Software by Static Analysis Methods}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {75--79}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209918}, doi = {10.1109/DSN.2003.1209918}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/NguyenO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/PeiWMWZ03, author = {Dan Pei and Lan Wang and Daniel Massey and Shyhtsun Felix Wu and Lixia Zhang}, title = {A Study of Packet Delivery Performance during Routing Convergence}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {183--192}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209929}, doi = {10.1109/DSN.2003.1209929}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/PeiWMWZ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/PughA03, author = {Simon Pugh and Eric Aliot}, title = {Pragmatic Fault Tolerance for Railway Control and Safety Protection of the Channel Tunnel}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {69--74}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209917}, doi = {10.1109/DSN.2003.1209917}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/PughA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/RodriguesHPGK03, author = {Lu{\'{\i}}s E. T. Rodrigues and Sidath B. Handurukande and Jos{\'{e}} Pereira and Rachid Guerraoui and Anne{-}Marie Kermarrec}, title = {Adaptive Gossip-Based Broadcast}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {47--56}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209915}, doi = {10.1109/DSN.2003.1209915}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/RodriguesHPGK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/RodriguezFA03, author = {Manuel Rodr{\'{\i}}guez and Jean{-}Charles Fabre and Jean Arlat}, title = {Building {SWIFI} Tools from Temporal Logic Specifications}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {95--104}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209921}, doi = {10.1109/DSN.2003.1209921}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/RodriguezFA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/RoychowdhuryKKL03, author = {Diganta Roychowdhury and Israel Koren and C. Mani Krishna and Yann{-}Hang Lee}, title = {A Voltage Scheduling Heuristic for Real-Time Task Graphs}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {741--750}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209989}, doi = {10.1109/DSN.2003.1209989}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/RoychowdhuryKKL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/RufinoVA03, author = {Jos{\'{e}} Rufino and Paulo Ver{\'{\i}}ssimo and Guilherme Arroz}, title = {Node Failure Detection and Membership in CANELy}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {331--340}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209944}, doi = {10.1109/DSN.2003.1209944}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/RufinoVA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/SampaioBCF03, author = {L{\'{\i}}via M. R. Sampaio and Francisco Vilar Brasileiro and Walfredo Cirne and Jorge C. A. de Figueiredo}, title = {How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {551--560}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209965}, doi = {10.1109/DSN.2003.1209965}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/SampaioBCF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/SharmaCLGC03, author = {Srikant Sharma and Jiawu Chen and Wei Li and Kartik Gopalan and Tzi{-}cker Chiueh}, title = {Duplex: {A} Reusable Fault Tolerance Extension Framework for Network Access Devices}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {501--510}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209960}, doi = {10.1109/DSN.2003.1209960}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/SharmaCLGC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ShereshevskyCCGL03, author = {Mark Shereshevsky and Jonathan Crowell and Bojan Cukic and Vijai Gandikota and Yan Liu}, title = {Software Aging and Multifractality of Memory Resources}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {721--730}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209987}, doi = {10.1109/DSN.2003.1209987}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ShereshevskyCCGL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ShiH03, author = {Tianjun Shi and Xudong He}, title = {A Methodology for Dependability and Performability Analysis in {SAM}}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {679--688}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209983}, doi = {10.1109/DSN.2003.1209983}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ShiH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/SinghCS03, author = {Sankalp Singh and Michel Cukier and William H. Sanders}, title = {Probabilistic Validation of an Intrusion-Tolerant Replication System}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {615--624}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209971}, doi = {10.1109/DSN.2003.1209971}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/SinghCS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/SorinHW03, author = {Daniel J. Sorin and Mark D. Hill and David A. Wood}, title = {Dynamic Verification of End-to-End Multiprocessor Invariants}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {281--290}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209938}, doi = {10.1109/DSN.2003.1209938}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/SorinHW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/SpainhowerM03, author = {Lisa Spainhower and Aad P. A. van Moorsel}, title = {First Workshop on the Design of Self-Managing Systems}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {765}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.ieeecomputersociety.org/10.1109/DSN.2003.10000}, doi = {10.1109/DSN.2003.10000}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/SpainhowerM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/StriginiPA03, author = {Lorenzo Strigini and Andrey Povyakalo and Eugenio Alberdi}, title = {Human-Machine Diversity in the Use of Computerised Advisory Systems: {A} Case Study}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {249--258}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209935}, doi = {10.1109/DSN.2003.1209935}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/StriginiPA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/TaiTACS03, author = {Ann T. Tai and Kam S. Tso and Leon Alkalai and Savio N. Chau and William H. Sanders}, title = {Opportunity-Adaptive QoS Enhancement in Satellite Constellations: {A} Case Study}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {655--664}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209975}, doi = {10.1109/DSN.2003.1209975}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/TaiTACS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/TaianiFK03, author = {Fran{\c{c}}ois Ta{\"{\i}}ani and Jean{-}Charles Fabre and Marc{-}Olivier Killijian}, title = {Towards Implementing Multi-Layer Reflection for Fault-Tolerance}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {435--444}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209954}, doi = {10.1109/DSN.2003.1209954}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/TaianiFK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ThesingSHRLWF03, author = {Stephan Thesing and Jean Souyris and Reinhold Heckmann and Famantanantsoa Randimbivololona and Marc Langenbach and Reinhard Wilhelm and Christian Ferdinand}, title = {An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {625--632}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209972}, doi = {10.1109/DSN.2003.1209972}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ThesingSHRLWF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/UrbanSS03, author = {P{\'{e}}ter Urb{\'{a}}n and Ilya Shnayderman and Andr{\'{e}} Schiper}, title = {Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {645--654}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209974}, doi = {10.1109/DSN.2003.1209974}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/UrbanSS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/VieiraM03, author = {Marco Vieira and Henrique Madeira}, title = {Benchmarking the Dependability of Different {OLTP} Systems}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {305--310}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209940}, doi = {10.1109/DSN.2003.1209940}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/VieiraM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/VinterJFK03, author = {Jonny Vinter and Andr{\'{e}}as Johansson and Peter Folkesson and Johan Karlsson}, title = {On the Design of Robust Integrators for Fail-Bounded Control Systems}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {415--424}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209952}, doi = {10.1109/DSN.2003.1209952}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/VinterJFK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/WangK03, author = {Szu{-}Chi Wang and Sy{-}Yen Kuo}, title = {Communication Strategies for Heartbeat-Style Failure Detectors in Wireless Ad Hoc Networks}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {361--370}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209947}, doi = {10.1109/DSN.2003.1209947}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/WangK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/WangVS03, author = {Yi{-}Min Wang and Chad Verbowski and Daniel R. Simon}, title = {Persistent-State Checkpoint Comparison for Troubleshooting Configuration Failures}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {311--316}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209941}, doi = {10.1109/DSN.2003.1209941}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/WangVS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/Xing03, author = {Liudong Xing}, title = {Reliability Analysis of Fault-Tolerant Systems with Common-Cause Failures}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {689--698}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209984}, doi = {10.1109/DSN.2003.1209984}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/Xing03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/YusteALSG03, author = {Pedro Yuste and David de Andr{\'{e}}s and Lenin Lemus and Juan Jos{\'{e}} Serrano and Pedro J. Gil}, title = {{INERTE:} Integrated NExus-Based Real-Time Fault Injection Tool for Embedded Systems}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {669}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209978}, doi = {10.1109/DSN.2003.1209978}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/YusteALSG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ZagorodnovMAB03, author = {Dmitrii Zagorodnov and Keith Marzullo and Lorenzo Alvisi and Thomas C. Bressoud}, title = {Engineering Fault-Tolerant {TCP/IP} Servers Using {FT-TCP}}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {393--402}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209950}, doi = {10.1109/DSN.2003.1209950}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ZagorodnovMAB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ZhangGKS03, author = {Wei Zhang and Sudhanva Gurumurthi and Mahmut T. Kandemir and Anand Sivasubramaniam}, title = {{ICR:} In-Cache Replication for Enhancing Data Cache Reliability}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {291--300}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209939}, doi = {10.1109/DSN.2003.1209939}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ZhangGKS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ZhaoMM03, author = {Wenbing Zhao and Louise E. Moser and P. M. Melliar{-}Smith}, title = {Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {341--350}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209945}, doi = {10.1109/DSN.2003.1209945}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ZhaoMM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ZhuC03, author = {Ningning Zhu and Tzi{-}cker Chiueh}, title = {Design, Implementation, and Evaluation of Repairable File Service}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {217--226}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209932}, doi = {10.1109/DSN.2003.1209932}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ZhuC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ZhuMP03, author = {Ji Zhu and James Mauro and Ira Pramanick}, title = {Robustness Benchmarking for Hardware Maintenance Events}, booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, pages = {115--122}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/DSN.2003.1209923}, doi = {10.1109/DSN.2003.1209923}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/ZhuMP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dsn/2003, title = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://ieeexplore.ieee.org/xpl/conhome/8589/proceeding}, isbn = {0-7695-1952-0}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.