2887 search results - page 150 / 578 » Name Generation and Linearity |
155
click to vote
ENTCS
2006
15 years 6 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
159
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
215
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
148
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we present our development of a document management and retrieval tool, which is named Ontalk. Our system provides a semi-automatic metadata generator and an ontolo...
131
click to vote
SAINT
2008
IEEE
16 years 25 days ago
2008
IEEE
In this paper, we present the first heuristic for fully distributed bootstrapping of peer-to-peer networks. Our heuristic generates a stream of promising IP addresses to be probe...