27. SRDS 2008: Napoli, Italy

Middleware and Embedded Systems

• Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai:
  Assuring Resilient Time Synchronization. 3-12
  
• Devdatta Kulkarni, Anand Tripathi:
  Application-Level Recovery Mechanisms for Context-Aware Pervasive Computing. 13-22
  
• Vinaitheerthan Sundaram, Saurabh Bagchi, Yung-Hsiang Lu, Zhiyuan Li:
  SeNDORComm: An Energy-Efficient Priority-Driven Communication Layer for Reliable Wireless Sensor Networks. 23-32
  
• Guillermo Rodríguez-Navas, Julian Proenza:
  Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN. 33-42
  

Security in Distributed Systems

• Remo Meier, Roger Wattenhofer:
  ALPS: Authenticating Live Peer-to-Peer Live Streams. 45-52
  
• Zhang Fu, Marina Papatriantafilou, Philippas Tsigas:
  Mitigating Distributed Denial of Service Attacks in Multiparty Applications in the Presence of Clock Drifts. 63-72
  
• Marinho P. Barcellos, Daniel Bauermann, Henrique Sant'anna, Matheus Lehmann, Rodrigo B. Mansilha:
  Protecting BitTorrent: Design and Evaluation of Effective Countermeasures against DoS Attacks. 73-82
  

Dependability and Security Assessment

• Rekha Bachwani, Leszek Gryz, Ricardo Bianchini, Cezary Dubnicki:
  Dynamically Quantifying and Improving the Reliability of Distributed Storage Systems. 85-94
  
• Lucio Flavio Vismari, João Batista Camargo Jr.:
  An Absolute-Relative Risk Assessment Methodology Approach to Current Safety Critical Systems and its Application to the ADS-B based Air Traffic Control System. 95-104
  
• JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu:
  Systematic Structural Testing of Firewall Policies. 105-114
  
• Gal Badishi, Amir Herzberg, Idit Keidar, Oleg Romanov, Avital Yachin:
  An Empirical Study of Denial of Service Mitigation Techniques. 115-124
  

Distributed Storage and Services

• Damián Serrano, Marta Patiño-Martínez, Ricardo Jiménez-Peris, Bettina Kemme:
  An Autonomic Approach for Replication of Internet-based Services. 127-136
  
• Soila Kavulya, Rajeev Gandhi, Priya Narasimhan:
  Gumshoe: Diagnosing Performance Problems in Replicated File-Systems. 137-146
  
• Jing Tian, Zhi Yang, Wei Chen, Ben Y. Zhao, Yafei Dai:
  Probabilistic Failure Detection for Efficient Distributed Storage Maintenance. 147-156
  
• Maohua Lu, Tzi-cker Chiueh, Shibiao Lin:
  An Incremental File System Consistency Checker for Block-Level CDP Systems. 157-162
  

Wireless and Networking Systems

• Mudhakar Srivatsa, Bong-Jun Ko, Alina Beygelzimer, Venkateshwara Madduri:
  Scalable Topology Discovery and Link State Detection Using Routing Events. 165-174
  
• Svilen Ivanov, Edgar Nett:
  Fault-Tolerant Coverage Planning in Wireless Networks. 175-184
  
• Roberto Di Pietro, Di Ma, Claudio Soriente, Gene Tsudik:
  POSH: Proactive co-Operative Self-Healing in Unattended Wireless Sensor Networks. 185-194
  
• Gayatri Swamynathan, Ben Y. Zhao, Kevin C. Almeroth, S. Rao Jammalamadaka:
  Towards Reliable Reputations for Dynamic Networked Systems. 195-204
  

Distributed Algorithms

• Eddy Caron, Ajoy Kumar Datta, Franck Petit, Cédric Tedeschi:
  Self-Stabilization in Tree-Structured Peer-to-Peer Service Discovery Systems. 207-216
  
• Zbigniew Jerzak, Robert Fach, Christof Fetzer:
  Adaptive Internal Clock Synchronization. 217-226
  
• Fatemeh Borran, Ravi Prakash, André Schiper:
  Extending Paxos/LastVoting with an Adequate Communication Layer for Wireless Ad Hoc Networks. 227-236
  
• Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni:
  Investigating the Existence and the Regularity of Logarithmic Harary Graphs. 237-246
  

Analysis of Distributed Protocols and Systems

• Josep M. Bernabé-Gisbert, Vaide Zuikeviciute, Francesc D. Muñoz-Escoí, Fernando Pedone:
  A Probabilistic Analysis of Snapshot Isolation with Partial Replication. 249-258
  
• Steven Y. Ko, Imranul Hoque, Indranil Gupta:
  Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed Protocols. 259-268
  
• Long Wang, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
  Formalizing System Behavior for Evaluating a System Hang Detector. 269-278
  
• Timo Warns, Christian Storm, Wilhelm Hasselbring:
  Availability of Globally Distributed Nodes: An Empirical Evaluation. 279-284