IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 88
Titolo Data di pubblicazione Autore(i) File
COMPILERS, TECHNIQUES, AND TOOLS FOR SUPPORTING PROGRAMMING HETEROGENEOUS MANY/MULTICORE SYSTEMS 1-gen-2013 Moscato, Francesco; Cantiello, Pasquale; DI MARTINO, Beniamino
Model-driven engineering of cloud components in MetaMORP(h)OSY 1-gen-2014 Moscato, Francesco; Amato, Flora; Amato, Alba; Aversa, Rocco
Thermal-Aware Verification and Monitoring of service providers in MetaMORP(H)OSY 1-gen-2014 Moscato, Francesco; Amato, F.
A Modeling Profile for Availability Analysis of Composite Cloud Services 1-gen-2014 Moscato, Francesco; Amato, F.
Model-driven engineering of cloud components in MetaMORP(h)OSY 1-gen-2014 Moscato, Francesco; Amato, F.; Amato, A.; Aversa, Rocco
Critical systems verification in MetaMORP(h)OSY 1-gen-2014 Aversa, Rocco; DI MARTINO, Beniamino; Moscato, Francesco
Enforcing historical research and teaching with computational thinking and metaphoric abstraction 1-gen-2014 Moscato, Francesco; Cirillo, Giuseppe
Model Driven Engineering and Verification of Composite Cloud Services in MetaMORP(h)OSY 1-gen-2014 Moscato, Francesco
Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services 1-gen-2015 Moscato, Francesco
Automatic Monitor Generation for Cloud Services 1-gen-2015 Moscato, Francesco; DI DOMENICO, D.
Exploiting Model Profiles in Requirements Verification of Cloud Systems 1-gen-2015 Moscato, Francesco
A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation 1-gen-2015 Moscato, Francesco; Amato, F; De Paola, F; Diomaiuta, C; Giugni, M; Mazzocca, N.
A Model Driven Approach to Data Privacy Verification in E-Health Systems 1-gen-2015 Moscato, Francesco; Amato, F.
Verification and Planning in Agent-Based Systems 1-gen-2016 Amato, Flora; Mazzeo, Antonino; Moscato, Francesco; Pianese, Dario
Pattern-based orchestration and automatic verification of composite cloud services 1-gen-2016 Amato, Flora; Moscato, Francesco
An Agent-Based Model for Autonomous Planning 1-gen-2016 Amato, Flora; Moscato, Francesco
A Formal Model for Autonomous Planning in High Performance Systems 1-gen-2016 Amato, Flora; Mazzeo, Antonino; Mazzocca, Nicola; Moscato, Francesco
An Agent-Based Model for Autonomous Planning in Distrubuted Critical Systems 1-gen-2016 Amato, Flora; Moscato, Francesco; Pianese, Dario
Automatic cloud services composition for big data management 1-gen-2016 Amato, Flora; Moscato, Francesco
Multilayer perceptron: An intelligent model for classification and intrusion detection 1-gen-2017 Amato, Flora; Mazzocca, Nicola; Vivenzio, Emilio; Moscato, Francesco
Mostrati risultati da 41 a 60 di 88
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