2004 search results - page 278 / 401 » Comparison of Model Checking Tools for Information Systems |
130
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we present a system of the off-line handwriting recognition. Our recognition system is based on temporal order restoration of the off-line trajectory. For this task ...
134
click to vote
ITRUST
2005
Springer
15 years 10 months ago
2005
Springer
Trust is an important tool in human life, as it enables people to cope with the uncertainty caused by the free will of others. Uncertainty and uncontrollability are also issues in ...
143
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
135
click to vote
WSC
1998
15 years 5 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...
147
click to vote
AVI
2004
15 years 5 months ago
2004
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...