1995 search results - page 157 / 399 » Belief in Information Flow |
117
click to vote
APLAS
2001
ACM
15 years 4 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
85
Voted
CORR
2006
Springer
15 years 25 days ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
110
click to vote
SIAMSC
2008
15 years 21 days ago
2008
In this paper, we propose a stochastic mixed multiscale finite element method. The proposed method solves the stochastic porous media flow equation on the coarse grid using a set ...
91
Voted
CVPR
2006
IEEE
16 years 2 months ago
2006
IEEE
Illumination inconsistencies cause serious problems for classical computer vision applications such as tracking and stereo matching. We present a new approach to model illuminatio...
113
click to vote
SIGSOFT
1998
ACM
15 years 5 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...