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 Constrained ECA Language Supporting Formal Verification of WSNs
2015-01-01 Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Tesei, Luca; Franco, Raimondi
A Counter-example Testing Approach for Orchestrated Services
2010-01-01 DE ANGELIS, Francesco; DE ANGELIS, Guglielmo; Polini, Andrea
A Data Acquisition and Document Oriented Storage Methodology for ANT+ Protocol Sensors in Real-Time Web
2016-01-01 Mehmood, NADEEM QAISAR; Culmone, Rosario
A Data Oriented Approach to Derive Public Administration Business Processes
2015-01-01 Cognini, Riccardo; Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara
A DSP-based robust sensorless speed control for PMSMs
2016-01-01 Colombo, L.; Corradini, Maria Letizia; Cristofaro, Andrea; Ippoliti, G.; Orlando, G.
A Flexible Architecture to Monitor Dynamic Web Services Composition
2015-01-01 Polini, Andrea; Fani', Daniele; DE ANGELIS, Francesco; Corradini, Flavio
A formal foundation for dynamic delta-oriented software product lines
2012-01-01 Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer
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 Framework to Increase the Video-Mapping Accuracy of an Architectural Heritage Mock-up
2014-01-01 Rossi, Daniele; Petrucci, Enrica; Simone, Fazzini
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation
2012-01-01 Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| A Constrained ECA Language Supporting Formal Verification of WSNs | 1-gen-2015 | Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Tesei, Luca; Franco, Raimondi | Contributo in atto di convegno su volume | |
| A Counter-example Testing Approach for Orchestrated Services | 1-gen-2010 | DE ANGELIS, Francesco; DE ANGELIS, Guglielmo; Polini, Andrea | Contributo in atto di convegno su volume | |
| A Data Acquisition and Document Oriented Storage Methodology for ANT+ Protocol Sensors in Real-Time Web | 1-gen-2016 | Mehmood, NADEEM QAISAR; Culmone, Rosario | Contributo in atto di convegno su volume | |
| A Data Oriented Approach to Derive Public Administration Business Processes | 1-gen-2015 | Cognini, Riccardo; Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara | Contributo in atto di convegno su volume | |
| A DSP-based robust sensorless speed control for PMSMs | 1-gen-2016 | Colombo, L.; Corradini, Maria Letizia; Cristofaro, Andrea; Ippoliti, G.; Orlando, G. | Contributo in atto di convegno su volume | |
| 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 foundation for dynamic delta-oriented software product lines | 1-gen-2012 | Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer | 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 Framework to Increase the Video-Mapping Accuracy of an Architectural Heritage Mock-up | 1-gen-2014 | Rossi, Daniele; Petrucci, Enrica; Simone, Fazzini | 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 |
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 1275
- 05 ATTO DI CONVEGNO SU VOLUME::Co... 1275
Data di pubblicazione
- 2019 150
- 2018 108
- 2017 136
- 2016 126
- 2015 129
- 2014 139
- 2013 131
- 2012 104
- 2011 150
- 2010 102
Editore
- IEEE 74
- Springer 50
- ACM 18
- IEEE Computer Society 18
- Pisa University Press 18
- Università di Camerino 18
- Gangemi 16
- Institute of Electrical and Elect... 14
- Institute of Electrical and Elect... 13
- UNICAM 13
Rivista
- BioPhotonics, 2011 International ... 1
- ELECTRONIC PROCEEDINGS IN THEORET... 1
- JOURNAL OF THE PERIPHERAL NERVOUS... 1
- LECTURE NOTES IN BUSINESS INFORMA... 1
- PLANUM 1
- PROCEEDINGS OF SPIE, THE INTERNAT... 1
- PROCEEDINGS WORLD RABBIT CONGRESS 1
- STUDIES IN CLASSIFICATION, DATA A... 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 11
- UID PER IL DISEGNO 6
- CEUR WORKSHOP PROCEEDINGS 5
- ADVANCES IN INTELLIGENT SYSTEMS A... 4
- I QUADERNI DI CAREGGI 4
- IMACS SERIES COMPUTATIONAL AND AP... 4
- AIP CONFERENCE PROCEEDINGS 3
- FABBRICA DELLA CONOSCENZA 3
- LECTURE NOTES IN ARTIFICIAL INTEL... 3
- LECTURE NOTES IN BUSINESS INFORMA... 3
Keyword
- Adaptation 1
- Monitoring 1
Lingua
- eng 1054
- ita 287
- spa 13
- fre 9
- ger 2
- hrv 2
- enm 1
- mis 1
- por 1
Accesso al fulltext
- no fulltext 986
- reserved 199
- open 81
- partially open 9