


default search action
DSN 2008: Workshop on Software Architectures for Dependable Systems (WADS)
- Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek:
Architecting Dependable Systems VI. Lecture Notes in Computer Science 5835, Springer 2009, ISBN 978-3-642-10247-9
Dependable Service-Oriented Architectures
- Ricardo Jiménez-Peris, Marta Patiño-Martínez
, Bettina Kemme, Francisco Perez-Sorrosal, Damián Serrano:
A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures. 1-23 - Valeria Cardellini
, Emiliano Casalicchio
, Vincenzo Grassi, Francesco Lo Presti
, Raffaela Mirandola
:
Towards Self-adaptation for Dependable Service-Oriented Systems. 24-48 - Maciej P. Machulak, Simon E. Parkin, Aad P. A. van Moorsel:
Architecting Dependable Access Control Systems for Multi-domain Computing Environments. 49-75 - Stefano Bistarelli
, Francesco Santini
:
Soft Constraints for Dependable Service Oriented Architectures. 76-97 - Nuno Laranjeiro
, Marco Vieira
, Henrique Madeira
:
Robustness Validation in Service-Oriented Architectures. 98-123
Fault Tolerance and System Evaluation
- Fabienne Boyer, Noel De Palma, Olivier Gruber, Sylvain Sicard, Jean-Bernard Stefani:
A Self-repair Architecture for Cluster Systems. 124-147 - Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè:
Handling Software Faults with Redundancy. 148-171 - Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci
, Stefania Gnesi
:
A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. 172-201 - Ivo Krka, George Edwards, Leslie Cheung, Leana Golubchik, Nenad Medvidovic:
A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation. 202-227
Architecting Security
- Alessandro Aldini
, Marco Bernardo
:
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. 228-254 - Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink:
Architecting Security with Paradigm. 255-283 - Gabriele Lenzini:
Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services. 284-307 - Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Compositional Verification of Architectural Refactorings. 308-333

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.