Architecting dependable systems III / / Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, : Springer, 2005 |
Descrizione fisica | 1 online resource (XIV, 343 p.) |
Disciplina | 004.2/2 |
Altri autori (Persone) |
LemosRogerio de <1961->
GacekCristina <1964-> RomanovskyAlexander <1954-> |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer architecture
Computer systems - Reliability Fault-tolerant computing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Architectures for dependable services -- pt. 2. Monitoring and reconfiguration in software architectures -- pt. 3. Dependability support for software architectures -- pt. 4. Architectural evaluation -- pt. 5. Architectural abstractions for dependability. |
Altri titoli varianti |
Architecting dependable systems 3
Architecting dependable systems three |
Record Nr. | UNINA-9910483066803321 |
Berlin, : Springer, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
|
Architecting dependable systems VII / / Antonio Casimiro, Rogerio de Lemos, Cristina Gacek (eds.) |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, : Springer, 2010 |
Descrizione fisica | 1 online resource (XII, 324 p. 101 illus.) |
Disciplina | 004.2/2 |
Altri autori (Persone) |
CasimiroAntonio
LemosRogerio de <1961-> GacekCristina <1964-> |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
Soggetto topico |
Computer architecture
Computer systems - Reliability Fault-tolerant computing |
ISBN |
1-280-39044-1
9786613568366 3-642-17245-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Mobile and Ubiquitous Systems -- Self-healing for Pervasive Computing Systems -- Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control -- Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform -- 2. Architecting Systems -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing Reliability: The Interaction of Requirements, Tactics and Architecture Patterns -- A Framework for Flexible and Dependable Service-Oriented Embedded Systems -- Architecting Robustness and Timeliness in a New Generation of Aerospace Systems -- 3. Fault Management -- Architecting Dependable Systems with Proactive Fault Management -- ASDF: An Automated, Online Framework for Diagnosing Performance Problems -- 4. Experience and Vision -- Is Collaborative QoS the Solution to the SOA Dependability Dilemma? -- Software Assumptions Failure Tolerance: Role, Strategies, and Visions -- Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges -- Architecting and Validating Dependable Systems: Experiences and Visions. |
Altri titoli varianti |
Architecting dependable systems 7
Architecting dependable systems seven |
Record Nr. | UNINA-9910484524003321 |
Berlin, : Springer, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|