A Resource-Oriented Static Analysis Approach to Adaptable Java Applications
2008-01-01 Autili, Marco; Paolo, DI BENEDETTO; Inverardi, Paola; Fabio, Mancinelli
A publication culture in software engineering (panel)
2013-01-01 Steven, Fraser; Luciano, Baresi; Jane, Cleland Huang; Carlo A, Furia; Georges, Gonthier; Inverardi, Paola; Moshe, Y. Vardi
A programming model for adaptable Java applications
2010-01-01 Autili, Marco; Di Benedetto, Paolo; Inverardi, Paola
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
2009-01-01 Valérie, Issarny; Bernhard, Steffen; Bengt, Jonsson; GORDON S., Blair; Paul, Grace; MARTA Z., Kwiatkowska; Radu, Calinescu; Inverardi, Paola; Tivoli, Massimo; Antonia, Bertolino; Antonino, Sabetta
Exploiting software architecture to support requirements satisfaction testing
2011-01-01 Paul C., Clements; María José Escalona, Cuaresma; Inverardi, Paola; Ivano, Malavolta; Eda, Marchetti
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems
2011-01-01 Antonia, Bertolino; Antonello, Calabrò; Felicita Di, Giandomenico; Nicola, Nostro; Inverardi, Paola; Romina, Spalazzese
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems
2013-01-01 Marco, Mori; Anthony, Cleve; Inverardi, Paola
Towards a formalization of mediating connectors for on the fly interoperability
2009-01-01 Romina, Spalazzese; Inverardi, Paola; Valérie, Issarny
Towards a Stem Architecture Description Language for Self-Adaptive Systems
2010-01-01 DI MARCO, Antinisca; Francesco, Gallo; Inverardi, Paola; Ippoliti, Rodolfo
A Development Process for Context-Aware Adaptive Services
2008-01-01 Autili, Marco; DI BENEDETTO, P; DI RUSCIO, Davide; Inverardi, Paola; Tivoli, Massimo
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems
2011-01-01 Marco, Mori; Fei, Li; Christoph, Dorn; Inverardi, Paola; Schahram, Dustdar
Mediating Connector Patterns for Components Interoperability
2010-01-01 Inverardi, Paola; Spalazzese, Romina
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns
2013-01-01 Inverardi, Paola; Tivoli, Massimo
A Monitoring Tool for Linear-Time $$\mu $$HML
2022-01-01 Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
Monitoring Hyperproperties with Circuits
2022-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian
Synthesizing self-adaptive connectors meeting functional and performance concerns
2013-01-01 DI MARCO, Antinisca; Inverardi, Paola; Spalazzese, R.
On-the-fly image classification to help blind people
2016-01-01 Aljasem, D. K.; Heeney, M.; Gritti, A. P.; Raimondi, F.
A synergistic and extensible framework for multi-agent system verification
2013-01-01 Hunter, J.; Raimondi, F.; Rungta, N.; Stocker, R.
Context-Aware Adaptive Services: The PLASTIC Approach
2009-01-01 Autili, M; Di Benedetto, Paolo; Inverardi, P
Complexity through Translations for Modal Logic with Recursion
2022-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingolfsdottir, Anna
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications | 1-gen-2008 | Autili, Marco; Paolo, DI BENEDETTO; Inverardi, Paola; Fabio, Mancinelli | |
A publication culture in software engineering (panel) | 1-gen-2013 | Steven, Fraser; Luciano, Baresi; Jane, Cleland Huang; Carlo A, Furia; Georges, Gonthier; Inverardi, Paola; Moshe, Y. Vardi | |
A programming model for adaptable Java applications | 1-gen-2010 | Autili, Marco; Di Benedetto, Paolo; Inverardi, Paola | |
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems | 1-gen-2009 | Valérie, Issarny; Bernhard, Steffen; Bengt, Jonsson; GORDON S., Blair; Paul, Grace; MARTA Z., Kwiatkowska; Radu, Calinescu; Inverardi, Paola; Tivoli, Massimo; Antonia, Bertolino; Antonino, Sabetta | |
Exploiting software architecture to support requirements satisfaction testing | 1-gen-2011 | Paul C., Clements; María José Escalona, Cuaresma; Inverardi, Paola; Ivano, Malavolta; Eda, Marchetti | |
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems | 1-gen-2011 | Antonia, Bertolino; Antonello, Calabrò; Felicita Di, Giandomenico; Nicola, Nostro; Inverardi, Paola; Romina, Spalazzese | |
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems | 1-gen-2013 | Marco, Mori; Anthony, Cleve; Inverardi, Paola | |
Towards a formalization of mediating connectors for on the fly interoperability | 1-gen-2009 | Romina, Spalazzese; Inverardi, Paola; Valérie, Issarny | |
Towards a Stem Architecture Description Language for Self-Adaptive Systems | 1-gen-2010 | DI MARCO, Antinisca; Francesco, Gallo; Inverardi, Paola; Ippoliti, Rodolfo | |
A Development Process for Context-Aware Adaptive Services | 1-gen-2008 | Autili, Marco; DI BENEDETTO, P; DI RUSCIO, Davide; Inverardi, Paola; Tivoli, Massimo | |
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems | 1-gen-2011 | Marco, Mori; Fei, Li; Christoph, Dorn; Inverardi, Paola; Schahram, Dustdar | |
Mediating Connector Patterns for Components Interoperability | 1-gen-2010 | Inverardi, Paola; Spalazzese, Romina | |
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns | 1-gen-2013 | Inverardi, Paola; Tivoli, Massimo | |
A Monitoring Tool for Linear-Time $$\mu $$HML | 1-gen-2022 | Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna | |
Monitoring Hyperproperties with Circuits | 1-gen-2022 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian | |
Synthesizing self-adaptive connectors meeting functional and performance concerns | 1-gen-2013 | DI MARCO, Antinisca; Inverardi, Paola; Spalazzese, R. | |
On-the-fly image classification to help blind people | 1-gen-2016 | Aljasem, D. K.; Heeney, M.; Gritti, A. P.; Raimondi, F. | |
A synergistic and extensible framework for multi-agent system verification | 1-gen-2013 | Hunter, J.; Raimondi, F.; Rungta, N.; Stocker, R. | |
Context-Aware Adaptive Services: The PLASTIC Approach | 1-gen-2009 | Autili, M; Di Benedetto, Paolo; Inverardi, P | |
Complexity through Translations for Modal Logic with Recursion | 1-gen-2022 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingolfsdottir, Anna |
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1084
Data di pubblicazione
- 2020 - 2024235
- 2010 - 2019590
- 2000 - 2009213
- 1990 - 199941
- 1982 - 19895
Editore
- Springer82
- IEEE Computer Society38
- IEEE31
- Institute of Electrical and Elect...22
- Springer Verlag20
- ACM17
- Association for Computing Machine...16
- Springer-Verlag14
- CEUR-WS12
- Springer International Publishing11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...31
- JOURNAL OF LOW TEMPERATURE PHYSICS13
- POS PROCEEDINGS OF SCIENCE13
- ELECTRONIC PROCEEDINGS IN THEORET...7
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...26
- LECTURE NOTES IN COMPUTER SCIENCE17
- LEIBNIZ INTERNATIONAL PROCEEDINGS...14
- AIP CONFERENCE PROCEEDINGS7
- ADVANCES IN NEURAL INFORMATION PR...3
- PROCEEDINGS OF SPIE, THE INTERNAT...3
- FRONTIERS IN ARTIFICIAL INTELLIGE...2
- LECTURE NOTES IN COMPUTER SCIENCE2
- NUCLEAR PHYSICS B - PROCEEDINGS S...2
- PROCEEDINGS / AAAI- ... NATIONAL ...2
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory6
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng650
- ita11
- und7
- slv1
Accesso al fulltext
- no fulltext922
- reserved96
- open63
- partially open3