2610 search results - page 120 / 522 » Computational Probabilistic Non-interference |
129
click to vote
RAID
2001
Springer
15 years 7 months ago
2001
Springer
With the growing deployment of host and network intrusion detection systems, managing reports from these systems becomes critically important. We present a probabilistic approach t...
117
click to vote
TCAD
1998
15 years 2 months ago
1998
In this paper, we present a probabilistic simulation technique to estimate the power consumption of a cmos circuit under a general delay model. This technique is based on the noti...
136
Voted
NETWORKS
2010
15 years 29 days ago
2010
We consider a probabilistic model for the Steiner Tree problem. Under this model the problem is defined in a 2-stage setting over a first-stage complete weighted graph having it...
130
Voted
QEST
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
113
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...