3 search results - page 1 / 1 » Verification and Refutation of Probabilistic Specifications ... |
79
Voted
FSTTCS
2009
Springer
15 years 5 months ago
2009
Springer
ENTCS
2006
14 years 11 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
190
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...