783 search results - page 17 / 157 » Bridging the Gap |
130
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
161
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
Most user interface development methodologies have been conceived based on the experience from the development of traditional PC-based systems. However, computer and displays techn...
ISORC
2002
IEEE
15 years 10 months ago
2002
IEEE