6527 search results - page 208 / 1306 » On Typing Information Flow |
135
click to vote
ESORICS
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
141
click to vote
RTCSA
2000
IEEE
15 years 8 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
128
click to vote
VISUALIZATION
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a new approach for animating 2D steady flow fields. It is based on an original data structure called the Motion Map. The Motion Map contains not only a dense...
133
click to vote
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
153
click to vote
ICMLA
2007
15 years 5 months ago
2007
We develop an optical flow estimation framework that focuses on motion estimation over time formulated in a Dynamic Bayesian Network. It realizes a spatiotemporal integration of ...