Sfoglia per Serie
A Calculus for Boxes and Traits in a Java-Like Setting
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer
A Filter Model for the Lambda-Mu Calculus
2011-01-01 Steffen van Bakel; Franco Brabanera; Ugo de'Liguoro
A Formal Model for Multi SPLs
2017-01-01 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
A nonmonotonic extension of KLM Preferential Logic P
2010-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A Probabilistic Applied Pi-Calculus
2007-01-01 J. GOUBAULT-LARRECQ; C. PALAMIDESSI; A. TROINA
A safe implementation of dynamic overloading in Java-like languages
2010-01-01 Lorenzo Bettini; Sara Capecchi; Betti Venneri
A Semantics-based Dialogue for Interoperability of user-Adaptive Systems in a Ubiquitous Environment
2007-01-01 Cena Federica; Aroyo Lora
A Virtual Interpreter for the Italian Sign Language
2010-01-01 Vincenzo Lombardo; Fabrizio Nunnari; Rossana Damiano
An Abstract Annotation Model for Skeletons
2013-01-01 Marco, Aldinucci; Fabio, Tordini; Sonia, Campa; Peter, Kilpatrick; Massimo, Torquati
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?
2011-01-01 Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
Abstraction refinement for the analysis of software product lines
2017-01-01 Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
Accelerating code on multi-cores with FastFlow
2011-01-01 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimiliano Meneghin; Massimo Torquati
Adding Dependability Analysis capabilities to the MARTE profile
2008-01-01 Simona Bernardi; José Merseguer; Dorina C. Petriu
Agent Cooperation for Monitoring and Diagnosing a MAP
2009-01-01 Roberto Micalizio; Pietro Torasso
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
2010-01-01 M. Baldoni; A. Omicini; C. Baroglio; V. Mascardi; P. Torroni
An Algebraic Theory for Web Service Contracts
2013-01-01 Cosimo, Laneve; Padovani, Luca
An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks
2008-01-01 Daniele Manini; Marco Gribaudo
Analysis of timed properties using the jump-diffusion approximation
2017-01-01 Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy
And Now What We Do with Our Schoolchildren?
2016-01-01 Giuseppina Barbara, Demo
Approaches and Tools for Implementing Type Systems in Xtext
2013-01-01 L. Bettini;D. Stoll;M. Völter;S. Colameo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Calculus for Boxes and Traits in a Java-Like Setting | 2010 | Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer | |
A Filter Model for the Lambda-Mu Calculus | 2011 | Steffen van Bakel; Franco Brabanera; Ugo de'Liguoro | |
A Formal Model for Multi SPLs | 2017 | Damiani Ferruccio; Michael LIENHARDT; Luca Paolini | |
A nonmonotonic extension of KLM Preferential Logic P | 2010 | L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato | |
A Probabilistic Applied Pi-Calculus | 2007 | J. GOUBAULT-LARRECQ; C. PALAMIDESSI; A. TROINA | |
A safe implementation of dynamic overloading in Java-like languages | 2010 | Lorenzo Bettini; Sara Capecchi; Betti Venneri | |
A Semantics-based Dialogue for Interoperability of user-Adaptive Systems in a Ubiquitous Environment | 2007 | Cena Federica; Aroyo Lora | |
A Virtual Interpreter for the Italian Sign Language | 2010 | Vincenzo Lombardo; Fabrizio Nunnari; Rossana Damiano | |
An Abstract Annotation Model for Skeletons | 2013 | Marco, Aldinucci; Fabio, Tordini; Sonia, Campa; Peter, Kilpatrick; Massimo, Torquati | |
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? | 2011 | Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani | |
Abstraction refinement for the analysis of software product lines | 2017 | Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael | |
Accelerating code on multi-cores with FastFlow | 2011 | Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimiliano Meneghin; Massimo Torquati | |
Adding Dependability Analysis capabilities to the MARTE profile | 2008 | Simona Bernardi; José Merseguer; Dorina C. Petriu | |
Agent Cooperation for Monitoring and Diagnosing a MAP | 2009 | Roberto Micalizio; Pietro Torasso | |
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? | 2010 | M. Baldoni; A. Omicini; C. Baroglio; V. Mascardi; P. Torroni | |
An Algebraic Theory for Web Service Contracts | 2013 | Cosimo, Laneve; Padovani, Luca | |
An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks | 2008 | Daniele Manini; Marco Gribaudo | |
Analysis of timed properties using the jump-diffusion approximation | 2017 | Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy | |
And Now What We Do with Our Schoolchildren? | 2016 | Giuseppina Barbara, Demo | |
Approaches and Tools for Implementing Type Systems in Xtext | 2013 | L. Bettini;D. Stoll;M. Völter;S. Colameo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile