26. SRDS 2007: Beijing, China

26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007. IEEE Computer Society 2007

Wireless and Sensor Networks

Murtuza Jadliwala, Shambhu J. Upadhyaya, Manik Taneja:
ASFALT: A Simple Fault-Tolerant Signature-based Localization Technique for Emergency Sensor Networks. 3-12
Vadim Drabkin, Roy Friedman, Gabriel Kliot, Marc Segal:
RAPID: Reliable Probabilistic Dissemination in Wireless Ad-Hoc Networks. 13-22
Weigang Wu, Jiannong Cao, Michel Raynal:
The Eventual Clusterer Oracle and Its Application to Consensus in MANETs. 23-32
Marcello Cinque, Domenico Cotroneo, Catello Di Martino, Stefano Russo:
Modeling and Assessing the Dependability ofWireless Sensor Networks. 33-44

Yi Lin, Bettina Kemme, Marta Patiño-Martínez, Ricardo Jiménez-Peris:
Enhancing Edge Computing with Database Replication. 45-54
Vishal Kher, Yongdae Kim:
Building Trust in Storage Outsourcing: Secure Accounting of Utility Storage. 55-64
Yair Amir, Brian A. Coan, Jonathan Kirsch, John Lane:
Customizable Fault Tolerance for Wide-Area Replication. 65-82

Hans P. Reiser, Rüdiger Kapitza:
Hypervisor-Based Efficient Proactive Recovery. 83-92
Eli Gafni, Michel Raynal, Corentin Travers:
Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability. 93-102
Marco Serafini, Neeraj Suri:
The Fail-Heterogeneous Architectural Model. 103-113
Harry C. Li, Allen Clement, Amitanand S. Aiyer, Lorenzo Alvisi:
The Paxos Register. 114-126

Domenico Cotroneo, Salvatore Orlando, Stefano Russo:
Characterizing Aging Phenomena of the Java Virtual Machine. 127-136
Tatsuhiro Tsuchiya, André Schiper:
Model Checking of Consensus Algorit. 137-148
Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller:
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. 149-160

Felix Salfner, Miroslaw Malek:
Using Hidden Semi-Markov Models for Effective Online Failure Prediction. 161-174
Song Fu, Cheng-Zhong Xu:
Quantifying Temporal and Spatial Correlation of Failure Events for Proactive Management. 175-184
Gunjan Khanna, Ignacio Laguna, Fahad A. Arshad, Saurabh Bagchi:
Distributed Diagnosis of Failures in a Three Tier E-Commerce System. 185-198

Jianxin Li, Jinpeng Huai, Chunming Hu:
PEACE-VO: A Secure Policy-Enabled Collaboration Framework for Virtual Organizations. 199-208
Xuxian Jiang, Helen J. Wang, Dongyan Xu, Yi-Min Wang:
RandSys: Thwarting Code Injection Attacks with System Service Interface Randomization. 209-218
Yi Yang, Xinran Wang, Sencun Zhu, Guohong Cao:
Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks. 219-230

Jingqiang Lin, Jiwu Jing, Peng Liu:
Framework for Intrusion Tolerant Certification Authority System Evaluation. 231-241
Ming Chen, Wei Chen, Likun Liu, Zheng Zhang:
An Analytical Framework and Its Applications for Studying Brick Storage Reliability. 242-252
Wagner Saback Dantas, Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia:
Evaluating Byzantine Quorum Systems. 253-264

Wei Sun, Yuanyuan Zhang, Chen Yu, Xavier Défago, Yasushi Inoguchi:
Hybrid Overloading and Stochastic Analysis for Redundant Real-time Multiprocessor Systems. 265-274
Gunjan Khanna, Ignacio Laguna, Fahad A. Arshad, Saurabh Bagchi:
Stateful Detection in High Throughput Distributed Systems. 275-287
Mouna Allani, Benoît Garbinato, Fernando Pedone, Marija Stamenkovic:
A Gambling Approach to Scalable Resource-Aware Streaming. 288-300

Joao Leitao, José Pereira, Luís Rodrigues:
Epidemic Broadcast Trees. 301-310
Dan Dobre, HariGovind V. Ramasamy, Neeraj Suri:
On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast. 311-322
Guowei Huang, Zhi Chen, Qi Zhao, Gongyi Wu:
Activity Monitoring to Guarantee File Availability in Structured P2P File-sharing Systems. 323-336