2043 search results - page 368 / 409 » Reasoning About Security Models |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum...
IEE
2011
13 years 4 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
MST
2010
13 years 4 months ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
ESOP
2012
Springer
12 years 5 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...