TY  - BOOK
AU  - Beckert,Bernhard
AU  - Damiani,Ferruccio
AU  - Boer,Frank S.de
AU  - Bonsangue,Marcello M
TI  - Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers 
SN  - 9783642358876
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Operating systems (Computers)
KW  - Computer logic
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-35887-6
ER  -