IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 121 a 140 di 214
Titolo Data di pubblicazione Autore(i) File
Model-Based System Reconfiguration for Dynamic Performance Management 1-gen-2007 Caporuscio, M; DI MARCO, Antinisca; Inverardi, Paola
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 1-gen-2007 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
A reuse-based approach to the correct and automatic composition of web-services 1-gen-2007 Inverardi, Paola; Tivoli, Massimo
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 1-gen-2007 Autili, Marco; Inverardi, Paola; Navarra, A; Tivoli, Massimo
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level 1-gen-2007 Inverardi, Paola; Mostarda, L.
Integrating performance and reliability analysis in a Non-Functional MDA framework 1-gen-2007 Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola
A GEO TIME AUTHENTICATION SYSTEM 1-gen-2007 Costantini, Stefania; Inverardi, P; L., MOSTARDA L; Tocchio, A.
A Development Process for Self-adapting Service Oriented Applications 1-gen-2007 Autili, Marco; Cortellessa, Vittorio; DI MARCO, Antinisca; DI RUSCIO, Davide; Inverardi, Paola; Tivoli, Massimo
PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication 1-gen-2008 Antonia, Bertolino; Wolfgang, Emmerich; Inverardi, Paola; Valérie, Issarny; Fotios, Liotopoulos; Pierre, Plaza
The Future of Software: Adaptation and Dependability 1-gen-2008 Inverardi, Paola; Tivoli, Massimo
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 1-gen-2008 Autili, Marco; Paolo, DI BENEDETTO; Inverardi, Paola; Fabio, Mancinelli
Towards Self-evolving Context-aware Services 1-gen-2008 Autili, Marco; Di Benedetto, Paolo; Inverardi, Paola; Tamburri, Damien
Failure-free coordinators synthesis for component-based architectures 1-gen-2008 Tivoli, Massimo; Inverardi, Paola
A Framework for Analyzing and Testing the Performance of Software Services 1-gen-2008 Bertolino, A; DE ANGELIS, G; DI MARCO, Antinisca; Inverardi, Paola; Sabetta, A; Tivoli, Massimo
The Future of Software: Adaptation and Dependability 1-gen-2008 Inverardi, Paola; Tivoli, Massimo
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency 1-gen-2008 Carlo, Ghezzi; Inverardi, Paola; Carlo, Montangero
A Development Process for Context-Aware Adaptive Services 1-gen-2008 Autili, Marco; DI BENEDETTO, P; DI RUSCIO, Davide; Inverardi, Paola; Tivoli, Massimo
CHARMY: A Framework for Designing and Verifying Architectural Specifications 1-gen-2009 Pelliccione, Patrizio; Inverardi, Paola; Muccini, Henry
Towards An Assume-Guarantee Theory for Adaptable Systems 1-gen-2009 Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Towards a formalization of mediating connectors for on the fly interoperability 1-gen-2009 Romina, Spalazzese; Inverardi, Paola; Valérie, Issarny
Mostrati risultati da 121 a 140 di 214
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