IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 43
Titolo Tipologia Data di pubblicazione Autore(i) File
Formal Procedural Content Generation in games driven by social analyses 4.1 Articoli in Atti di convegno 2017 Amato, Flora; Moscato, Francesco
Model transformations of MapReduce Design Patterns for automatic development and verification 1.1 Articolo in rivista 2017 Amato, Flora; Moscato, Francesco
Multilayer perceptron: An intelligent model for classification and intrusion detection 4.1 Articoli in Atti di convegno 2017 Amato, Flora; Mazzocca, Nicola; Vivenzio, Emilio; Moscato, Francesco
Exploiting Cloud and Workflow Patterns for the Analysis of Composite Cloud Services 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
An Agent-Based Model for Autonomous Planning in Distrubuted Critical Systems 4.1 Articoli in Atti di convegno 2016 Amato, Flora; Moscato, Francesco; Pianese, D.
Automatic cloud services composition for big data management 4.1 Articoli in Atti di convegno 2016 Amato, Flora; Moscato, Francesco
Pattern-based orchestration and automatic verification of composite cloud services 1.1 Articolo in rivista 2016 Amato, Flora; Moscato, Francesco
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.
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
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
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
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 generation of context-aware web services compositions 1.1 Articolo in rivista 2007 G., DI LORENZO; Mazzocca, Nicola; Moscato, Francesco; 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
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
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
Mostrati risultati da 21 a 40 di 43
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