3710 search results - page 195 / 742 » A new calculus of contexts |
171
click to vote
CP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
159
click to vote
CAV
2003
Springer
16 years 13 days ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
195
click to vote
ICLP
2003
Springer
16 years 13 days ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
197
click to vote
VISUALIZATION
2002
IEEE
16 years 4 days ago
2002
IEEE
The current state of the art in visualization research places a strong emphasis on different techniques to derive insight from disparate types of data. However, little work has in...
196
click to vote
WMCSA
2002
IEEE
16 years 3 days ago
2002
IEEE
Mobile environments are highly dynamic, characterised by frequent and sudden changes in resource availability. As a consequence, adaptive mobile applications need to be capable of...