12981 search results - page 2249 / 2597 » Model Checking (Abstract) |
158
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
129
click to vote
ICDT
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. In many cases, users may want to consider incomplete answers to their queries. Often, however, there is an overwhelming number of such answers, even if subsumed answers a...
136
Voted
ICISS
2007
Springer
15 years 11 months ago
2007
Springer
This paper reports the results of our experimentation with modeling worm behavior on a large scale, fully adaptable network simulator. Our experiments focused on areas of worm scan...
135
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
171
click to vote
ISBRA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Cancer detection using mammography focuses on characteristics of tiny microcalcifications, including the number, size, and spatial arrangement of microcalcification clu...