2610 search results - page 77 / 522 » Computational Probabilistic Non-interference |
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
ICCSA
2004
Springer
14 years 2 months ago
2004
Springer
The algorithmic techniques which allow high efficiency in the precise calculation of the reliability of an undirected graph with absolutely reliable nodes and unreliable edges are ...
UAI
2008
13 years 10 months ago
2008
While known algorithms for sensitivity analysis and parameter tuning in probabilistic networks have a running time that is exponential in the size of the network, the exact comput...
FSTTCS
2007
Springer
14 years 3 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
ISIPTA
2005
IEEE
14 years 2 months ago
2005
IEEE
This papers investigates the computation of lower/upper expectations that must cohere with a collection of probabilistic assessments and a collection of judgements of epistemic in...