Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Author:   Bernhard Beckert ,  Ferruccio Damiani ,  Frank S. de Boer ,  Marcello M. Bonsangue
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   2013 ed.
Volume:   7542
ISBN:  

9783642358869


Pages:   356
Publication Date:   03 January 2013
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $145.17 Quantity:  
Add to Cart

Share |

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers


Add your own review!

Overview

Full Product Details

Author:   Bernhard Beckert ,  Ferruccio Damiani ,  Frank S. de Boer ,  Marcello M. Bonsangue
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2013 ed.
Volume:   7542
Dimensions:   Width: 15.50cm , Height: 1.90cm , Length: 23.50cm
Weight:   0.563kg
ISBN:  

9783642358869


ISBN 10:   3642358861
Pages:   356
Publication Date:   03 January 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

The ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A Language-Based Approach to Autonomic Computing.- A Survey on Basic Connectors and Buffers.- The EternalS Coordination Action.- Synthesis-Based Variability Control: Correctness by Construction.- Modeling Application-Level Management of Virtualized Resources in ABS.- HATS Abstract Behavioral Specification: The Architectural View.- Automatic Service Categorisation through Machine Learning in Emergent Middleware.- Towards a Model- and Learning-Based Framework for Security Anomaly Detection.- Enhancing Model Driven Security through Pattern Refinement Techniques.- Project Zeppelin: A Modern Web Application Development Framework.- The ParaPhrase Project.- Managing Adaptivity in Parallel Systems.- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems.- Paraphrasing: Generating Parallel Programs Using Refactoring.- An Abstract Annotation Model for Skeletons.- The PRO3D Project.- PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status.- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems.- Component Assemblies in the Context of Manycore.- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List