We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
We present an inexpensive, interactive ubiquitous computing system that supports information presentation on demand using a novel "card reading" interaction style. We...
Aradhana Goel, Michael Higgins, Mickey McManus, Ma...