494 search results - page 60 / 99 » Probabilistic Programming in Anglican |
79
Voted
FSTTCS
2007
Springer
15 years 6 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...
101
Voted
CN
2008
15 years 17 days ago
2008
Capacity is an important property for QoS support in Mobile Ad Hoc Networks (MANETs) and has been extensively studied. However, most approaches rely on simplified models (e.g., pr...
84
Voted
MSCS
2006
15 years 13 days ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
111
Voted
JLP
2007
15 years 11 days ago
2007
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of thi...
115
click to vote
APIN
2000
15 years 9 days ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...