7766 search results - page 193 / 1554 » Testing Nondeterminate Systems |
BPM
2005
Springer
14 years 3 months ago
2005
Springer
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
CHARME
2003
Springer
14 years 2 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
ISSAC
2001
Springer
14 years 2 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...
JUCS
2010
13 years 8 months ago
2010
: Mobile banking has been considered to be one of the most value-added and important mobile services currently available. Considering the fact that the penetration of this technolo...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
Speed dependent automatic zooming (SDAZ) is a promising refinement to scrolling in which documents are automatically zoomed-out as the scroll rate increases. By automatically zoom...