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
Better Late Than Never or: Verifying Asynchronous Components at Runtime
2021-01-01 Paul Attard, Duncan; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
A development process for requirements based service choreography
2011-01-01 Marco, Autili; Davide Di, Ruscio; Inverardi, P; James, Lockerbie; Massimo, Tivoli
A statistical approach for context-awareness of mobile applications
2020-01-01 Abusair, M.; Sharaf, M.; Di Marco, A.; Inverardi, P.
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems
2024-01-01 Afzal Memon, Mashal; Scoccia, GIAN LUCA; Autili, Marco; Inverardi, Paola
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains
2019-01-01 Perucci, Alexander; Autili, Marco; Tivoli, Massimo; Aloisio, Alessandro; Inverardi, Paola
Automated integration of service-oriented software systems
2015-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| Better Late Than Never or: Verifying Asynchronous Components at Runtime | 1-gen-2021 | Paul Attard, Duncan; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
| A development process for requirements based service choreography | 1-gen-2011 | Marco, Autili; Davide Di, Ruscio; Inverardi, P; James, Lockerbie; Massimo, Tivoli | |
| A statistical approach for context-awareness of mobile applications | 1-gen-2020 | Abusair, M.; Sharaf, M.; Di Marco, A.; Inverardi, P. | |
| An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems | 1-gen-2024 | Afzal Memon, Mashal; Scoccia, GIAN LUCA; Autili, Marco; Inverardi, Paola | |
| Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains | 1-gen-2019 | Perucci, Alexander; Autili, Marco; Tivoli, Massimo; Aloisio, Alessandro; Inverardi, Paola | |
| Automated integration of service-oriented software systems | 1-gen-2015 | Autili, Marco; 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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1398
Data di pubblicazione
- 2020 - 2026500
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- 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 COMPUTER SCIENCE43
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS6
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1190
- open101
- reserved97
- partially open10