Formal Methods for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

ISBN: 978-3-642-35886-9 (Print) 978-3-642-35887-6 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages -

  2. The ASCENS Project

    1. No Access

      Book Chapter

      Pages 1-24

      ASCENS: Engineering Autonomic Service-Component Ensembles

    2. No Access

      Book Chapter

      Pages 25-48

      A Language-Based Approach to Autonomic Computing

    3. No Access

      Book Chapter

      Pages 49-68

      A Survey on Basic Connectors and Buffers

  3. The EternalS Coordination Action

    1. No Access

      Book Chapter

      Pages 69-88

      Synthesis-Based Variability Control: Correctness by Construction

    2. No Access

      Book Chapter

      Pages 89-108

      Modeling Application-Level Management of Virtualized Resources in ABS

    3. No Access

      Book Chapter

      Pages 109-132

      HATS Abstract Behavioral Specification: The Architectural View

    4. No Access

      Book Chapter

      Pages 133-149

      Automatic Service Categorisation through Machine Learning in Emergent Middleware

    5. No Access

      Book Chapter

      Pages 150-168

      Towards a Model- and Learning-Based Framework for Security Anomaly Detection

    6. No Access

      Book Chapter

      Pages 169-183

      Enhancing Model Driven Security through Pattern Refinement Techniques

    7. No Access

      Book Chapter

      Pages 184-198

      Project Zeppelin: A Modern Web Application Development Framework

  4. The ParaPhrase Project

    1. No Access

      Book Chapter

      Pages 199-217

      Managing Adaptivity in Parallel Systems

    2. No Access

      Book Chapter

      Pages 218-236

      The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems

    3. No Access

      Book Chapter

      Pages 237-256

      Paraphrasing: Generating Parallel Programs Using Refactoring

    4. No Access

      Book Chapter

      Pages 257-276

      An Abstract Annotation Model for Skeletons

  5. The PRO3D Project

    1. No Access

      Book Chapter

      Pages 277-293

      PRO3D, Programming for Future 3D Manycore Architectures: Project’s Interim Status

    2. No Access

      Book Chapter

      Pages 294-313

      Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems

    3. No Access

      Book Chapter

      Pages 314-333

      Component Assemblies in the Context of Manycore

    4. No Access

      Book Chapter

      Pages 334-353

      Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints

  6. Back Matter

    Pages -