1737 search results - page 283 / 348 » On Interpolation in Existence Logics |
147
click to vote
NOMS
2002
IEEE
15 years 11 months ago
2002
IEEE
Mobile agents can migrate among nodes to perform a set of management tasks at each of the visited nodes. Existing mobile agent-based network management systems often assume that t...
173
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
We investigate the problem of creating and analyzing samples of relational databases to find relationships between string-valued attributes. Our focus is on identifying attribute...
165
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
147
click to vote
PADL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
182
click to vote
PAPM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...