Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Publication year: 2008
ISBN: 978-3-540-78663-4
Internet Resource: Please Login to download book
The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. The volume concludes with 3 tutorial papers, presented at the co-located Workshop on the Interplay of Programming Languages and Cryptography.
Subject: Computer Science / DJ / Java / MIDP / Scala / Session / Web Services / access control / anonymity / authorization logic / calculi / design / distributed computing / global computing / programming / verification /Software Engineering / Programming and Operating Systems / Computer Communication Networks / Programming Techniques / Systems and Data Security / Programming Languages, Compilers, Interpreters
