Willkommen, schön sind Sie da!
Logo Ex Libris

Global Computing

  • Kartonierter Einband
  • 384 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This volume collects revised versions of some of the papers presented at the S- ond IST/FET International Workshop on Global Compu... Weiterlesen
20%
108.00 CHF 86.40
Sie sparen CHF 21.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Inhalt
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.

Produktinformationen

Titel: Global Computing
Untertitel: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
Editor:
EAN: 9783540241010
ISBN: 3540241019
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 384
Gewicht: 581g
Größe: H235mm x B155mm x T20mm
Jahr: 2005
Untertitel: Englisch
Auflage: 2005

Weitere Produkte aus der Reihe "Theoretical Computer Science and General Issues"