Formal Methods for Components and Objects

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5,2011, Revised Selected Papers, Lecture Notes in Computer Science 7542 – Programming and Software Engineering

ISBN: 3642358861
ISBN 13: 9783642358869
Herausgeber: Bernhard Beckert/Ferruccio Damiani/Frank S de Boer et al
Verlag: Springer Verlag GmbH
Umfang: x, 356 S., 129 s/w Illustr., 356 p. 129 illus.
Erscheinungsdatum: 03.01.2013
Auflage: 1/2013
Produktform: Kartoniert
Einband: KT
Artikelnummer: 4210130 Kategorie:

Beschreibung

InhaltsangabeThe 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.

Das könnte Ihnen auch gefallen …