Sfoglia per Autore
Synthesis of "correct" adaptors for protocol enhancement in component based systems
2004-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo; Garlan, D.
Automatic adaptor synthesis for protocol transformation
2004-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach
2005-01-01 Inverardi, Paola; Mostarda, L; Tivoli, Massimo; Autili, Marco
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors
2006-01-01 Tivoli, Massimo; Autili, Marco
Synthesis of concurrent and distributed adaptors for component-based systems
2006-01-01 Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo
Synthesis of decentralized adaptors for concurrent and distributed component-based systems
2006-01-01 Autili, Marco; Flammini, Michele; Navarra, A; Inverardi, Paola; Tivoli, Massimo
A Conceptual Model for Adaptable Context-aware Services
2006-01-01 Autili, Marco; Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola
A Scenario Based Notation for Specifying Temporal Properties
2006-01-01 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787
2007-01-01 Autili, Marco; Inverardi, Paola; Alfredo, Navarra; Massimo, Tivoli
On the adaptation of context-aware services
2007-01-01 Autili, Marco; Cortellessa, Vittorio; DI BENEDETTO, Paolo; Inverardi, Paola
A Development Process for Self-adapting Service Oriented Applications
2007-01-01 Autili, Marco; Cortellessa, Vittorio; DI MARCO, Antinisca; DI RUSCIO, Davide; Inverardi, Paola; Tivoli, Massimo
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach
2007-01-01 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
2007-01-01 Autili, Marco; Inverardi, Paola; Navarra, A; Tivoli, Massimo
Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios
2008-01-01 Autili, Marco
Service Lifecycle Management
2008-01-01 Autili, Marco; Bertolino, A.; Cordier, C.; Bharat, B.; Orda, I.; Baladro, C.; Gorman, J.; Klintskog, E.; Devlic, A.
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications
2008-01-01 Autili, Marco; Paolo, DI BENEDETTO; Inverardi, Paola; Fabio, Mancinelli
Towards Self-evolving Context-aware Services
2008-01-01 Autili, Marco; Di Benedetto, Paolo; Inverardi, Paola; Tamburri, Damien
Towards a Graphical Tool for Refining User to System Requirements
2008-01-01 Autili, Marco; Pelliccione, Patrizio
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems
2008-01-01 Autili, Marco; Mostarda, L; Navarra, A; Tivoli, Massimo
A Development Process for Context-Aware Adaptive Services
2008-01-01 Autili, Marco; DI BENEDETTO, P; DI RUSCIO, Davide; Inverardi, Paola; Tivoli, Massimo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Synthesis of "correct" adaptors for protocol enhancement in component based systems | 1-gen-2004 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo; Garlan, D. | |
Automatic adaptor synthesis for protocol transformation | 1-gen-2004 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach | 1-gen-2005 | Inverardi, Paola; Mostarda, L; Tivoli, Massimo; Autili, Marco | |
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors | 1-gen-2006 | Tivoli, Massimo; Autili, Marco | |
Synthesis of concurrent and distributed adaptors for component-based systems | 1-gen-2006 | Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo | |
Synthesis of decentralized adaptors for concurrent and distributed component-based systems | 1-gen-2006 | Autili, Marco; Flammini, Michele; Navarra, A; Inverardi, Paola; Tivoli, Massimo | |
A Conceptual Model for Adaptable Context-aware Services | 1-gen-2006 | Autili, Marco; Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola | |
A Scenario Based Notation for Specifying Temporal Properties | 1-gen-2006 | Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio | |
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787 | 1-gen-2007 | Autili, Marco; Inverardi, Paola; Alfredo, Navarra; Massimo, Tivoli | |
On the adaptation of context-aware services | 1-gen-2007 | Autili, Marco; Cortellessa, Vittorio; DI BENEDETTO, Paolo; Inverardi, Paola | |
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 | |
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach | 1-gen-2007 | Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio | |
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems | 1-gen-2007 | Autili, Marco; Inverardi, Paola; Navarra, A; Tivoli, Massimo | |
Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios | 1-gen-2008 | Autili, Marco | |
Service Lifecycle Management | 1-gen-2008 | Autili, Marco; Bertolino, A.; Cordier, C.; Bharat, B.; Orda, I.; Baladro, C.; Gorman, J.; Klintskog, E.; Devlic, A. | |
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 | |
Towards a Graphical Tool for Refining User to System Requirements | 1-gen-2008 | Autili, Marco; Pelliccione, Patrizio | |
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems | 1-gen-2008 | Autili, Marco; Mostarda, L; Navarra, A; Tivoli, Massimo | |
A Development Process for Context-Aware Adaptive Services | 1-gen-2008 | Autili, Marco; DI BENEDETTO, P; DI RUSCIO, Davide; Inverardi, Paola; Tivoli, Massimo |
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