2043 search results - page 56 / 409 » Reasoning About Security Models |
AAMAS
2010
Springer
13 years 10 months ago
2010
Springer
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
GIS
2010
ACM
13 years 8 months ago
2010
ACM
Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of ...
AAAI
2008
13 years 11 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
SIGMOD
2009
ACM
14 years 10 months ago
2009
ACM
In this paper we present a method for reasoning about privacy using the concepts of exchangeability and deFinetti's theorem. We illustrate the usefulness of this technique by...