Global Computing. Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers - Corrado Priami ((Lecture Notes in Computer Science))