MOSCATO, FRANCESCO

MOSCATO, FRANCESCO  

Mostra records
Risultati 1 - 20 di 43 (tempo di esecuzione: 0.024 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach 2.1 Contributo in volume (Capitolo o Saggio) 2006 Iacono, M.; Marrone, S.; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
Multisolution of complex performability models in the OsMoSys/DrawNET framework 4.1 Articoli in Atti di convegno 2005 Mazzocca, Nicola; Vittorini, Valeria; M., Gribaudo; Moscato, Francesco
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example 2.1 Contributo in volume (Capitolo o Saggio) 2005 Mazzocca, Nicola; Vittorini, Valeria; G., DI LORENZO; M., Magaldi; P., Mosca; Moscato, Francesco
Multiformalism techniques for critical infrastructure modelling 1.1 Articolo in rivista 2010 F., Flammini; Mazzocca, Nicola; Moscato, Francesco; Pappalardo, Alfio; C., Pragliola; Vittorini, Valeria
PREVISIONE E CONTROLLO DELLA RADIOCOPERTURA IN AREE URBANE: UN MODELLO COMPUTAZIONALE PARALLELO 4.1 Articoli in Atti di convegno 2008 Franceschetti, Giorgio; Guida, Raffaella; Imperatore, Pasquale; Iodice, Antonio; Mazzocca, Nicola; Moscato, Francesco; Riccio, Daniele; Ruello, Giuseppe
Automatic generation of context-aware web services compositions 1.1 Articolo in rivista 2007 G., DI LORENZO; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
Coupling formal methods in a performance modelling technique for heterogeneous supervisioning systems 4.1 Articoli in Atti di convegno 2003 Moscato, Francesco; M., Iacono; Mazzocca, Nicola
The software architecture of the OsMoSys Multisolution Framework 4.1 Articoli in Atti di convegno 2007 Moscato, Francesco; F., Flammini; G., DI LORENZO; Vittorini, Valeria; S., Marrone; M., Iacono
Strumento su Piattaforma GRID per la Predizione del Campo Elettromagnetico in Aree Urbane 4.1 Articoli in Atti di convegno 2008 Imperatore, Pasquale; Moscato, Francesco; Guida, Raffaella; Ruello, Giuseppe; Iodice, Antonio; Riccio, Daniele; Mazzocca, Nicola; Franceschetti, Giorgio
Automatic Analysis of Control Flow inWeb Services Composition Processes 4.1 Articoli in Atti di convegno 2007 G., DI LORENZO; Moscato, Francesco; Mazzocca, Nicola; Vittorini, Valeria
Down-regulation of Wild-type p53-induced Phosphatase 1 (Wip1) Plays a Critical Role in Regulating Several p53-dependent Functions in Premature Senescent Tumor Cells 1.1 Articolo in rivista 2013 Crescenzi, Elvira; Z., Raia; Pacifico, FRANCESCO MARIA; Mellone, Stefania; Moscato, Francesco; Palumbo, Giuseppe; Leonardi, Antonio
A Formal Model for Autonomous Planning in High Performance Systems 4.1 Articoli in Atti di convegno 2016 Amato, Flora; Mazzeo, Antonino; Mazzocca, Nicola; Moscato, Francesco
Verification and Planning in Agent-Based Systems 4.1 Articoli in Atti di convegno 2015 Amato, Flora; Mazzeo, Antonino; Moscato, Francesco; Pianese, D.
Pattern-based orchestration and automatic verification of composite cloud services 1.1 Articolo in rivista 2016 Amato, Flora; Moscato, Francesco
Automatic cloud services composition for big data management 4.1 Articoli in Atti di convegno 2016 Amato, Flora; Moscato, Francesco
A model driven approach to data privacy verification in e-health systems 1.1 Articolo in rivista 2015 Amato, Flora; Moscato, Francesco
Model-driven engineering of cloud components in MetaMORP(h)OSY 1.1 Articolo in rivista 2014 Moscato, Francesco; Amato, Flora; A., Amato; R., Aversa
Model driven design and evaluation of security level in orchestrated cloud services 1.1 Articolo in rivista 2018 Amato, Flora; Mazzocca, Nicola; Moscato, Francesco
Model transformations of MapReduce Design Patterns for automatic development and verification 1.1 Articolo in rivista 2017 Amato, Flora; Moscato, Francesco
Message from BOSON 2017 international workshop organizers 7.1 Curatore o Editor di Libri Scientifici 2017 Amato, Flora; Moscato, Francesco; Moscato, Vincenzo