Produktbild: Trustworthy Global Computing
Band 4661

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.11.2007

Abbildungen

X, 342 p.

Herausgeber

Ugo Montanari + weitere

Verlag

Springer Berlin

Seitenzahl

342

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-75333-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.11.2007

Abbildungen

X, 342 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

342

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-75333-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Trustworthy Global Computing
  • FP6 Project Overviews.- Project AEOLUS: An Overview.- MOBIUS: Mobility, Ubiquity, Security.- Sensoria Process Calculi for Service-Oriented Computing.- Global Grids – Making a Case for Self-organization in Large-Scale Overlay Networks.- Keynote Speakers.- Software of the Future Is the Future of Software?.- An Algorithmic Theory of Mobile Agents.- Types to Discipline Interactions.- Spatial-Behavioral Types, Distributed Services, and Resources.- Integration of a Security Type System into a Program Logic.- Calculi for Distributed Systems.- PRISMA: A Mobile Calculus with Parametric Synchronization.- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines.- A Typed Calculus for Querying Distributed XML Documents.- Flexible Modeling.- Verification of Model Transformations: A Case Study with BPEL.- A Fuzzy Approach for Negotiating Quality of Services.- Algorithms and Systems for Global Computing.- Scheduling to Maximize Participation.- On the Limits of Cache-Oblivious Matrix Transposition.- The KOA Remote Voting System: A Summary of Work to Date.- Security, Anonymity and Type Safety.- Security Types for Dynamic Web Data.- Anonymity Protocols as Noisy Channels.- A Framework for Automatically Checking Anonymity with ?CRL.- A Framework for Type Safe Exchange of Mobile Code.