2875 search results - page 391 / 575 » Model checking agentspeak |
137
click to vote
JAVA
2001
Springer
15 years 7 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
121
click to vote
STACS
2001
Springer
15 years 7 months ago
2001
Springer
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...
121
click to vote
COMPULOG
1999
Springer
15 years 7 months ago
1999
Springer
Many constraint satisfaction problems can be naturally and efficiently modelled using non-binary constraints like the “all-different” and “global cardinality” constraints...
132
click to vote
VLDB
1998
ACM
15 years 7 months ago
1998
ACM
Approximate predicates can be used to reduce the number of comparisons made by expensive, complex predicates. For example, to check if a point is within a region (expensive predic...
120
click to vote
CONCUR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...