23. SRDS 2004: Florianópolis, Brazil
23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 18-20 October 2004, Florianpolis, Brazil. IEEE Computer Society 2004 ISBN 0-7695-2239-4
Keynote Address
Brian Randell: Dependable Pervasive Systems. 2
Evaluation of Dependable Distributed Systems
Péter Urbán, Naohiro Hayashibara, André Schiper, Takuya Katayama: Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm. 4-17
Gunjan Khanna, Padma Varadharajan, Saurabh Bagchi: Self Checking Network Protocols: A Monitor Based Approach. 18-30
Antonio Di Ferdinando, Paul D. Ezhilchelvan, Isi Mitrani: Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting. 31-40
Sérgio Ricardo Rota, Jorge Rady de Almeida Jr.: Run-Time Monitoring for Dependable Systems: An Approach and a Case Study. 41-49
Fault Tolerant Distributed Algorithms
Richard Ekwall, André Schiper, Péter Urbán: Token-based Atomic Broadcast using Unreliable Failure Detectors. 52-65
Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama: The Φ Accrual Failure Detector. 66-78
Hongwei Zhang, Anish Arora, Zhijun Liu: A Stability-Oriented Approach to Improving BGP Convergence. 90-99
Panel
K. H. (Kane) Kim, Paul D. Ezhilchelvan, Jörg Kaiser, Louise E. Moser, Edgar Nett, Neeraj Suri: Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow? 102
Paul D. Ezhilchelvan: On the Progress in Fault-Tolerant Real-Time Computing. 103-104
K. H. (Kane) Kim: Slow Advances in Fault-Tolerant Real-Time Distributed Computing. 106-108
Neeraj Suri: Why Progress in (Composite) Fault Tolerant Real-Time Systems has been Slow (-er than Expected.. & What Can We Do About It?). 112-113
Global State and Checkpointing
Hiroshi Nakamura, Takuro Hayashida, Masaaki Kondo, Yuya Tajima, Masashi Imai, Takashi Nanya: Skewed Checkpointing for Tolerating Multi-Node Failures. 116-125
Islene C. Garcia, Luiz Eduardo Buzato: An Efficient Checkpointing Protocol for the Minimal Characterization of Operational Rollback-Dependency Trackability. 126-135
Naghmeh Ghafari, Rudolph E. Seviora: A Signal Processing Approach to Global Predicate Monitoring. 136-145
Gustavo Machado Campagnani Gama, Kiran Nagaraja, Ricardo Bianchini, Richard P. Martin, Wagner Meira Jr., Thu D. Nguyen: State Maintenance and its Impact on the Performability of Multi-tiered Internet Services. 146-158
Keynote Address
Hermann Kopetz: An Integrated Architecture for Dependable Embedded Systems. 160-161
Security and High Confidence Systems
Riccardo Scandariato, John C. Knight: The Design and Evaluation of a Defense System for Internet Worms. 164-173
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. 174-183
Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbaria, John F. Meyer, William H. Sanders, Partha Pratim Pal: Model-Based Validation of an Intrusion-Tolerant Information System. 184-194
Giacinto Paolo Saggese, Claudio Basile, Luigi Romano, Zbigniew Kalbarczyk, Ravishankar K. Iyer: Hardware Support for High Performance, Intrusion- and Fault-Tolerant Systems. 195-204
Panel
Consensus Protocols
Achour Mostéfaoui, Michel Raynal, Corentin Travers: Crash-Resilient Time-Free Eventual Leadership. 208-217
Roy Friedman, Achour Mostéfaoui, Michel Raynal: Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. 228-237
Distributed Objects and Middleware Systems

Joseph G. Slember, Priya Narasimhan: Using Program Analysis to Identify and Compensate for Nondeterminism in Fault-Tolerant, Replicated Systems. 251-263
Internet-Based Systems/Mobility
Abhinav Vora, Zahir Tari, Peter Bertók: An Hoarding Approach for Supporting Disconnected Write Operations in Mobile Environments. 276-288
Liangzhong Yin, Guohong Cao: Balancing the Tradeoffs between Data Accessibility and Query Delay in Ad Hoc Networks. 289-298
José Orlando Pereira, Luís Rodrigues, Alexandre S. Pinto, Rui Carlos Oliveira: Low Latency Probabilistic Broadcast in Wide Area Networks. 299-308
Pascal Felber, Tim Kaldewey, Stefan Weiss: Proactive Hot Spot Avoidance for Web Server Dependability. 309-318



