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.
A Flexible Architecture to Monitor Dynamic Web Services Composition
2015-01-01 Polini, Andrea; Fani', Daniele; DE ANGELIS, Francesco; Corradini, Flavio
A Formal Model for Event-Condition-Action Rules in Intelligent Environments
2016-01-01 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Raimondi, Franco; Tesei, Luca
A Formal Model for Quality of Service Measurement in e-Government
2007-01-01 Corradini, Flavio; Marcantoni, Fausto; Polzonetti, Alberto; Re, Barbara
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation
2012-01-01 Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
A Model Checking Strategy to Test Services in Orchestrations
2010-01-01 Corradini, Flavio; DE ANGELIS, Francesco; Guglielmo De, Angelis; Polini, Andrea; Polzonetti, Alberto
A model-prover for constrained dynamic conversations
2008-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Tesei, Luca; Vito, Leonardo
A Multi-Agent System for Modelling Carbohydrate Oxidation in Cell
2005-01-01 Corradini, Flavio; Merelli, Emanuela; M., Vita
A Participant Testing Strategy for Service Orchestrations
2008-01-01 Corradini, Flavio; DE ANGELIS, Francesco; Polini, Andrea; Polzonetti, Alberto
A pattern for enabling multitenancy in legacy application
2016-01-01 Corradini, F.; De Angelis, F.; Polini, A.; Sabbatini, S.
A Programming Environment for Global Activity-based Application
2003-01-01 Corradini, Flavio; Mariani, ; Merelli, Emanuela
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Flexible Architecture to Monitor Dynamic Web Services Composition | 1-gen-2015 | Polini, Andrea; Fani', Daniele; DE ANGELIS, Francesco; Corradini, Flavio | Contributo in atto di convegno su volume | |
A Formal Model for Event-Condition-Action Rules in Intelligent Environments | 1-gen-2016 | Vannucchi, Claudia; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Raimondi, Franco; Tesei, Luca | Contributo in atto di convegno su volume | |
A Formal Model for Quality of Service Measurement in e-Government | 1-gen-2007 | Corradini, Flavio; Marcantoni, Fausto; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation | 1-gen-2012 | Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su volume | |
A Model Checking Strategy to Test Services in Orchestrations | 1-gen-2010 | Corradini, Flavio; DE ANGELIS, Francesco; Guglielmo De, Angelis; Polini, Andrea; Polzonetti, Alberto | Contributo in atto di convegno su volume | |
A model-prover for constrained dynamic conversations | 1-gen-2008 | Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Tesei, Luca; Vito, Leonardo | Contributo in atto di convegno su volume | |
A Multi-Agent System for Modelling Carbohydrate Oxidation in Cell | 1-gen-2005 | Corradini, Flavio; Merelli, Emanuela; M., Vita | Contributo in atto di convegno su volume | |
A Participant Testing Strategy for Service Orchestrations | 1-gen-2008 | Corradini, Flavio; DE ANGELIS, Francesco; Polini, Andrea; Polzonetti, Alberto | Contributo in atto di convegno su volume | |
A pattern for enabling multitenancy in legacy application | 1-gen-2016 | Corradini, F.; De Angelis, F.; Polini, A.; Sabbatini, S. | Contributo in atto di convegno su volume | |
A Programming Environment for Global Activity-based Application | 1-gen-2003 | Corradini, Flavio; Mariani, ; Merelli, Emanuela | Contributo in atto di convegno su volume |
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
- 05 ATTO DI CONVEGNO SU VOLUME 151
- 05 ATTO DI CONVEGNO SU VOLUME::Co... 151
Data di pubblicazione
- 2020 - 2024 22
- 2010 - 2019 51
- 2000 - 2009 76
- 1994 - 1999 2
Editore
- Springer 23
- CEUR-WS 9
- IEEE Computer Society 7
- Springer Science and Business Med... 5
- Luzar-Stiffler V. and HlJuz Dobri... 4
- Springer Verlag 4
- Institute of Electrical and Elect... 3
- Isaias P., Nunes M.B., and Martin... 3
- Remenyi D.Ed. Academic Conference... 3
- ACM 2
Rivista
- CEUR WORKSHOP PROCEEDINGS 2
- LECTURE NOTES IN BUSINESS INFORMA... 1
Serie
- CEUR WORKSHOP PROCEEDINGS 9
- LECTURE NOTES IN BUSINESS INFORMA... 9
- LECTURE NOTES IN ARTIFICIAL INTEL... 3
- LECTURE NOTES IN COMPUTER SCIENCE 3
- AMBIENT INTELLIGENCE AND SMART EN... 1
- ELECTRONIC PROCEEDINGS IN THEORET... 1
- LECTURE NOTES IN NETWORKS AND SYS... 1
Lingua
- eng 146
- ita 5
Accesso al fulltext
- no fulltext 131
- reserved 13
- open 7