2079 search results - page 177 / 416 » Quantifying Information Flow |
CJ
2010
13 years 6 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
—In this paper, we investigate how packet delays and losses affect the quality of target tracking. Specifically, we use Bayesian information of the posterior distribution of tar...
OZCHI
2006
ACM
14 years 3 months ago
2006
ACM
This paper describes a pilot project to research the use of a dynamic visual interface as the basis of a scenarioplanning tool. We introduce ‘flow’ as a theoretical framework ...
IV
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper introduces Temporal Social Surfaces. Temporal Social Surfaces show the dynamic evolution of social relationships in groups. Changes in measures of social network analys...
SAS
2004
Springer
14 years 2 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....