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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Hardcover. Zustand: Very Good. No Jacket. Hardcover 2005 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;3267. [viii, 367 p. : ill. ; 24 cm]. Bestandsnummer des Verkäufers 010966
Anzahl: 1 verfügbar
Anbieter: Basi6 International, Irving, TX, USA
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEOCT25-239425
Anbieter: Books Puddle, New York, NY, USA
Zustand: Used. pp. 384. Bestandsnummer des Verkäufers 263105844
Anzahl: 1 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: Used. pp. 384 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 5823467
Anzahl: 1 verfügbar
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 5906870
Anzahl: Mehr als 20 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: Used. pp. 384. Bestandsnummer des Verkäufers 183105854
Anzahl: 1 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540241010_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540241010
Anzahl: 10 verfügbar
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 384 pp. Englisch. Bestandsnummer des Verkäufers 9783540241010
Anzahl: 2 verfügbar
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New. Bestandsnummer des Verkäufers 5906870-n
Anzahl: Mehr als 20 verfügbar