Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers - researchr publication

researchr

You are not signed in
Sign in
Sign up

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

Conference: global2003

Abstract is missing.

UML for Global ComputingHubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing. 1-24 [doi]

Reflecting Mobile Ambients into the p-CalculusLinda Brodo, Pierpaolo Degano, Corrado Priami. 25-56 [doi]

Extensible Objects: A TutorialViviana Bono. 57-87 [doi]

The Klaim Project: Theory and PracticeLorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri. 88-150 [doi]

Ambient Calculi with Types: A TutorialElio Giovannetti. 151-191 [doi]

Facets of SecurityDieter Gollmann. 192-202 [doi]

A Study about Trade-Off between Performance and Security in an Internet Audio MechanismAlessandro Aldini, Roberto Gorrieri. 203-228 [doi]

Performance Evaluation for Global ComputationLinda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami. 229-253 [doi]

runs on WebDSL