Book Details

Global Computing

Publication year: 2005

: 978-3-540-31794-4

:


This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, GC 2004, held in Rovereto, Italy in March 2004. The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. Among the topics covered are programming environments, dynamic reconfiguration, resource guarantees, peer-to-peer networks, analysis of systems and resources, resource sharing, and security, as well as foundational calculi for mobility.


: Computer Science, Cluster, UML, Unified Modeling Language (UML), algorithm, algorithms, dependable computing, distributed computing, distributed systems, formal methods, global computing, logic, mobile computing, open systems, security, verification