Archivio Istituzionale della RicercaSfoglia per Rivista JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING
Mostrati risultati da 1 a 3 di 3
Design-time formal verification for smart environments: an exploratory perspective
2014 Corno, Fulvio; Sanaullah, Muhammad
An innovative framework for supporting big atmospheric data analytics via clustering-based spatio-temporal analysis
2019 Cuzzocrea, A.; Gaber, M. M.; Fadda, E.; Grasso, G. M.
SAT based Enforcement of Domotic Effects in Smart Environments
2014 Corno, Fulvio; Razzak, Faisal
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Design-time formal verification for smart environments: an exploratory perspective / Corno, Fulvio; Sanaullah, Muhammad. - In: JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING. - ISSN 1868-5137. - STAMPA. - 5:4(2014), pp. 581-599. [10.1007/s12652-013-0209-4] | 1-gen-2014 | CORNO, FulvioSANAULLAH, MUHAMMAD | FVandAmI.pdf |
| An innovative framework for supporting big atmospheric data analytics via clustering-based spatio-temporal analysis / Cuzzocrea, A.; Gaber, M. M.; Fadda, E.; Grasso, G. M.. - In: JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING. - ISSN 1868-5137. - ELETTRONICO. - 10:9(2019), pp. 3383-3398. [10.1007/s12652-018-0966-1] | 1-gen-2019 | Fadda E. + | Fadda-Aninnovative.pdf |
| SAT based Enforcement of Domotic Effects in Smart Environments / Corno, Fulvio; Razzak, Faisal. - In: JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING. - ISSN 1868-5137. - STAMPA. - 5:4(2014), pp. 565-579. [10.1007/s12652-013-0183-x] | 1-gen-2014 | CORNO, FulvioRAZZAK, FAISAL | effectSolution.pdf |
Mostrati risultati da 1 a 3 di 3
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