GHEZZI, CARLO

GHEZZI, CARLO  

Mostra records
Risultati 1 - 20 di 27 (tempo di esecuzione: 0.069 secondi).
Titolo Data di pubblicazione Autori File
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 1-gen-2008 BIANCULLI, DOMENICOGHEZZI, CARLOSPOLETINI, PAOLABARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Analyzing Mobile Code Languages 1-gen-1997 CUGOLA, GIANPAOLOGHEZZI, CARLOPICCO, GIAN PIETRO +
Architectural Issues of Adaptive Pervasive Systems 1-gen-2010 CAPORUSCIO, MAUROFUNARO, MARCOGHEZZI, CARLO
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 1-gen-2012 DI NITTO, ELISABETTADUBOIS, DANIELE JOSEPHGHEZZI, CARLOMAZZA, VALENTINAROSSI, MATTEO GIOVANNI +
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification 1-gen-2012 FILIERI, ANTONIOGHEZZI, CARLOMIRANDOLA, RAFFAELATAMBURRELLI, GIORDANO
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 1-gen-2015 GHEZZI, CARLOGIBILISCO, GIOVANNI PAOLOMENGHI, CLAUDIOMIGLIERINA, MARCO
Dynamically Evolvable Dependable Software: From Oxymoron to Reality 1-gen-2008 GHEZZI, CARLO +
Engineering Evolving and Self-Adaptive Systems: An Overview 1-gen-2011 GHEZZI, CARLO
Evolution of Software Composition Mechanisms: A Survey 1-gen-2008 GHEZZI, CARLOPACIFICI, FILIPPO
Formal Methods in Designing Critical Cyber-Physical Systems 1-gen-2019 Askarpour M.Ghezzi C.Mandrioli D.Rossi M.Tsigkanos C.
Introduction in Lecture Notes in Computer Science, Methodologies and Technologies for Networked Enterprises 1-gen-2012 Anastasi G.Bellini E.Di Nitto E.Ghezzi C.Tanca L. +
Modeling and Validation of Publish/Subscribe Architectures 1-gen-2005 BARESI, LUCIANOGHEZZI, CARLOZANOLIN, LUCA
On eclectic specification environments 1-gen-1992 GHEZZI, CARLOMANDRIOLI, DINO
Perpetual assurances for self-adaptive systems 1-gen-2017 Ghezzi, CarloMirandola, Raffaela +
“Preface” in Lecture Notes in Computer Science, Methodologies and Technologies for Networked Enterprises 1-gen-2012 G. AnastasiE. BelliniE. Di NittoC. GhezziL. Tanca +
Procedural languages 1-gen-2001 GHEZZI, CARLO
Process Programming in the Service Age: Old Problems and New Challenges 1-gen-2011 CUGOLA, GIANPAOLOGHEZZI, CARLOSALES HOLANDA PINTO, LEANDRO
Reference Case Study, Lecture Notes in Computer Science 1-gen-2012 Anastasi, GiuseppeBellini, EmilioDi Nitto, ElisabettaGhezzi, CarloTanca, Letizia +
RESTful service architectures for pervasive networking environments 1-gen-2011 CAPORUSCIO, MAUROFUNARO, MARCOGHEZZI, CARLO
Run-Time Monitoring in Service-Oriented Architectures 1-gen-2007 GHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDRO