Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Architecting Dependable Systems VI [[electronic resource] /] / edited by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek
| Architecting Dependable Systems VI [[electronic resource] /] / edited by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 335 p.) |
| Disciplina | 004.22 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Special purpose computers Computer system failures Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Computer Systems Organization and Communication Networks Special Purpose and Application-Based Systems System Performance and Evaluation Operating Systems |
| ISBN | 3-642-10248-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Dependable Service-Oriented Architectures -- A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures -- Towards Self-adaptation for Dependable Service-Oriented Systems -- Architecting Dependable Access Control Systems for Multi-domain Computing Environments -- Soft Constraints for Dependable Service Oriented Architectures -- Robustness Validation in Service-Oriented Architectures -- 2. Fault Tolerance and System Evaluation -- A Self-repair Architecture for Cluster Systems -- Handling Software Faults with Redundancy -- A Uniform Approach to Security and Fault-Tolerance Specification and Analysis -- A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation -- 3. Architecting Security -- Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems -- Architecting Security with Paradigm -- Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services -- Compositional Verification of Architectural Refactorings. |
| Record Nr. | UNISA-996465641703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecting dependable systems VI / / Rogerio de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabbio Gadducci, Maurice ter Beek (eds.)
| Architecting dependable systems VI / / Rogerio de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabbio Gadducci, Maurice ter Beek (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XII, 335 p.) |
| Disciplina | 004.22 |
| Altri autori (Persone) |
LemosRogerio de <1961->
FabreJean-Charles GacekCristina <1964-> GadducciFabbio <1966-> ter BeekMaurice |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer architecture
Computer systems - Reliability Fault-tolerant computing |
| ISBN | 3-642-10248-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Dependable Service-Oriented Architectures -- A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures -- Towards Self-adaptation for Dependable Service-Oriented Systems -- Architecting Dependable Access Control Systems for Multi-domain Computing Environments -- Soft Constraints for Dependable Service Oriented Architectures -- Robustness Validation in Service-Oriented Architectures -- 2. Fault Tolerance and System Evaluation -- A Self-repair Architecture for Cluster Systems -- Handling Software Faults with Redundancy -- A Uniform Approach to Security and Fault-Tolerance Specification and Analysis -- A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation -- 3. Architecting Security -- Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems -- Architecting Security with Paradigm -- Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services -- Compositional Verification of Architectural Refactorings. |
| Record Nr. | UNINA-9910483069203321 |
| Berlin ; ; Heidelberg, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||