IRIS

MOSCATO, FRANCESCO

MOSCATO, FRANCESCO  

Mostra records
Risultati 1 - 20 di 45 (tempo di esecuzione: 0.052 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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
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
Automatic generation of context-aware web services compositions 1.1 Articolo in rivista 2007 G., DI LORENZO; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
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
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
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
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
Simulation-based optimization of multiple-task GRID applications 1.1 Articolo in rivista 2008 Rak, Massimiliano; Moscato, Francesco; Villano, U.; Mancini, E.
Multiformalism techniques for critical infrastructure modelling 1.1 Articolo in rivista 2010 F., Flammini; Mazzocca, Nicola; Moscato, Francesco; Pappalardo, Alfio; C., Pragliola; Vittorini, Valeria
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
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
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