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
CHOREOS: Large scale choreographies for the future internet
2014-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction
2017-01-01 Abusair, Mai; Di Marco, Antinisca; Inverardi, Paola
Don't You Agree with My Ethics? Let's Negotiate!
2023-01-01 Memon, Mashal Afzal; Scoccia, Gian Luca; Inverardi, Paola; Autili, Marco
Towards Adaptable and Evolving Service Choreography in the Future Internet
2014-01-01 DI SALLE, Amleto; Inverardi, Paola; Alexander, Perucci; DI SALLE, Amleto
Symbolic model checking for one-resource RB?ATL
2015-01-01 Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F.
Decidable model-checking for a resource logic with production of resources
2014-01-01 Alechina, N.; Logan, B.; Nga Nguyen, H.; Raimondi, F.
Introducing Trust in Service-oriented Distributed Systems through Blockchain
2019-01-01 Autili, Marco; Gallo, Francesco; Inverardi, Paola; Pompilio, Claudio; Tivoli, Massimo
AI Act and Individual Rights: A Juridical and Technical Perspective
2022-01-01 Alfieri, C.; Caroccia, F.; Inverardi, P.
An empirical approach for determining context of mobile systems
2017-01-01 Abusair, Mai; Di Marco, Antinisca; Inverardi, Paola
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| CHOREOS: Large scale choreographies for the future internet | 1-gen-2014 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
| Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction | 1-gen-2017 | Abusair, Mai; Di Marco, Antinisca; Inverardi, Paola | |
| Don't You Agree with My Ethics? Let's Negotiate! | 1-gen-2023 | Memon, Mashal Afzal; Scoccia, Gian Luca; Inverardi, Paola; Autili, Marco | |
| Towards Adaptable and Evolving Service Choreography in the Future Internet | 1-gen-2014 | DI SALLE, Amleto; Inverardi, Paola; Alexander, Perucci; DI SALLE, Amleto | |
| Symbolic model checking for one-resource RB?ATL | 1-gen-2015 | Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F. | |
| Decidable model-checking for a resource logic with production of resources | 1-gen-2014 | Alechina, N.; Logan, B.; Nga Nguyen, H.; Raimondi, F. | |
| Introducing Trust in Service-oriented Distributed Systems through Blockchain | 1-gen-2019 | Autili, Marco; Gallo, Francesco; Inverardi, Paola; Pompilio, Claudio; Tivoli, Massimo | |
| AI Act and Individual Rights: A Juridical and Technical Perspective | 1-gen-2022 | Alfieri, C.; Caroccia, F.; Inverardi, P. | |
| An empirical approach for determining context of mobile systems | 1-gen-2017 | Abusair, Mai; Di Marco, Antinisca; Inverardi, Paola |
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 ...1389
Data di pubblicazione
- 2020 - 2026492
- 2010 - 2019632
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE37
- 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 SCIENCE42
- 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 PROCEEDINGS5
- 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
- eng791
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1182
- open101
- reserved96
- partially open10