850 search results - page 128 / 170 » A Logic Programming Language Based on Binding Algebras |
105
click to vote
ECAIW
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
107
click to vote
RSP
2003
IEEE
15 years 6 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
107
click to vote
PODC
2003
ACM
15 years 6 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
212
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
100
click to vote
PASTE
2010
ACM
14 years 11 months ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...