6812 search results - page 182 / 1363 » Detection of Information Flows |
202
click to vote
ENTCS
2010
15 years 2 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
159
click to vote
ECIS
2001
15 years 8 months ago
2001
The Internet and Intranet reduce much of the costs of information sharing, but they do not solve receivers' reading and interpretation limitations. Alternatively, browsers an...
183
click to vote
CHI
2010
ACM
16 years 2 months ago
2010
ACM
Water is our most precious and most rapidly declining natural resource. We explore pervasive technology as an approach for promoting water conservation in public and private space...
174
click to vote
GRAPHICSINTERFACE
2008
15 years 8 months ago
2008
A major challenge of novel scientific visualization using Augmented Reality is the accuracy of the user/camera position tracking. Many alternative techniques have been proposed, b...
197
click to vote
JSAC
2008
15 years 7 months ago
2008
Abstract--To implement network coding, users need to coordinate and cooperate with respect to their strategies in terms of duplicating and transmitting side information across spec...