The Community for Technology Leaders
Reliable Distributed Systems, IEEE Symposium on (2007)
Beijing, China
Oct. 10, 2007 to Oct. 12, 2007
ISBN: 0-7695-2995-X
TABLE OF CONTENTS
Introduction
Wireless and Sensor Networks

ASFALT: A Simple Fault-Tolerant Signature-based Localization Technique for Emergency Sensor Networks (Abstract)

Shambhu Upadhyaya , State University of New York at Buffalo
Murtuza Jadliwala , State University of New York at Buffalo
Manik Taneja , State University of New York at Buffalo
pp. 3-12

RAPID: Reliable Probabilistic Dissemination in Wireless Ad-Hoc Networks (Abstract)

Gabriel Kliot , Technion - Israel Institute of Technology
Roy Friedman , Technion - Israel Institute of Technology
Marc Segal , Technion - Israel Institute of Technology
Vadim Drabkin , Technion - Israel Institute of Technology
pp. 13-22

The Eventual Clusterer Oracle and Its Application to Consensus in MANETs (Abstract)

Jiannong Cao , The Hong Kong Polytechnic University
Weigang Wu , The Hong Kong Polytechnic University
Michel Raynal , IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France
pp. 23-32

Modeling and Assessing the Dependability ofWireless Sensor Networks (Abstract)

Catello Di Martinio , Universita' di Napoli Federico II, Italy
Stefano Russo , Laboratorio ITEM Carlo Savy - Consorzio Interuniversitario Nazionale per l'Informatica
Marcello Cinque , Universita' di Napoli Federico II, Italy
Domenico Cotroneo , Universita' di Napoli Federico II, Italy
pp. 33-44
Replication in Distributed Systems

Enhancing Edge Computing with Database Replication (Abstract)

Marta Patino-Martinez , Universidad Politecnica de Madrid, Spain
Ricardo Jimenez-Peris , Universidad Politecnica de Madrid, Spain
Bettina Kemme , McGill University, School of Computer Science, Canada
Yi Lin , McGill University, School of Computer Science, Canada
pp. 45-54

Building Trust in Storage Outsourcing: Secure Accounting of Utility Storage (Abstract)

Vishal Kher , University of Minnesota
Yongdae Kim , University of Minnesota
pp. 55-64

Customizable Fault Tolerance forWide-Area Replication (Abstract)

Yair Amir , Johns Hopkins University, Baltimore
Jonathan Kirsch , Johns Hopkins University, Baltimore
John Lane , Johns Hopkins University, Baltimore
Brian Coan , Telcordia Technologies, Piscataway, NJ
pp. 65-82
Fault Tolerance

Hypervisor-Based Efficient Proactive Recovery (Abstract)

Rudiger Kapitza , University of Erlangen-Nurnberg, Germany
Hans P. Reiser , University of Lisboa, Portugal
pp. 83-92

Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability (Abstract)

Corentin TRAVERS , UCLA, Los Angeles, CA
Michel RAYNAL , UCLA, Los Angeles, CA
Eli GAFNI , UCLA, Los Angeles, CA
pp. 93-102

The Fail-Heterogeneous Architectural Model (Abstract)

Neeraj Suri , Technical University of Darmstadt, Germany
Marco Serafini , Technical University of Darmstadt, Germany
pp. 103-113

The Paxos Register (Abstract)

Amitanand S. Aiyer , University of Texas at Austin
Lorenzo Alvisi , University of Texas at Austin
Harry C. Li , University of Texas at Austin
Allen Clement , University of Texas at Austin
pp. 114-126
Software Engineering for Reliable Systems

Characterizing Aging Phenomena of the Java Virtual Machine (Abstract)

Salvatore Orlando , Universita' di Napoli Federico II
Stefano Russo , Laboratorio ITEM Carlo Savy - Consorzio Interuniversitario Nazionale per l'Informatica, Italy
Domenico Cotroneo , Universita' di Napoli Federico II
pp. 127-136

Model Checking of Consensus Algorit (Abstract)

Andre Schiper , Ecole Polytechnique F´ederale de Lausanne, Switzerland
Tatsuhiro Tsuchiya , Osaka University
pp. 137-148

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations (Abstract)

Julia L. Lawall , University of Copenhagen
Laurent Reveillere , University of Bordeaux, France
Laurent Burgy , University of Bordeaux, France
Gilles Muller , Ecole des Mines de Nantes INRIA / LINA, France
pp. 149-160
Fault Detection and Diagnosis

Using Hidden Semi-Markov Models for Effective Online Failure Prediction (Abstract)

Felix Salfner , Humboldt-Universitat zu Berlin
Miroslaw Malek , Humboldt-Universitat zu Berlin
pp. 161-174

Quantifying Temporal and Spatial Correlation of Failure Events for Proactive Management (Abstract)

Cheng-Zhong Xu , Wayne State University, Detroit, MI 48202, USA
Song Fu , Wayne State University, Detroit, MI 48202, USA
pp. 175-184

Distributed Diagnosis of Failures in a Three Tier E-Commerce System (Abstract)

Ignacio Laguna , Purdue University
Saurabh Bagchi , Purdue University
Fahad A. Arshad , Purdue University
Gunjan Khanna , Purdue University
pp. 185-198
Security

PEACE-VO: A Secure Policy-Enabled Collaboration Framework for Virtual Organizations (Abstract)

Jianxin Li , Beihang University,Beijing, China
Jinpeng Huai , Beihang University,Beijing, China
Chunming Hu , Beihang University,Beijing, China
pp. 199-208

RandSys: Thwarting Code Injection Attacks with System Service Interface Randomization (Abstract)

Xuxian Jiang , George Mason University
Dongyan Xu , Purdue University
Yi-Min Wang , Microsoft Research
Helen J. Wangz , Microsoft Research
pp. 209-218

Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks (Abstract)

Xinran Wang , Pennsylvania State University
Guohong Cao , Pennsylvania State University
Yi Yang , Pennsylvania State University
Sencun Zhu , Pennsylvania State University
pp. 219-230
System Dependability Evaluation

Framework for Intrusion Tolerant Certification Authority System Evaluation (Abstract)

Peng Liu , University, University Park, PA
Jiwu Jing , Graduate School of CAS, Beijing 100049, CHINA
Jingqiang Lin , Graduate School of CAS, Beijing 100049, CHINA
pp. 231-241

An Analytical Framework and Its Applications for Studying Brick Storage Reliability (Abstract)

Ming Chen , Microsoft Research Asia
Wei Chen , Microsoft Research Asia
Zheng Zhang , Microsoft Research Asia
Likun Liu , Tsinghua University
pp. 242-252

Evaluating Byzantine Quorum Systems (Abstract)

Miguel Correia , LASIGE, Faculdade de Ciencias da Universidade de Lisboa - Portugal
Joni da Silva Fraga , Universidade Federal de Santa Catarina - Brazil
Alysson Neves Bessani , LASIGE, Faculdade de Ciencias da Universidade de Lisboa - Portugal
Wagner Saback Dantas , Universidade Federal de Santa Catarina - Brazil
pp. 253-264
Real-Time Applications

Stateful Detection in High Throughput Distributed Systems (Abstract)

Fahad A. Arshad , Purdue University
Gunjan Khanna , Purdue University
Saurabh Bagchi , Purdue University
Ignacio Laguna , Purdue University
pp. 275-287

A Gambling Approach to Scalable Resource-Aware Streaming (Abstract)

Benoit Garbinato , University of Lausanne, CH-1015 Lausanne, Switzerland
Marija Stamenkovic , University of Lugano (USI), CH-6900 Lugano, Switzerland
Fernando Pedone , University of Lugano (USI), CH-6900 Lugano, Switzerland
Mouna Allani , University of Lausanne, CH-1015 Lausanne, Switzerland
pp. 288-300
Distributed Systems

Epidemic Broadcast Trees (Abstract)

Luis Rodrigues , University of Lisbon
Jose Pereira , University of Minho
Joao Leitao , University of Lisbon
pp. 301-310

On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast (Abstract)

Dan Dobre , TU Darmstadt, Germany
HariGovind V. Ramasamy , IBM Zurich Research Laboratory
Neeraj Suri , TU Darmstadt, Germany
pp. 311-322

Activity Monitoring to Guarantee File Availability in Structured P2P File-sharing Systems (Abstract)

Qi Zhao , Nankai University, China
Zhi Chen , Nankai University, China
Guowei Huang , Nankai University, China
pp. 323-336
Author Index

Author Index (PDF)

pp. 337
90 ms
(Ver 3.3 (11022016))