161 search results - page 15 / 33 » A system for processing handwritten bank checks automaticall... |
160
click to vote
ENTCS
2002
15 years 5 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...
175
click to vote
ISSS
2002
IEEE
15 years 11 months 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ļ¬...
296
click to vote
CASCON
2010
15 years 2 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...
160
click to vote
FMSD
2006
15 years 6 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...
144
click to vote
SAS
2001
Springer
15 years 10 months 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...