Global Computing. Programming Environments, Languages, Security, and Analysis of Systems IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers - Priami, Corrado; Priami, Corrado (Springer Berlin Heidelberg : Imprint: Springer, 2003)