Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers / Bernhard Beckert [and others] (eds.).
| Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers / Bernhard Beckert [and others] (eds.). |
| Creatore | [FMCO 2011 (2011 : Turin, Italy)] |
| Estensione | 1 online resource. |
| Disciplina | 004.01/51 |
| Accesso persona | Beckert, Bernhard |
| Genere/Forma |
Congresses
Electronic books Conference papers and proceedings |
| Soggetto non controllato |
Computer science
Software engineering Logic design Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) |
| ISBN |
9783642358876
364235887X 9783642358869 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
The ASCENS Project -- ASCENS: Engineering Autonomic Service-Component Ensembles / Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli -- A Language-Based Approach to Autonomic Computing / Rocco De Nicola, Gianluigi Ferrari, Michele Loreti, Rosario Pugliese -- A Survey on Basic Connectors and Buffers / Roberto Bruni, Hernán Melgratti, Ugo Montanari -- The EternalS Coordination Action -- Synthesis-Based Variability Control: Correctness by Construction / Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen -- Modeling Application-Level Management of Virtualized Resources in ABS / Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa -- HATS Abstract Behavioral Specification: The Architectural View / Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt.
Automatic Service Categorisation through Machine Learning in Emergent Middleware / Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti -- Towards a Model- and Learning-Based Framework for Security Anomaly Detection / Matthias Gander, Basel Katt, Michael Felderer, Ruth Breu -- Enhancing Model Driven Security through Pattern Refinement Techniques / Basel Katt, Matthias Gander, Ruth Breu, Michael Felderer -- Project Zeppelin: A Modern Web Application Development Framework / Leigh Griffin, Peter Elger, Eamonn de Leastar -- The ParaPhrase Project -- Managing Adaptivity in Parallel Systems / Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini -- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems / Kevin Hammond, Marco Aldinucci, Christopher Brown, Francesco Cesarini, Marco Danelutto. Paraphrasing: Generating Parallel Programs Using Refactoring / Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner -- An Abstract Annotation Model for Skeletons / Marco Aldinucci, Sonia Campa, Peter Kilpatrick, Fabio Tordini, Massimo Torquati -- The PRO3D Project -- PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status / Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza -- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems / Lars Schor, Hoeseok Yang, Iuliana Bacivarov, Lothar Thiele -- Component Assemblies in the Context of Manycore / Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari -- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints / Sylvain Durand, Suzanne Lesecq, Edith Beigné, Christian Fabre, Lionel Vincent. |
| Record Nr. | NYU-004389901 |
[FMCO 2011 (2011 : Turin, Italy)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Formal methods for components and objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers / Bernhard Beckert...[et al.] (eds.).
| Formal methods for components and objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers / Bernhard Beckert...[et al.] (eds.). |
| Creatore | [FMCO 2011 (2011 : Turin, Italy)] |
| Estensione | 1 online resource. |
| Disciplina | 004.01/51 |
| Accesso persona | Beckert, Bernhard |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Computer science
Software engineering Logic design Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) |
| ISBN |
9783642358876 (electronic bk.)
364235887X (electronic bk.) 9783642358869 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
The ASCENS Project -- ASCENS: Engineering Autonomic Service-Component Ensembles / Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli -- A Language-Based Approach to Autonomic Computing / Rocco De Nicola, Gianluigi Ferrari, Michele Loreti, Rosario Pugliese -- A Survey on Basic Connectors and Buffers / Roberto Bruni, Hernán Melgratti, Ugo Montanari -- The EternalS Coordination Action -- Synthesis-Based Variability Control: Correctness by Construction / Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen -- Modeling Application-Level Management of Virtualized Resources in ABS / Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa -- HATS Abstract Behavioral Specification: The Architectural View / Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt --
Automatic Service Categorisation through Machine Learning in Emergent Middleware / Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti -- Towards a Model- and Learning-Based Framework for Security Anomaly Detection / Matthias Gander, Basel Katt, Michael Felderer, Ruth Breu -- Enhancing Model Driven Security through Pattern Refinement Techniques / Basel Katt, Matthias Gander, Ruth Breu, Michael Felderer -- Project Zeppelin: A Modern Web Application Development Framework / Leigh Griffin, Peter Elger, Eamonn de Leastar -- The ParaPhrase Project -- Managing Adaptivity in Parallel Systems / Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini -- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems / Kevin Hammond, Marco Aldinucci, Christopher Brown, Francesco Cesarini, Marco Danelutto -- Paraphrasing: Generating Parallel Programs Using Refactoring / Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner -- An Abstract Annotation Model for Skeletons / Marco Aldinucci, Sonia Campa, Peter Kilpatrick, Fabio Tordini, Massimo Torquati -- The PRO3D Project -- PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status / Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza -- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems / Lars Schor, Hoeseok Yang, Iuliana Bacivarov, Lothar Thiele -- Component Assemblies in the Context of Manycore / Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari -- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints / Sylvain Durand, Suzanne Lesecq, Edith Beigné, Christian Fabre, Lionel Vincent. |
| Record Nr. | UPENN-9960103383503681 |
|
[FMCO 2011 (2011 : Turin, Italy)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Pennsylvania | |
Formal methods for components and objects : 10th international symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : revised selected papers / Bernhard Beckert ... [et al.] (eds.).
| Formal methods for components and objects : 10th international symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : revised selected papers / Bernhard Beckert ... [et al.] (eds.). |
| Creatore | [FMCO 2011 (2011 : Turin, Italy)] |
| Estensione | 1 online resource (x, 356 p.) : ill. |
| Disciplina | 004.01/51 |
| Accesso persona | Beckert, Bernhard |
| Genere/Forma | Electronic books |
| ISBN |
9783642358869
3642358861 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | DUKE-005892376 |
|
[FMCO 2011 (2011 : Turin, Italy)]
|
|
| Materiale a stampa | |
| Lo trovi qui: Duke University | |
Formal methods for components and objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers / Bernhard Beckert...[et al.] (eds.).
| Formal methods for components and objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers / Bernhard Beckert...[et al.] (eds.). |
| Creatore | [FMCO 2011 (2011 : Turin, Italy)] |
| Estensione | 1 online resource. |
| Disciplina | 004.01/51 |
| Accesso persona | Beckert, Bernhard |
| ISBN |
364235887X (electronic bk.)
9783642358876 (electronic bk.) 9783642358869 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UALBERTA-6002001 |
|
[FMCO 2011 (2011 : Turin, Italy)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Alberta / NEOS Library Consortium | |