Archivio Istituzionale della RicercaMAGGI, PAOLO
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.004 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. (9th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2014 chn 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, P., Pozza, D., Sisto, R.. - STAMPA. - (2008), pp. 15-22. (DepCoS-RELCOMEX'08, 3rd Int. Conf. on Dependability of Computer Systems Szklarska Poreba (Poland) 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, P., Melato, M., Molinari, E., Sisto, R., Torterolo, L.. - (2006), pp. 15-20. (SRB Workshop ). | 1-gen-2006 | MAGGI, PAOLOSISTO, Riccardo + | - |
| A Configurable Mobile Agent Data Protection Protocol / Maggi, P., Sisto, R.. - STAMPA. - (2003), pp. 851-858. (AAMAS'03 - 2nd ACM Int. Joint Conf. on Autonomous Agents and Multiagent Systems Melbourne, Australia 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, P., Sisto, R.. - STAMPA. - 2318:(2002), pp. 187-204. (9th International SPIN Workshop Grenoble (FR) 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, P., Sisto, R.. - STAMPA. - (2001), pp. 211-222. (SCAM 2001 - 1st Int. Workshop on Source Code Analysis and Manipulation Florence, Italy NOV 10, 2001) [10.1109/SCAM.2001.972683]. | 1-gen-2001 | MAGGI, PAOLOSISTO, Riccardo | - |