IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 82
Titolo Data di pubblicazione Autore(i) File
Rules and strategies for contextual specialization of constraint logic programs. 2000 Fioravanti, Fabio; A., Pettorossi; M., Proietti
Automated strategies for specializing constraint logic programs 2001 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Verification of infinite-state systems by specialization of CLP programs 2001 Fioravanti, Fabio
Verification of sets of infinite state processes using program transformation 2002 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Specialization with clause splitting for deriving deterministic constraint logic programs 2002 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Combining logic programs and monadic second order logics by program transformation 2003 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Quality of service in wireless networks 2003 Bilò, Vittorio; Di Pasquale, Adriano; Fioravanti, Fabio; Flammini, Michele; Forlizzi, Luca; Lo Presti, Francesco; Melideo, Giovanna; Nardelli, Enrico; Navarra, Alfredo; Proietti, Guido
The Italian Electronic Identity Card: a short introduction. 2004 Franco, Arcieri; Mario, Ciclosi; Fioravanti, Fabio; Enrico, Nardelli; Maurizio, Talamo
A layered IT infrastructure for secure interoperability in Personal Data Registry digital government services 2004 Franco, Arcieri; Fioravanti, Fabio; Enrico, Nardelli; Maurizio, Talamo
A Specification for Security Services on Computational Grids 2004 Franco, Arcieri; Fioravanti, Fabio; Enrico, Nardelli; Maurizio, Talamo
Reliable peer-to-peer access for Italian citizens to digital government services on the Internet. 2004 Franco, Arcieri; Fioravanti, Fabio; Enrico, Nardelli; Maurizio, Talamo
Inter-organizational e-services accounting management on computational Grids 2004 Arcieri, Franco; Fioravanti, Fabio; Nardelli, Enrico; Talamo, Maurizio
Transformation Rules for Locally Stratified Constraint Logic Programs 2004 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Automatic Proofs of Protocols via Program Transformation. 2005 Fioravanti, Fabio; Alberto, Pettorossi; Proietti, Maurizio
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone 2005 Franco, Arcieri; Andrea, Dimitri; Fioravanti, Fabio; Enrico, Nardelli; Katia, Pallucca; Alberto, Postiglione; Maurizio, Talamo
The italian electronic identity card: Overall architecture and it infrastructure 2005 Arcieri, Franco; Ciclosi, Mario; Dimitri, Andrea; Fioravanti, Fabio; Nardelli, Enrico; Talamo, Maurizio
Defense trees for economic evaluation of security investments 2006 Bistarelli, Stefano; Fioravanti, Fabio; Peretti, Pamela
Using CP-nets as a guide for countermeasure selection 2007 Bistarelli, Stefano; Fioravanti, Fabio; Peretti, Pamela
Identity Management for e-Government Services 2008 Fioravanti, Fabio; Enrico, Nardelli
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. 2010 Fioravanti, Fabio; Pettorossi, A.; Proietti, M.; Senni, V.
Mostrati risultati da 1 a 20 di 82
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