RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Research challenges on adaptive software and services in the future internet: Towards an scube research roadmap
2012-01-01 A., Metzger; K., Pohl; M., Papazoglou; E. D., Nitto; Marconi, Annapaola; D., Karastoyanova
Research Challenges on Online Service Quality Prediction for Proactive Adaptation
2012-01-01 A., Metzger; C., Chi; Y., Engel; Marconi, Annapaola
Message from the SASO 2018 General Chairs
2018-01-01 Bucchiarone, A.; Montresor, A.
Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications
2010-01-01 D., Meiländer; S., Gorlatch; C., Cappiello; V., Mazza; Kazhamiakin, Raman; Bucchiarone, Antonio
Adaptation of Service-based Business Processes by Context-Aware Replanning
2011-01-01 A. Bucchiarone; R. Kazhamiakin; M. Pistore; H. Raik
A Context-driven Adaptation Process for Service-based Applications
2010-01-01 Bucchiarone, Antonio; Kazhamiakin, Raman; C., Cappiello; E., Di Nitto; V., Mazza
2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010)
2010-01-01 Grace A., Lewis; A., Metzger; Pistore, Marco; Dennis B., Smith; A., Zisman
Research Challenges on Multi-layer and Mixed-Initiative Monitoring and Adaptation for Service-Based Systems
2012-01-01 Marconi, Annapaola; Bucchiarone, Antonio; K., Bratanis; A., Brogi; J., Camara; D., Dranidis; H., Giese; Kazhamiakin, Raman; R., de Lemos; C., Cassales Marquezan; A., Metzger
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
SMT-Based Verification of Hybrid Systems
2012-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Research challenges on adaptive software and services in the future internet: Towards an scube research roadmap | 1-gen-2012 | A., Metzger; K., Pohl; M., Papazoglou; E. D., Nitto; Marconi, Annapaola; D., Karastoyanova | |
Research Challenges on Online Service Quality Prediction for Proactive Adaptation | 1-gen-2012 | A., Metzger; C., Chi; Y., Engel; Marconi, Annapaola | |
Message from the SASO 2018 General Chairs | 1-gen-2018 | Bucchiarone, A.; Montresor, A. | |
Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications | 1-gen-2010 | D., Meiländer; S., Gorlatch; C., Cappiello; V., Mazza; Kazhamiakin, Raman; Bucchiarone, Antonio | |
Adaptation of Service-based Business Processes by Context-Aware Replanning | 1-gen-2011 | A. Bucchiarone; R. Kazhamiakin; M. Pistore; H. Raik | |
A Context-driven Adaptation Process for Service-based Applications | 1-gen-2010 | Bucchiarone, Antonio; Kazhamiakin, Raman; C., Cappiello; E., Di Nitto; V., Mazza | |
2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010) | 1-gen-2010 | Grace A., Lewis; A., Metzger; Pistore, Marco; Dennis B., Smith; A., Zisman | |
Research Challenges on Multi-layer and Mixed-Initiative Monitoring and Adaptation for Service-Based Systems | 1-gen-2012 | Marconi, Annapaola; Bucchiarone, Antonio; K., Bratanis; A., Brogi; J., Camara; D., Dranidis; H., Giese; Kazhamiakin, Raman; R., de Lemos; C., Cassales Marquezan; A., Metzger | |
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction | 1-gen-2011 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
SMT-Based Verification of Hybrid Systems | 1-gen-2012 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano |
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
opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 3766
- 4 Contributo in Atti di Convegno ... 3308
- 4 Contributo in Atti di Convegno ... 273
- 4 Contributo in Atti di Convegno ... 185
Data di pubblicazione
- 2019 265
- 2018 286
- 2017 366
- 2016 353
- 2015 375
- 2014 448
- 2013 439
- 2012 434
- 2011 417
- 2010 383
Editore
- IEEE 302
- Springer 158
- ACM 92
- Association for Computational Lin... 40
- CEUR-WS.org 33
- IEEE Computer Society 32
- ieee 25
- European Language Resources Assoc... 24
- SPIE 24
- Springer International Publishing 18
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 25
- INTERNATIONAL ARCHIVES OF THE PHO... 24
- POS PROCEEDINGS OF SCIENCE 16
- PROCEEDINGS 15
- PROCEEDINGS OF SPIE, THE INTERNAT... 14
- CEUR WORKSHOP PROCEEDINGS 13
- JOURNAL OF PHYSICS. CONFERENCE SE... 10
- PROCEDIA ENGINEERING 8
- LECTURE NOTES IN ARTIFICIAL INTEL... 7
- EPJ WEB OF CONFERENCES 6
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 90
- LECTURE NOTES IN ARTIFICIAL INTEL... 23
- LECTURE NOTES IN COMPUTER SCIENCE 18
- CEUR WORKSHOP PROCEEDINGS 17
- IEEE ENGINEERING IN MEDICINE AND ... 11
- PROCEEDINGS OF SPIE, THE INTERNAT... 10
- LECTURE NOTES IN ELECTRICAL ENGIN... 6
- LECTURE NOTES OF THE INSTITUTE FO... 6
- PROCEEDINGS OF SPIE 6
- AIP CONFERENCE PROCEEDINGS 5
Keyword
- RF-MEMS 22
- SiPM 22
- Machine Translation 21
- MEMS 19
- Protocols 18
- Wireless communication 16
- Computer architecture 14
- Internet of Things 14
- Mobile communication 13
- CMOS 12
Lingua
- eng 2936
- ita 76
- spa 3
- enm 2
- fre 2
- rum 1
Accesso al fulltext
- no fulltext 3292
- open 203
- restricted 153
- reserved 115
- partially open 2
- mixed 1