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