MAGGI, PAOLO
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.005 secondi).
HPC CloudPills: On-demand deployment and execution of HPC application in cloud environments
2014 Ruiu, P.; Terzo, O.; Carlino, G.; Prandi, R.; Falzone, A.; Maggi, P.; Torterolo, L.; Usai, E.; Perego, G.
Vulnerability Modelling for the Analysis of Network Attacks
2008 Maggi, Paolo; Pozza, Davide; Sisto, Riccardo
SRB Data Grid and Compute Grid integration via the EnginFrame Grid Portal
2006 Beltrame, F; Maggi, Paolo; Melato, M; Molinari, E; Sisto, Riccardo; Torterolo, L.
A Configurable Mobile Agent Data Protection Protocol
2003 Maggi, Paolo; Sisto, Riccardo
Using SPIN to Verify Security Properties of Cryptographic Protocols
2002 Maggi, Paolo; Sisto, Riccardo
Using Data Flow Analysis to Infer Type Information in Java Bytecode
2001 Maggi, Paolo; Sisto, Riccardo
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
HPC CloudPills: On-demand deployment and execution of HPC application in cloud environments / Ruiu, P.; Terzo, O.; Carlino, G.; Prandi, R.; Falzone, A.; Maggi, P.; Torterolo, L.; Usai, E.; Perego, G.. - (2014), pp. 82-88. (Intervento presentato al convegno 9th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2014 tenutosi a chn nel 2014) [10.1109/3PGCIC.2014.39]. | 1-gen-2014 | Ruiu P.Falzone A.Maggi P. + | Ruiu-HPC.pdf |
Vulnerability Modelling for the Analysis of Network Attacks / Maggi, Paolo; Pozza, Davide; Sisto, Riccardo. - STAMPA. - (2008), pp. 15-22. (Intervento presentato al convegno DepCoS-RELCOMEX'08, 3rd Int. Conf. on Dependability of Computer Systems tenutosi a Szklarska Poreba (Poland) nel 26-28 June 2008) [10.1109/DepCoS-RELCOMEX.2008.49]. | 1-gen-2008 | MAGGI, PAOLOPOZZA, DAVIDESISTO, Riccardo | Vulnerability_Modelling_for_the_Analysis_of_Network_Attacks.pdf |
SRB Data Grid and Compute Grid integration via the EnginFrame Grid Portal / Beltrame, F; Maggi, Paolo; Melato, M; Molinari, E; Sisto, Riccardo; Torterolo, L.. - (2006), pp. 15-20. (Intervento presentato al convegno SRB Workshop). | 1-gen-2006 | MAGGI, PAOLOSISTO, Riccardo + | - |
A Configurable Mobile Agent Data Protection Protocol / Maggi, Paolo; Sisto, Riccardo. - STAMPA. - (2003), pp. 851-858. (Intervento presentato al convegno AAMAS'03 - 2nd ACM Int. Joint Conf. on Autonomous Agents and Multiagent Systems tenutosi a Melbourne, Australia nel July 2003) [10.1145/860575.860712]. | 1-gen-2003 | MAGGI, PAOLOSISTO, Riccardo | 860575.860712.pdf |
Using SPIN to Verify Security Properties of Cryptographic Protocols / Maggi, Paolo; Sisto, Riccardo. - STAMPA. - 2318:(2002), pp. 187-204. (Intervento presentato al convegno 9th International SPIN Workshop tenutosi a Grenoble (FR) nel April 11–13, 2002) [10.1007/3-540-46017-9_14]. | 1-gen-2002 | MAGGI, PAOLOSISTO, Riccardo | - |
Using Data Flow Analysis to Infer Type Information in Java Bytecode / Maggi, Paolo; Sisto, Riccardo. - STAMPA. - (2001), pp. 211-222. (Intervento presentato al convegno SCAM 2001 - 1st Int. Workshop on Source Code Analysis and Manipulation tenutosi a Florence, Italy nel NOV 10, 2001) [10.1109/SCAM.2001.972683]. | 1-gen-2001 | MAGGI, PAOLOSISTO, Riccardo | - |