Searching for "Trustworthy Global Computing" – sorted by Relevance.
-
) Submitted to Trustworthy Global Computing (TGC
- ⋆ Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci Department of Computer Science – University
- Cited by 3 (1 self) – Add To MetaCart
-
Types for Resource Control
- Project developing novel technologies for trustworthy global computing, using proof-carrying code to give
- Add To MetaCart
-
Grail: A Functional Form for Imperative Mobile Code
- component of trustworthy global computation. Complementing aspects of authenticity 2 Beringer, Mac
- Cited by 24 (11 self) – Add To MetaCart
-
On the Limits of Cache-Oblivious Rational Permutations Abstract
- . of the Second Symposium on Trustworthy Global Computing, LNCS 4661, pages 233-243, 2006. Email address: silvest1
- Add To MetaCart

