1463 search results - page 264 / 293 » Model Checking Implicit-Invocation Systems |
104
click to vote
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
131
click to vote
ICLP
2001
Springer
15 years 5 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
131
click to vote
AP2PS
2009
IEEE
15 years 4 months ago
2009
IEEE
—P2P computing platforms are subject to a wide range of attacks. In this paper, we propose a generalisation of the previous disk-less checkpointing approach for fault-tolerance i...
120
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
VCIP
2000
15 years 2 months ago
2000
This work presents a geometry based vision system for aircraft recognition and pose estimation using single images. Pose estimation improves the tracking performance of guided wea...