Sfoglia per Autore
Predicting Performance Properties for Open Systems with KAMI
2009-01-01 Ghezzi, Carlo; Tamburrelli, Giordano
Reasoning on Non Functional Requirements for Integrated Services
2009-01-01 Ghezzi, Carlo; Tamburrelli, Giordano
Embedding continuous lifelong verification in service life cycles
2009-01-01 Bianculli, Domenico; Ghezzi, Carlo; C., Pautasso
The Role of Contracts in Distributed Development
2009-01-01 M., Nordio; R., Mitin; B., Meyer; Ghezzi, Carlo; DI NITTO, Elisabetta; Tamburrelli, Giordano
Model Evolution by Run-Time Parameter Adaptation
2009-01-01 Epifani, Ilenia; Ghezzi, Carlo; Mirandola, Raffaela; Tamburrelli, Giordano
ReMAN: A pro-active reputation management infrastructure for composite web services
2009-01-01 Bianculli, Domenico; W., Binder; Drago, MAURO LUIGI; Ghezzi, Carlo
Synthesizing Intensional Behavior Models by Graph Transformation
2009-01-01 Ghezzi, Carlo; Mocci, Andrea; M., Monga
QVTR²: a Rational and Performance-aware Extension to the Relations Language
2010-01-01 Drago, MAURO LUIGI; Ghezzi, Carlo; Mirandola, Raffaela
Model-driven Management of Services
2010-01-01 Baresi, Luciano; Caporuscio, M.; Ghezzi, Carlo; GUINEA MONTALVO, SAM JESUS ALEJANDRO
Anquiro: Enabling Efficient Static Verification of Sensor Network Software
2010-01-01 Mottola, Luca; Thiemo, Voigt; Fredrik, Osterlind; Joakim, Eriksson; Baresi, Luciano; Ghezzi, Carlo
Architectural Issues of Adaptive Pervasive Systems
2010-01-01 Caporuscio, Mauro; Funaro, Marco; Ghezzi, Carlo
Behavior Model Based Component Search: An Initial Assessment
2010-01-01 Ghezzi, Carlo; Mocci, Andrea
The Disappearing Boundary Between Development-time and Run-time
2010-01-01 Baresi, Luciano; Ghezzi, Carlo
A hybrid approach (syntactic and textual) to clone detection
2010-01-01 Funaro, Marco; Braga, DANIELE MARIA; Campi, Alessandro; Ghezzi, Carlo
Change-point detection for black-box services
2010-01-01 Epifani, Ilenia; Ghezzi, Carlo; Tamburrelli, Giordano
An Empirical Investigation Into Large-Scale Java Open Source Code Repository
2010-01-01 M., Grechanik; C., Mcmillan; L., De Ferrari; Comi, Marco; CRESPI REGHIZZI, Stefano; D., Poshyvanyk; C., Fu; Q., Xie; Ghezzi, Carlo
QoS Driven Dynamic Binding in-the-many
2010-01-01 Ghezzi, Carlo; Motta, Alfredo; PANZICA LA MANNA, Valerio; Tamburrelli, Giordano
First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010)
2010-01-01 Ghezzi, Carlo; Lars, Grunske; Mirandola, Raffaela
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang
2010-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Service Provisioning on the Cloud: Distributed Algorithms for Joint Capacity Allocation and Admission Control
2010-01-01 Ardagna, Danilo; Ghezzi, Carlo; B., Panicucci; M., Trubian
Context Oriented Programming in Highly Concurrent Systems
2010-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Automatic Cross Validation of Multiple Specifications: A Case Study
2010-01-01 Ghezzi, Carlo; Mocci, Andrea; Salvaneschi, Guido
Reliability Analysis of Component-Based Systems with Multiple Failure Modes
2010-01-01 Filieri, Antonio; Ghezzi, Carlo; V., Grassi; Mirandola, Raffaela
Towards Quality Driven Exploration of Model Transformation Spaces
2011-01-01 Drago, MAURO LUIGI; Ghezzi, Carlo; Mirandola, Raffaela
Runtime Monitoring of Functional Component Changes with Behavior Models
2011-01-01 Ghezzi, Carlo; Mocci, Andrea; Sangiorgio, Mario
Engineering Evolving and Self-Adaptive Systems: An Overview
2011-01-01 Ghezzi, Carlo
Process Programming in the Service Age: Old Problems and New Challenges
2011-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; SALES HOLANDA PINTO, Leandro
A compositional method for reliability analysis of workflows affected by multiple failure modes
2011-01-01 Distefano, Salvatore; Filieri, Antonio; Ghezzi, Carlo; Mirandola, Raffaela
Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements
2011-01-01 Filieri, Antonio; Ghezzi, Carlo; Leva, Alberto; Maggio, Martina
How do distribution and time zones affect software development? A case study on communication
2011-01-01 Nordio, M.; Estler, H. C.; Meyer, B.; Tschannen, J.; Ghezzi, C.; Di Nitto, E.
Version-consistent dynamic reconfiguration of component-based distributed systems
2011-01-01 Xiaoxing, Ma; Baresi, Luciano; Ghezzi, Carlo; PANZICA LA MANNA, Valerio; Jian, Lu
Teaching software engineering using globally distributed projects: the DOSE course
2011-01-01 M., Nordio; Ghezzi, Carlo; B., Meyer; DI NITTO, Elisabetta; Tamburrelli, Giordano; J., Tschannen; N., Aguirre; V., Kulkarni
An evaluation of the adaptation capabilities in programming languages
2011-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
2011-01-01 Baresi, Luciano; Ghezzi, Carlo; Mottola, Luca
RESTful service architectures for pervasive networking environments
2011-01-01 Caporuscio, Mauro; Funaro, Marco; Ghezzi, Carlo
Quantitative Verification of Non-Functional Requirements with Uncertainty
2011-01-01 Ghezzi, Carlo; MOLZAM SHARIFLOO, Amir
Run-time efficient probabilistic model checking
2011-01-01 Filieri, Antonio; Ghezzi, Carlo; Tamburrelli, Giordano
Verifying Non-Functional Properties of Software Product Lines
2011-01-01 Ghezzi, Carlo; MOLZAM SHARIFLOO, Amir
Computational REST Meets Erlang
2011-01-01 Sivieri, Alessandro; Cugola, Gianpaolo; Ghezzi, Carlo
Runtime monitoring of component changes with Spy@Runtime
2012-01-01 Ghezzi, Carlo; Mocci, Andrea; Sangiorgio, Mario
Synthesizing Dynamically Updating Controllers from Changes in Scenario-based Specifications
2012-01-01 Ghezzi, Carlo; Greenyer, Joel; PANZICA LA MANNA, Valerio
Methodologies and Technologies for Networked Enterprises
2012-01-01 Anastasi, G.; Bellini, E.; DI NITTO, Elisabetta; Ghezzi, Carlo; Tanca, Letizia; Zimeo, E.
“Preface” in Lecture Notes in Computer Science, Methodologies and Technologies for Networked Enterprises
2012-01-01 Anastasi, G.; Bellini, E.; Di Nitto, E.; Ghezzi, C.; Tanca, L.; Zimeo, E.
Model-Based Verification of Quantitative Non-Functional Properties for Software Product Lines
2012-01-01 Ghezzi, Carlo; MOLZAM SHARIFLOO, Amir
Introduction in Lecture Notes in Computer Science, Methodologies and Technologies for Networked Enterprises
2012-01-01 Anastasi, G.; Bellini, E.; Di Nitto, E.; Ghezzi, C.; Tanca, L.; Zimeo, E.
SelfMotion: a Declarative Language for Adaptive Service-Oriented Mobile Apps
2012-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; SALES HOLANDA PINTO, Leandro; Tamburrelli, Giordano
Reference Case Study, Lecture Notes in Computer Science
2012-01-01 Anastasi, Giuseppe; Bellini, Emilio; Di Nitto, Elisabetta; Ghezzi, Carlo; Tanca, Letizia; Zimeo, Eugenio
Reliability-driven Dynamic Binding via Feedback Control
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Leva, Alberto; M., Maggio
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Mirandola, Raffaela; Tamburrelli, Giordano
Adaptive Service-Oriented Mobile Applications: A Declarative Approach
2012-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; SALES HOLANDA PINTO, Leandro; Tamburrelli, Giordano
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