4. LADC 2009: João Pessoa, Brazil

Dependability in Database Systems

• Afonso Araújo Neto, Marco Vieira:
  Benchmarking Untrustworthiness in DBMS Configurations. 1-8
  
• Massimo Ficco, Luigi Coppolino, Luigi Romano:
  A Weight-Based Symptom Correlation Approach to SQL Injection Attacks. 9-16
  
• Nuno Antunes, Marco Vieira:
  Detecting SQL Injection Vulnerabilities in Web Services. 17-24
  

Algorithms and Methods for Dependable Computing

• Ana Cristina Oliveira, Lívia M. R. Sampaio, Stenio Flavio Fernandes, Francisco Vilar Brasileiro:
  Adaptive Sabotage-Tolerant Scheduling for Peer-to-Peer Grids. 25-32
  
• Jorge C. S. Cardoso, Carlos Baquero, Paulo Sérgio Almeida:
  Probabilistic Estimation of Network Size and Diameter. 33-40
  
• Mathieu Bouillaguet, Luciana Arantes, Luciana Sens:
  A Timer-Free Fault Tolerant K-Mutual Exclusion Algorithm. 41-48
  

Dependability and Security Benchmarking

• David de Andrés, Juan Carlos Ruiz, Pedro J. Gil:
  Using Dependability, Performance, Area and Energy Consumption Experimental Measures to Benchmark IP Cores. 49-56
  
• Afonso Araújo Neto, Marco Vieira:
  Appraisals Based on Security Best Practices for Software Configurations. 57-64
  
• Felipe Pontes, Francisco Vilar Brasileiro, Nazareno Andrade:
  BitTorrent Needs Psychiatric Guarantees: Quantifying How Vulnerable BitTorrent Swarms are to Sybil Attacks. 65-72
  

Design of Dependable Systems

• Bruno Cabral, Paulo Marques:
  Implementing Retry - Featuring AOP. 73-80
  
• Alexei Iliasov, Alexander Romanovsky, Fernando Luís Dotti:
  Structuring Specifications with Modes. 81-88
  

Dependability of Software

• Regina Lúcia de Oliveira Moraes, Bruno Teixeira de Abreu, Eliane Martins:
  Mapping Web-Based Applications Failures to Faults. 89-94
  
• Alex Ander Javarotti Zumalde, Jorge Martins Secall, João Battista Camargo Junior:
  Comparative Analysis on the Impact of Defensive Programming Techniques for Safety-Critical Systems. 95-102
  
• Patrick H. S. Brito, Rogério de Lemos, Eliane Martins, Regina Lúcia de Oliveira Moraes, Cecília M. F. Rubira:
  Architectural-Based Validation of Fault-Tolerant Software. 103-110
  

Engineering Dependable Systems

• Yasser Sedaghat, Seyed Ghassem Miremadi:
  A Low-Cost On-Line Monitoring Mechanism for the FlexRay Communication Protocol. 111-118
  
• Jorrit N. Herder, David C. van Moolenbroek, Raja Appuswamy, Bingzheng Wu, Ben Gras, Andrew S. Tanenbaum:
  Dealing with Driver Failures in the Storage Stack. 119-126
  
• Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer:
  A Proof-Carrying-Code Infrastructure for Resources. 127-134
  

Tutorials

• Fernnando Pedone, Rui Oliveira:
  From Object Replication to Database Replication. 135
  
• Roy A. Maxion:
  Experimental Methods for Computer Science Research. 136
  

Invited Talks

• Roy A. Maxion:
  Dependability in the Time of Forensics. 137
  
• Miroslaw Malek:
  Empirical Data-Driven Modeling for Dependability Enhancement. 138
  

Last update Tue May 21 17:40:06 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page