


default search action
4th LADC 2009: João Pessoa, Brazil
- Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009. IEEE Computer Society 2009, ISBN 978-1-4244-4678-0
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-Garcia
, 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 B. 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
- Fernando 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.