


default search action
3rd LADC 2007: Morella, Mexico
- Andrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum:
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4746, Springer 2007, ISBN 978-3-540-75293-6
Invited Talks
- Philip Koopman:
Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract). 1-2 - Jean Arlat:
Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? 3-6
Fault-Tolerant Algorithms
- Jonatan Schroeder
, Elias Procópio Duarte Jr.:
Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation. 7-24 - Mikel Larrea
, Alberto Lafuente, Iratxe Soraluze Arriola
, Roberto Cortiñas
, Joachim Wieland:
On the Implementation of Communication-Optimal Failure Detectors. 25-37 - Sara Tucci Piergiovanni
, Roberto Baldoni:
Connectivity in Eventually Quiescent Dynamic Distributed Systems. 38-56
Software Engineering of Dependable Systems
- Ruben Alexandersson, Peter Öhman:
Implementing Fault Tolerance Using Aspect Oriented Programming. 57-74 - Patrick Henrique da S. Brito, Rogério de Lemos, Eliane Martins, Cecília M. F. Rubira:
Architecture-Centric Fault Tolerance with Exception Handling. 75-94 - Fevzi Belli, Mubariz Eminov, Nida Gökçe:
Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study. 95-110
Networking and Mobile Computing
- José Carlos Bregieiro Ribeiro
, Bruno Miguel Luís, Mário Zenha Rela
:
Error Propagation Monitoring on Windows Mobile-Based Devices. 111-122 - Abdelmajid Khelil
, Neeraj Suri:
Gossiping: Adaptive and Reliable Broadcasting in MANETs. 123-141 - Talmai Brandão de Oliveira, Victor Franco Costa, Fabíola Greve:
On the Behavior of Broadcasting Protocols for MANETs Under Omission Faults Scenarios. 142-159
Experimental Dependability Evaluation
- João Muranho, Paula Prata, Mário Zenha Rela
, João Gabriel Silva:
Failure Boundedness in Discrete Applications. 160-169 - Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco, Valdivino Alexandre de Santiago Jr.
, Wendell Pereira da Silva, Eliane Martins:
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. 170-178 - Regina Lúcia de Oliveira Moraes, João Durães
, Eliane Martins, Henrique Madeira:
Component-Based Software Certification Based on Experimental Risk Assessment. 179-197
Intrusion Tolerance and Security
- José Fonseca, Marco Vieira
, Henrique Madeira:
Integrated Intrusion Detection in Databases. 198-211 - Ludovic Courtès, Marc-Olivier Killijian, David Powell:
Security Rationale for a Cooperative Backup Service for Mobile Devices. 212-230
Tutorials
- Marco Vieira
, Henrique Madeira:
Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments? 231-232 - Eduardo B. Fernández:
Security Patterns and Secure Systems Design. 233-234 - Lorenzo Alvisi:
BAR - Where Distributed Computing Meets Game Theory. 235-236
Panels
- Rogério de Lemos:
Scaling Dependability and Security in Ad Hoc Networks. 237 - Henrique Madeira:
Assessing, Measuring, and Benchmarking Dependability and Resilience. 238

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.