1083 search results - page 182 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
129
click to vote
CADE
2003
Springer
16 years 2 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
132
Voted
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
208
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
123
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
95
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...