4722 search results - page 173 / 945 » Encoding Program Executions |
139
click to vote
CEEMAS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Coordination and cooperation are crucial notions in multi-agent systems. We provide a constraint programming language called GrAPL, with facilities for group communicatio...
144
click to vote
CADE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
131
click to vote
ENTCS
2006
15 years 4 months ago
2006
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
127
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
124
click to vote
IAT
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...