2043 search results - page 13 / 409 » Reasoning About Security Models |
125
Voted
COMPSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
113
Voted
SP
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
95
Voted
IJCAI
2001
15 years 1 months ago
2001
Understanding the process of categorization is a primary research goal in artificial intelligence. The conceptual space framework provides a flexible approach to modeling context-...
91
Voted
ICFP
2007
ACM
16 years 9 days ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...