WADS B

14 papers

YearTitle / Authors
2009Architecting Dependable Systems VI
Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek
2008A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation.
Ivo Krka, George Edwards, Leslie Cheung, Leana Golubchik, Nenad Medvidovic
2008A Self-repair Architecture for Cluster Systems.
Fabienne Boyer, Noel De Palma, Olivier Gruber, Sylvain Sicard, Jean-Bernard Stefani
2008A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures.
Ricardo Jiménez-Peris, Marta Patiño-Martínez, Bettina Kemme, Francisco Perez-Sorrosal, Damián Serrano
2008A Uniform Approach to Security and Fault-Tolerance Specification and Analysis.
Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi
2008Architecting Dependable Access Control Systems for Multi-domain Computing Environments.
Maciej P. Machulak, Simon E. Parkin, Aad P. A. van Moorsel
2008Architecting Security with Paradigm.
Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink
2008Compositional Verification of Architectural Refactorings.
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008Handling Software Faults with Redundancy.
Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè
2008Robustness Validation in Service-Oriented Architectures.
Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2008Soft Constraints for Dependable Service Oriented Architectures.
Stefano Bistarelli, Francesco Santini
2008Towards Self-adaptation for Dependable Service-Oriented Systems.
Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti, Raffaela Mirandola
2008Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services.
Gabriele Lenzini
2008Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.
Alessandro Aldini, Marco Bernardo