![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
10. FMCO 2011: Turin, Italy
- Bernhard Beckert
, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7542, Springer 2013, ISBN 978-3-642-35886-9
The ASCENS Project
- Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli:
ASCENS: Engineering Autonomic Service-Component Ensembles. 1-24 - Rocco De Nicola
, Gian-Luigi Ferrari
, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. 25-48 - Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
A Survey on Basic Connectors and Buffers. 49-68
The EternalS Coordination Action
- Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
Synthesis-Based Variability Control: Correctness by Construction. 69-88 - Einar Broch Johnsen, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa:
Modeling Application-Level Management of Virtualized Resources in ABS. 89-108 - Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong:
HATS Abstract Behavioral Specification: The Architectural View. 109-132 - Amel Bennaceur
, Valérie Issarny, Richard Johansson, Alessandro Moschitti, Romina Spalazzese
, Daniel Sykes:
Automatic Service Categorisation through Machine Learning in Emergent Middleware. 133-149 - Matthias Gander, Basel Katt, Michael Felderer, Ruth Breu:
Towards a Model- and Learning-Based Framework for Security Anomaly Detection. 150-168 - Basel Katt, Matthias Gander, Ruth Breu, Michael Felderer:
Enhancing Model Driven Security through Pattern Refinement Techniques. 169-183 - Leigh Griffin, Peter Elger, Eamonn de Leastar:
Project Zeppelin: A Modern Web Application Development Framework. 184-198
The ParaPhrase Project
- Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini:
Managing Adaptivity in Parallel Systems. 199-217 - Kevin Hammond
, Marco Aldinucci, Christopher Brown
, Francesco Cesarini, Marco Danelutto, Horacio González-Vélez, Peter Kilpatrick, Rainer Keller, Michael Rossbory, Gilad Shainer:
The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. 218-236 - Christopher Brown
, Kevin Hammond
, Marco Danelutto, Peter Kilpatrick, Holger Schöner, Tino Breddin:
Paraphrasing: Generating Parallel Programs Using Refactoring. 237-256 - Marco Aldinucci, Sonia Campa, Peter Kilpatrick, Fabio Tordini
, Massimo Torquati:
An Abstract Annotation Model for Skeletons. 257-276
The PRO3D Project
- Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, Eric Flamand, Jean-Pierre Krimm, Julien Mottin, Lars Schor, Pratyush Kumar, Hoeseok Yang, Devesh B. Chokshi, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano:
PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. 277-293 - Lars Schor, Hoeseok Yang, Iuliana Bacivarov, Lothar Thiele:
Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems. 294-313 - Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis:
Component Assemblies in the Context of Manycore. 314-333 - Sylvain Durand, Suzanne Lesecq, Edith Beigné, Christian Fabre
, Lionel Vincent, Diego Puschini:
Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints. 334-353
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.