The Community for Technology Leaders
Reliable Distributed Systems, IEEE Symposium on (2004)
Florianpolis, Brazil
Oct. 18, 2004 to Oct. 20, 2004
ISSN: 1060-9857
ISBN: 0-7695-2239-4
TABLE OF CONTENTS
Session 1 - Keynote Address

Dependable Pervasive Systems (PDF)

Brian Randell , University of Newcastle upon Tyne, UK
pp. 2
Session 2: Evaluation of Dependable Distributed Systems

Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm (Abstract)

Andr? Schiper , ?cole Polytechnique F?d?rale de Lausanne (EPFL), Switzerland
P?ter Urb? , Japan Advanced Institute of Science and Technology
Takuya Katayama , Japan Advanced Institute of Science and Technology
Naohiro Hayashibara , Japan Advanced Institute of Science and Technology
pp. 4-17

Self Checking Network Protocols: A Monitor Based Approach (Abstract)

Padma Varadharajan , Purdue University, West Lafayette, IN
Saurabh Bagchi , Purdue University, West Lafayette, IN
Gunjan Khanna , Purdue University, West Lafayette, IN
pp. 18-30

Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting (Abstract)

Isi Mitrani , University of Newcastle, UK
Antonio Di Ferdinando , University of Newcastle, UK
Paul Ezhilchelvan , University of Newcastle, UK
pp. 31-40

Run-Time Monitoring for Dependable Systems: An Approach and a Case Study (Abstract)

Jorge Rady de Almeida Jr. , USP / Escola Polit?cnica - S?o Paulo, Brasil
S?rgio Ricardo Rota , Banco Ita? S.A. / STABE - S?o Paulo, Brasil
pp. 41-49
Session 3: Fault Tolerant Distributed Algorithms

Token-based Atomic Broadcast using Unreliable Failure Detectors (Abstract)

P?ter Urb? , Japan Advanced Institute of Science and Technology (JAIST), Japan
Andr? Schiper , ?cole Polytechnique F?d?rale de Lausanne (EPFL), Switzerland
Richard Ekwall , ?cole Polytechnique F?d?rale de Lausanne (EPFL), Switzerland
pp. 52-65

The Φ Accrual Failure Detector (Abstract)

Xavier D?fago , Japan Advanced Institute of Science and Technology (JAIST); PRESTO, Japan Science and Technology Agency (JST)
Naohiro Hayashibara , Japan Advanced Institute of Science and Technology (JAIST)
Rami Yared , Japan Advanced Institute of Science and Technology (JAIST)
Takuya Katayama , Japan Advanced Institute of Science and Technology (JAIST)
pp. 66-78

Nested Objects in a Byzantine Quorum-Replicated System (Abstract)

Charles P. Fry , Carnegie Mellon University, Pittsburgh, PA
Michael K. Reiter , Carnegie Mellon University, Pittsburgh, PA
pp. 79-89

A Stability-Oriented Approach to Improving BGP Convergence (Abstract)

Zhijun Liu , The Ohio State University, USA
Anish Arora , The Ohio State University, USA
Hongwei Zhang , The Ohio State University, USA
pp. 90-99
Session 4: Panel

Slow Advances in Fault-Tolerant Real-Time Distributed Computing (Abstract)

K. H. (Kane) Kim , University of California, Irvine
pp. 106-108

Progress in Real-Time Fault Tolerance (Abstract)

P. M. Melliar-Smith , University of California, Santa Barbara
L. E. Moser , University of California, Santa Barbara
pp. 109-111
Session 5: Global State and Checkpointing

Skewed Checkpointing for Tolerating Multi-Node Failures (Abstract)

Takashi Nanya , The University of Tokyo, Japan
Yuya Tajima , The University of Tokyo, Japan
Hiroshi Nakamura , The University of Tokyo, Japan
Takuro Hayashida , The University of Tokyo, Japan
Masaaki Kondo , The University of Tokyo, Japan
Masashi Imai , The University of Tokyo, Japan
pp. 116-125

An Efficient Checkpointing Protocol for the Minimal Characterization of Operational Rollback-Dependency Trackability (Abstract)

Islene C. Garcia , Universidade Estadual de Campinas, Brasil
Luiz E. Buzato , Universidade Estadual de Campinas, Brasil
pp. 126-135

A Signal Processing Approach to Global Predicate Monitoring (Abstract)

Rudolph E. Seviora , University of Waterloo, Canada
Naghmeh Ghafari , University of Waterloo, Canada
pp. 136-145

State Maintenance and its Impact on the Performability of Multi-tiered Internet Services (Abstract)

W. Meira Jr. , Federal University of Minas Gerais, Belo Horizonte, Brazil
R. P. Martin , Rutgers University, Piscataway, NJ
G. Gama , Rutgers University, Piscataway, NJ; Federal University of Minas Gerais, Belo Horizonte, Brazil
T. D. Nguyen , Rutgers University, Piscataway, NJ
R. Bianchini , Rutgers University, Piscataway, NJ
K. Nagaraja , Rutgers University, Piscataway, NJ
pp. 146-158
Session 6: Keynote Address

An Integrated Architecture for Dependable Embedded Systems (PDF)

Hermann Kopetz , Vienna University of Technology, Austria
pp. 160-161
Session 7: Security and High Confidence Systems

The Design and Evaluation of a Defense System for Internet Worms (Abstract)

John C. Knight , University of Virginia
Riccardo Scandariato , Politecnico di Torino
pp. 164-173

How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems (Abstract)

Miguel Correia , Faculdade de Ci?ncias da Universidade de Lisboa, Portugal
Nuno Ferreira Neves , Faculdade de Ci?ncias da Universidade de Lisboa, Portugal
Paulo Ver?ssimo , Faculdade de Ci?ncias da Universidade de Lisboa, Portugal
pp. 174-183

Model-Based Validation of an Intrusion-Tolerant Information System (Abstract)

Partha Pal , BBN Technologies, Cambridge, MA
John F. Meyer , University of Michigan
Sankalp Singh , University of Illinois
Fabrice Stevens , University of Illinois
William H. Sanders , University of Illinois
Tod Courtney , University of Illinois
Adnan Agbaria , University of Illinois
pp. 184-194

Hardware Support for High Performance, Intrusion- and Fault-Tolerant Systems (Abstract)

G. P. Saggese , University of Illinois at Urbana-Champaign
L. Romano , Universit? degli Studi di Napoli Federico II, Italy
C. Basile , University of Illinois at Urbana-Champaign
R. K. Iyer , University of Illinois at Urbana-Champaign
Z. Kalbarczyk , University of Illinois at Urbana-Champaign
pp. 195-204
Session 8: Panel
Session 9: Consensus Protocols

Crash-Resilient Time-Free Eventual Leadership (Abstract)

Corentin Travers , IRISA, France
Achour Mostefaoui , IRISA, France
Michel Raynal , IRISA, France
pp. 208-217

The Mutable Consensus Protocol (Abstract)

J. Pereira , Universidade do Minho
R. Oliveira , Universidade do Minho
pp. 218-227
Session 10: Distributed Objects and Middleware Systems

Self-Managing Federated Services (Abstract)

Francisco Matias Cuenca-Acuna , FaMAF, Universidad Nacional de C?rdoba, Argentina
Thu D. Nguyen , Rutgers University, Piscataway, NJ
pp. 240-250

Using Program Analysis to Identify and Compensate for Nondeterminism in Fault-Tolerant, Replicated Systems (Abstract)

Priya Narasimhan , Carnegie Mellon University, Pittsburgh, PA
Joseph G. Slember , Carnegie Mellon University, Pittsburgh, PA
pp. 251-263

XNET: A Reliable Content-Based Publish/Subscribe System (Abstract)

Pascal Felber , University of Neuch?tel, Switzerland
Rapha? Chand , Institut EURECOM, Sophia Antipolis, France
pp. 264-273
Session 11: Internet-Based Systems/Mobility

An Hoarding Approach for Supporting Disconnected Write Operations in Mobile Environments (Abstract)

Zahir Tari , RMIT University, Melbourne, Australia
Peter Bertok , RMIT University, Melbourne, Australia
Abhinav Vora , RMIT University, Melbourne, Australia
pp. 276-288

Balancing the Tradeoffs between Data Accessibility and Query Delay in Ad Hoc Networks (Abstract)

Liangzhong Yin , The Pennsylvania State University, University Park, PA
Guohong Cao , The Pennsylvania State University, University Park, PA
pp. 289-298

Low Latency Probabilistic Broadcast in Wide Area Networks (Abstract)

J. Pereira , U. Minho
R. Oliveira , U. Minho
L. Rodrigues , U. Lisboa
A. Pinto , U. Lisboa
pp. 299-308

Proactive Hot Spot Avoidance for Web Server Dependability (Abstract)

Tim Kaldewey , Institut EURECOM, Sophia Antipolis, France
Stefan Weiss , Institut EURECOM, Sophia Antipolis, France
Pascal Felber , University of Neuch?tel, Switzerland
pp. 309-318

Author Index (PDF)

pp. 319
105 ms
(Ver 3.1 (10032016))