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 Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED
2016-01-01 ZAIB ULLAH, ZAIB ULLAH; Mostarda, Leonardo; Gagliardi, Roberto; Cacciagrano, Diletta Romana; Corradini, Flavio
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 Dependently-Typed Linear π -Calculus in Agda
2020-01-01 Ciccone, Luca; Padovani, Luca
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
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED | 1-gen-2016 | ZAIB ULLAH, ZAIB ULLAH; Mostarda, Leonardo; Gagliardi, Roberto; Cacciagrano, Diletta Romana; Corradini, Flavio | Contributo in atto di convegno su volume | |
| 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 Dependently-Typed Linear π -Calculus in Agda | 1-gen-2020 | Ciccone, Luca; Padovani, Luca | 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 |
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 1349
- 05 ATTO DI CONVEGNO SU VOLUME::Co... 1349
Data di pubblicazione
- 2020 78
- 2019 147
- 2018 108
- 2017 136
- 2016 125
- 2015 129
- 2014 139
- 2013 131
- 2012 104
- 2011 150
Editore
- IEEE 73
- Springer 56
- ACM 19
- Gangemi 19
- IEEE Computer Society 18
- Pisa University Press 18
- Università di Camerino 18
- Institute of Electrical and Elect... 14
- Planum Publisher 14
- Institute of Electrical and Elect... 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 12
- ADVANCES IN INTELLIGENT SYSTEMS A... 6
- CEUR WORKSHOP PROCEEDINGS 6
- LECTURE NOTES IN ARTIFICIAL INTEL... 6
- UID PER IL DISEGNO 6
- ADVANCES IN INTELLIGENT SYSTEMS A... 4
- I QUADERNI DI CAREGGI 4
- IMACS SERIES COMPUTATIONAL AND AP... 4
- LECTURE NOTES IN BUSINESS INFORMA... 4
- AIP CONFERENCE PROCEEDINGS 3
Keyword
- Adaptation 1
- Monitoring 1
Lingua
- eng 1104
- ita 315
- spa 14
- fre 9
- ger 2
- hrv 2
- por 2
- enm 1
- mis 1
Accesso al fulltext
- no fulltext 1020
- reserved 218
- open 98
- partially open 13