UniSa - IRIS Institutional Research Information System

RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 11 - 20 di 33 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) File
Automatic semantic annotation of documents with Neural Networks 1-gen-2009 Di Martino, B; Moscato, F
Automating web service composition in e-government processes 1-gen-2009 Moscato, F; Di Lorenzo, G; Mazzocca, N; Vittorini, V
COMPILERS, TECHNIQUES, AND TOOLS FOR SUPPORTING PROGRAMMING HETEROGENEOUS MANY/MULTICORE SYSTEMS 1-gen-2013 Moscato, Francesco; Cantiello, Pasquale; DI MARTINO, Beniamino
Critical systems verification in MetaMORP(h)OSY 1-gen-2014 Aversa, Rocco; DI MARTINO, Beniamino; Moscato, Francesco
Data mining in social network 1-gen-2019 Amato, Flora; Cozzolino, Giovanni; Moscato, Francesco; Moscato, Vincenzo; Picariello, Antonio; Sperli, Giancarlo
Domain Formalization for Metaphorical Reasoning 1-gen-2019 Amato, F.; Cozzolino, G.; Moscato, F.
Enabling Mobile Agents transparent execution context migration through Globus services 1-gen-2006 DI MARTINO, Beniamino; Aversa, Rocco; Moscato, Francesco; Venticinque, Salvatore
Exploiting Figures of Speech in Cultural Heritage Reasoning 1-gen-2019 Amato, F.; Balzano, W.; Cozzolino, G.; Moscato, F.
Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services 1-gen-2015 Moscato, Francesco
Formal Modeling and Verification of Real-Time Multi-Agent Systems: the REMM Framework 1-gen-2008 Moscato, Francesco; Venticinque, Salvatore; Aversa, Rocco; DI MARTINO, Beniamino
Risultati 11 - 20 di 33 (tempo di esecuzione: 0.011 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 2 Contributo in volume (exArticol... 33
  • 2 Contributo in volume (exArticol... 33
Autore
  • DI MARTINO, BENIAMINO 13
  • CANTIELLO, Pasquale 2
  • MARULLI, FIAMMETTA 1
Data di pubblicazione
  • 2010 - 2019 19
  • 2005 - 2009 14
Editore
  • IEEE Computer Society 7
  • Springer 6
  • Springer Verlag 3
  • Institute of Electrical and Elect... 2
  • Associazione Consortium GARR 1
  • CRC Press, Taylor & Francis Group 1
  • IEEE 1
  • Springer Berlin / Heidelberg 1
  • Studium 1
  • Wiley 1
Keyword
  • Computer Science (all) 3
  • Distributed database systems 3
  • Formal methods 3
  • Formal verification 3
  • Model Driven Engineering 3
  • Orchestration 3
  • Semantics 3
  • Availability 2
  • Control and Systems Engineering 2
  • Distributed computer systems 2
Lingua
  • eng 31
  • ita 2
Accesso al fulltext
  • no fulltext 33