453 search results - page 51 / 91 » FLUX: A Logic Programming Method for Reasoning Agents |
164
Voted
CONCUR
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
284
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
173
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
234
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
169
click to vote
AAAI
1996
15 years 7 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...