591 search results - page 65 / 119 » Probabilistic Assumption-Based Reasoning |
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
115
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
105
click to vote
SIGMOD
2002
ACM
15 years 12 months ago
2002
ACM
Recent work has demonstrated the effectiveness of the wavelet decomposition in reducing large amounts of data to compact sets of wavelet coefficients (termed "wavelet synopse...
187
click to vote
POPL
2002
ACM
16 years 4 days ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...