Self-Repairing systems modeling and verification using AGG
2009-01-01 Bucchiarone, A.; Pelliccione, P.; Vattani, C.; Runge, O.
Web Service Composition Approaches: From Industrial Standards to Formal Methods
2007-01-01 Maurice H., ter Beek; Bucchiarone, A; Stefania, Gnesi
Towards Modeling and Execution of Collective Adaptive Systems
2013-01-01 Andrikopoulos, V.; Bucchiarone, A.; Saez, S. G.; Karastoyanova, D.; Mezzina, C. A.
Collective Adaptation through Concurrent Planning: the Case of Sustainable Urban Mobility
2018-01-01 Bucchiarone, Antonio; Furelos-Blanco, Daniel; Jonsson, Anders; Khandokar, Fahmida; Mourshed, Monjur M.
A context-driven adaptation process for service-based applications
2010-01-01 Bucchiarone, A; Kazhamiakin, Raman; Cappiello, Cinzia; di Nitto, Elisabetta; Mazza, Valentina
Formal Analysis and Verification of Self-Healing Systems
2010-01-01 Ehrig, H.; Ermel, C.; Runge, O.; Bucchiarone, A.; Pelliccione:, P.
Dynamic Adaptation of Fragment-based and Context-aware Business Processes
2012-01-01 Bucchiarone, A.; Marconi, A.; Pistore, M.; Raik, H.
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems
2012-01-01 Raik, H.; Bucchiarone, A.; Khurshid, N.; Marconi, A.; Pistore, M.
Dances with words
2007-01-01 Strapparava, C.; Valitutti, A.; Stock, O.
Monitoring heritage structures: A Bayesian perspective
2015-01-01 Zonta, D.
CARPooL: Collective Adaptation using concuRrent PLanning
2018-01-01 Furelos-Blanco, Daniel; Bucchiarone, Antonio; Jonsson, Anders
Credible or Incredible? Dissecting Urban Legends
2014-01-01 Guerini, M.; Strapparava, C.
Domain Objects and Microservices for Systems Development: a roadmap
2018-01-01 Mikhail, Kizilov; Bucchiarone, Antonio; Mazzara, Manuel; Safina, Larisa; Rivera, Victor
NgramQuery - Smart information extraction from Google n-gram using external resources
2012-01-01 Aleksandrov, Martin; Strapparava, Carlo
SUBVERTISER: Mocking ads through mobile phones
2014-01-01 Gatti, L.; Guerini, M.; Stock, O.; Strapparava, C.
A parallel corpus of music and lyrics annotated with emotions
2012-01-01 Strapparava, Carlo; Mihalcea, Rada; Battocchi, Alberto
Collective Adaptation in Process-based Systems
2014-01-01 Bucchiarone, Antonio; Mezzina, Claudio Antares; Pistore, Marco; Raik, Heorhi; Valetto, Giuseppe
Enacting Emergent Configurations in the IoT through Domain Objects
2018-01-01 Alkhabbas, Fahed; De Sanctis, Martina; Spalazzese, Romina; Bucchiarone, Antonio; Davidsson, Paul; Marconi, Annapaola
Metal nanocluster and sodalime glasses: an XPS characterization
2007-01-01 Speranza, G.; Minati, L.; Chiasera, A.; Ferrari, M.; Righini, G. C.
Precise Analysis of pi-calculus in Cubic Time
2004-01-01 L., Colussi; G., File'; Griggio, A
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
- 04 Convegni (Proceedings)20267
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263334
- 2010 - 20197200
- 2000 - 20096478
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2258
- Institute of Electrical and Elect...959
- Springer898
- ACM387
- IEEE Computer Society314
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- CEUR-WS168
- Association for Computing Machinery163
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE680
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...178
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...92
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS - IEEE COMPUTER SOCIE...56
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ING-IND/22 - Scienza e Te...5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15202
- ita3561
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext15010
- reserved3240
- open1521
- partially open488
- mixed8
- embargoed2