Overview

Full Product Details

Author:   Rogério de Lemos ,  Felicita Giandomenico ,  Cristina Gacek ,  Henry Muccini
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2008 ed.
Volume:   5135
Dimensions:   Width: 15.50cm , Height: 1.90cm , Length: 23.50cm
Weight:   0.551kg
ISBN:  

9783540855705

ISBN 10:   354085570
Pages:   343
Publication Date:   28 August 2008
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

1. Critical Infrastructures.- The CRUTIAL Architecture for Critical Information Infrastructures.- A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures.- Evaluation of Critical Infrastructures: Challenges and Viable Approaches.- Analysis of a Redundant Architecture for Critical Infrastructure Protection.- A Robust Semantic Overlay Network for Microgrid Control Applications.- Architecting Dependable and Secure Systems Using Virtualization.- 2. Rigorous Design/Fault Tolerance.- Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services.- Design, Implementation and Deployment of State Machines Using a Generative Approach.- Handling Emergent Nondeterminism in Replicated Services.- 3. Verification and Validation.- Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios.- Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.- Plug-and-Play Architectural Design and Verification.- Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples.- Using Architecture Analysis to Evolve Complex Industrial Systems.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions