Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers by Corrado PriamiGlobal Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers by Corrado Priami

Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004…

byCorrado PriamiEditorPaola Quaglia

Paperback | February 22, 2005

Pricing and Purchase Info

$125.55 online 
$150.50 list price save 16%
Earn 628 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This volume collects revised versions of some of the papers presented at the S- ond IST/FET International Workshop on Global Computing held in Rovereto, Italy (9-12 March, 2004). The workshop involved all the thirteen projects funded under the IST/FET proactive initiative on GLOBAL COMPUTING: AGILE; CRESCCO; DART; DBGLOBE;DEGAS;FLAGS;MIKADO;MRG;MYTHS;PEPITO;PROFUN- DIS; SECURE; SOCS. The ?rst aim of the GLOBAL COMPUTING initiative is the development of paradigms for building ?exible, dependable, secure, robust and e?cient systems. Primaryresearchconcernsaretheco-ordination,interaction,security,reliability, robustness, and risk control of the entities in the global system. The ultimate goaloftheresearchactionistoprovideasolidscienti?cfoundationforthedesign of such systems, and to lay the groundwork for achieving e?ective principles for building and analysing them. Theworkshopcoveredtopicsrelatedtoprogrammingenvironments,dynamic recon?guration, resource guarantees, peer-to-peer networks, analysis of systems and resources, resource sharing, and security, as well as foundational calculi for mobility. The present collection o?ers a rich sample of research results on the above subjects. We acknowledge the Dipartimento di Informatica e Telecomunicazioni of the University of Trento for partially funding the workshop, and the Events and Meetings O?ce of the University of Trento for the valuable collaboration.
Title:Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004…Format:PaperbackDimensions:376 pages, 22.9 × 15.2 × 0.01 inPublished:February 22, 2005Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540241019

ISBN - 13:9783540241010

Look for similar items by category:

Reviews

Table of Contents

Symbolic Equivalences for Open Systems.- Specifying and Verifying UML Activity Diagrams Via Graph Transformation.- Mobile UML Statecharts with Localities.- Communities: Concept-Based Querying for Mobile Services.- Towards a Formal Treatment of Secrecy Against Computational Adversaries.- For-LySa: UML for Authentication Analysis.- Performance Analysis of a UML Micro-business Case Study.- Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks.- The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.- A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.- A Generic Membrane Model (Note).- A Framework for Structured Peer-to-Peer Overlay Networks.- Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.- A Physics-Style Approach to Scalability of Distributed systems.- BGP-Based Clustering for Scalable and Reliable Gossip Broadcast.- Trust Lifecycle Management in a Global Computing Environment.- The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.- The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.