2043 search results - page 152 / 409 » Reasoning About Security Models |
107
Voted
AAAI
2008
15 years 3 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
101
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
113
Voted
SIGCOMM
2010
ACM
15 years 1 months ago
2010
ACM
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...
103
Voted
FLAIRS
2000
15 years 2 months ago
2000
Traditional benchmarking methods for information retrieval (IR) are based on experimental performance evaluation. Although the metrics precision and recall can measure the perform...
128
Voted
ESSLLI
2009
Springer
14 years 10 months ago
2009
Springer
We present an implemented model for speech recognition in natural environments which relies on contextual information about salient entities to prime utterance recognition. The hyp...