2 search results - page 1 / 1 » Decidability of Parameterized Probabilistic Information Flow |
CSR
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...
WWW
2003
ACM
14 years 5 months ago
2003
ACM
Continuous queries are queries for which responses given to users must be continuously updated, as the sources of interest get updated. Such queries occur, for instance, during on...