161 search results - page 15 / 33 » A system for processing handwritten bank checks automaticall... |
ENTCS
2002
13 years 7 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
ISSS
2002
IEEE
14 years 19 days ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciļ¬...
CASCON
2010
13 years 4 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
FMSD
2006
13 years 7 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
SAS
2001
Springer
14 years 4 days ago
2001
Springer
Model checking would answer all ļ¬nite-state veriļ¬cation problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...