Francesco MOSCATO | Publications
Francesco MOSCATO Publications
2016 | |
Articolo in rivista | |
A Formal Model for Autonomous Planning in High Performance Systems PROCEDIA COMPUTER SCIENCE. Vol. 98. Pag.503-508 ISSN:1877-0509. | |
Amato, Flora; Mazzeo, Antonino; Mazzocca, Nicola; Moscato, Francesco | |
Versione online | |
Digital Object Identifier (DOI): 10.1016/j.procs.2016.09.085 Codice identificativo ISI: WOS:000387551200071 Codice identificativo SCOPUS: 2-s2.0-84992378377 | |
Show it in Product Database (IRIS) |
2016 | |
Articolo in rivista | |
Pattern-based orchestration and automatic verification of composite cloud services COMPUTERS & ELECTRICAL ENGINEERING. ISSN:0045-7906. | |
Amato, Flora; Moscato, Francesco | |
Digital Object Identifier (DOI): 10.1016/j.compeleceng.2016.08.006 Codice identificativo ISI: WOS:000390640700061 Codice identificativo SCOPUS: 2-s2.0-84994108092 | |
Show it in Product Database (IRIS) |
2016 | |
Contributo in Atti di convegno | |
Automatic cloud services composition for big data management. In: Proceedings - IEEE 30th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2016 Institute of Electrical and Electronics Engineers Inc. Pag.46-51 ISBN:9781509018574 | |
30th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2016 Crans-Montana; Switzerland 2016 | |
Amato, Flora; Moscato, Francesco | |
Versione online | |
Digital Object Identifier (DOI): 10.1109/WAINA.2016.169 Codice identificativo ISI: WOS:000387075700009 Codice identificativo SCOPUS: 2-s2.0-84983539716 | |
Show it in Product Database (IRIS) |
2016 | |
Contributo in Atti di convegno | |
Verification and Planning in Agent-Based Systems. In: Proceedings - 11th International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2015 Institute of Electrical and Electronics Engineers Inc. Pag.782-788 ISBN:9781467397216 | |
11th International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2015 Bangkok; Thailand; 2015 | |
Amato, Flora; Mazzeo, Antonino; Moscato, Francesco; Pianese, Dario | |
Versione online | |
Digital Object Identifier (DOI): 10.1109/SITIS.2015.120 Codice identificativo ISI: WOS:000380406500116 Codice identificativo SCOPUS: 2-s2.0-84966264866 | |
Show it in Product Database (IRIS) |
2016 | |
Contributo in Atti di convegno | |
An Agent-Based Model for Autonomous Planning in Distrubuted Critical Systems. In: Proceedings - 2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2015 Institute of Electrical and Electronics Engineers Inc. Pag.568-573 ISBN:9781467394734 | |
10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2015 Krakow; Poland; 2015 | |
Amato, Flora; Moscato, Francesco; Pianese, Dario | |
Versione online | |
Digital Object Identifier (DOI): 10.1109/3PGCIC.2015.112 Codice identificativo ISI: WOS:000380398500096 Codice identificativo SCOPUS: 2-s2.0-84964489741 | |
Show it in Product Database (IRIS) |
2016 | |
Contributo in Atti di convegno | |
An Agent-Based Model for Autonomous Planning. In: Proceedings - 2016 10th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2016 Institute of Electrical and Electronics Engineers Inc. Pag.555-560 ISBN:9781509009879 | |
10th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2016 Fukuoka Institute of Technology (FIT), jpn 2016 | |
Amato, Flora; Moscato, Francesco | |
Digital Object Identifier (DOI): 10.1109/CISIS.2016.135 Codice identificativo ISI: WOS:000391528700089 Codice identificativo SCOPUS: 2-s2.0-85011016398 | |
Show it in Product Database (IRIS) |