525 search results - page 26 / 105 » Using Checkable Types in Automatic Protocol Analysis |
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
This paper concerns a method to automatically detect drusen in a retinal image without human supervision or interaction. We use a multi-level approach, beginning with classificatio...
SIGIR
2003
ACM
14 years 29 days ago
2003
ACM
Term-based representations of documents have found widespread use in information retrieval. However, one of the main shortcomings of such methods is that they largely disregard le...
LOPSTR
2007
Springer
14 years 1 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...