Sciweavers

25111 search results - page 283 / 5023
» Information Systems
Sort
View
ACTA
2005
92views more  ACTA 2005»
15 years 6 months ago
Type-based information flow analysis for the pi-calculus
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 ...
Naoki Kobayashi
CHI
2004
ACM
16 years 7 months ago
The future of signs: interactive information, inexpensively!
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...