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 BibTeX

Keynote Address

Brian Randell: Dependable Pervasive Systems. 2 BibTeX

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
Electronic Edition (link) BibTeX
Gunjan Khanna, Padma Varadharajan, Saurabh Bagchi:
Self Checking Network Protocols: A Monitor Based Approach. 18-30
Electronic Edition (link) BibTeX
Antonio Di Ferdinando, Paul D. Ezhilchelvan, Isi Mitrani:
Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting. 31-40
Electronic Edition (link) BibTeX
Sérgio Ricardo Rota, Jorge Rady de Almeida Jr.:
Run-Time Monitoring for Dependable Systems: An Approach and a Case Study. 41-49
Electronic Edition (link) BibTeX

Fault Tolerant Distributed Algorithms

Richard Ekwall, André Schiper, Péter Urbán:
Token-based Atomic Broadcast using Unreliable Failure Detectors. 52-65
Electronic Edition (link) BibTeX
Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama:
The F Accrual Failure Detector. 66-78
Electronic Edition (link) BibTeX
Charles P. Fry, Michael K. Reiter:
Nested Objects in a Byzantine Quorum-Replicated System. 79-89
Electronic Edition (link) BibTeX
Hongwei Zhang, Anish Arora, Zhijun Liu:
A Stability-Oriented Approach to Improving BGP Convergence. 90-99
Electronic Edition (link) BibTeX

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 BibTeX
Paul D. Ezhilchelvan:
On the Progress in Fault-Tolerant Real-Time Computing. 103-104
Electronic Edition (link) BibTeX
K. H. (Kane) Kim:
Slow Advances in Fault-Tolerant Real-Time Distributed Computing. 106-108
Electronic Edition (link) BibTeX
P. M. Melliar-Smith, Louise E. Moser:
Progress in Real-Time Fault Tolerance. 109-111
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Islene C. Garcia, Luiz Eduardo Buzato:
An Efficient Checkpointing Protocol for the Minimal Characterization of Operational Rollback-Dependency Trackability. 126-135
Electronic Edition (link) BibTeX
Naghmeh Ghafari, Rudolph E. Seviora:
A Signal Processing Approach to Global Predicate Monitoring. 136-145
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX

Keynote Address

Hermann Kopetz:
An Integrated Architecture for Dependable Embedded Systems. 160-161
Electronic Edition (link) BibTeX

Security and High Confidence Systems

Riccardo Scandariato, John C. Knight:
The Design and Evaluation of a Defense System for Internet Worms. 164-173
Electronic Edition (link) BibTeX
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo:
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. 174-183
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Giacinto Paolo Saggese, Claudio Basile, Luigi Romano, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
Hardware Support for High Performance, Intrusion- and Fault-Tolerant Systems. 195-204
Electronic Edition (link) BibTeX

Panel

Jie Xu, Graeme Dixon, Priya Narasimhan, Luigi Romano, Rob Smith: Dependability in Web Services. 206 BibTeX

Consensus Protocols

Achour Mostéfaoui, Michel Raynal, Corentin Travers:
Crash-Resilient Time-Free Eventual Leadership. 208-217
Electronic Edition (link) BibTeX
José Orlando Pereira, Rui Carlos Oliveira:
The Mutable Consensus Protocol. 218-227
Electronic Edition (link) BibTeX
Roy Friedman, Achour Mostéfaoui, Michel Raynal:
Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. 228-237
Electronic Edition (link) BibTeX

Distributed Objects and Middleware Systems

Francisco Matias Cuenca-Acuna, Thu D. Nguyen:
Self-Managing Federated Services. 240-250
Electronic Edition (link) BibTeX
Joseph G. Slember, Priya Narasimhan:
Using Program Analysis to Identify and Compensate for Nondeterminism in Fault-Tolerant, Replicated Systems. 251-263
Electronic Edition (link) BibTeX
Raphaël Chand, Pascal Felber:
XNET: A Reliable Content-Based Publish/Subscribe System. 264-273
Electronic Edition (link) BibTeX

Internet-Based Systems/Mobility

Abhinav Vora, Zahir Tari, Peter Bertók:
An Hoarding Approach for Supporting Disconnected Write Operations in Mobile Environments. 276-288
Electronic Edition (link) BibTeX
Liangzhong Yin, Guohong Cao:
Balancing the Tradeoffs between Data Accessibility and Query Delay in Ad Hoc Networks. 289-298
Electronic Edition (link) BibTeX
José Orlando Pereira, Luís Rodrigues, Alexandre S. Pinto, Rui Carlos Oliveira:
Low Latency Probabilistic Broadcast in Wide Area Networks. 299-308
Electronic Edition (link) BibTeX
Pascal Felber, Tim Kaldewey, Stefan Weiss:
Proactive Hot Spot Avoidance for Web Server Dependability. 309-318
Electronic Edition (link) BibTeX