+612 9045 4394
 
CHECKOUT
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

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems

IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers

By: Corrado Priami (Editor)

Paperback

Published: 24th November 2003
Ships: 5 to 9 business days
5 to 9 business days
$116.16
or 4 easy payments of $29.04 with Learn more

The goal of the IST/FET proactive initiative on Global Computing is to - tain models, frameworks, methods, algorithms to build systems that are ?exible, dependable, secure, robust and e?cient. The dominant concerns are those of handling the co-ordination and interaction, security, reliability, robustness, fa- uremodes, andcontrolofriskoftheentitiesinthesystemandtheoveralldesign, descriptionandperformanceofthesystemitself.Completelydi?erentparadigms of computer science may have to be developed to tackle these issues e?ectively. The research should concentrate on systems having the following characteristics: - The systems are composed of autonomous computational entities where - tivity is not centrally controlled, either because global control is impossible or impractical, or because the entities are controlled by di?erent owners. - The computational entities are mobile, due to the movement of the physical platforms or movement of the entity from one platform to another. - The con?guration varies over time. For instance, the system is open to the introduction of new computational entities and likewise their deletion. The behavior of the entities may vary over time. - The systems operate with incomplete information about the environment. For instance, information becomes rapidly out of date and mobility requires information about the environment to be discovered. Theultimategoaloftheresearchactionistoprovideasolidscienti?cfoundation for the design of such systems, and to lay the groundwork for achieving e?ective principles for building and analyzing such systems.

UML for Global Computingp. 1
Reflecting Mobile Ambients into the [pi]-Calculusp. 25
Extensible Objects: A Tutorialp. 57
The Klaim Project: Theory and Practicep. 88
Ambient Calculi with Types: A Tutorialp. 151
Facets of Securityp. 192
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanismp. 203
Performance Evaluation for Global Computationp. 229
Author Indexp. 255
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540205838
ISBN-10: 3540205837
Series: Lecture Notes in Computer Science
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 253
Published: 24th November 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 1.5
Weight (kg): 0.88