6293 search results - page 156 / 1259 » Information Flow Testing |
128
click to vote
ENTCS
2010
14 years 10 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...
126
click to vote
CHI
2010
ACM
15 years 10 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...
114
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
147
Voted
VISUALIZATION
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we offer several new insights and techniques for effectively using color and texture to simultaneously convey information about multiple 2D scalar and vector distrib...
107
click to vote
GRAPHICSINTERFACE
2008
15 years 4 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...