FP6 Project overviews -- Keynote speakers -- Types to discipline interactions -- Calculi for distributed systems -- Flexible modeling -- Algorithms and systems for global computing -- Security, anonymity and type safety
Summary
This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with 2 keynote lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on types to discipline interactions, calculi for distributed systems, flexible modeling, algorithms and systems for global computing, as well as security, anonymity and type safety. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets
Analysis
programmeren
programming
computerwetenschappen
computer sciences
computernetwerken
computer networks
programmeertalen
programming languages
software engineering
gegevensbeheer
data management
Information and Communication Technology (General)