783 search results - page 17 / 157 » Bridging the Gap |
PPSN
2004
Springer
14 years 25 days ago
2004
Springer
CAV
2003
Springer
14 years 21 days 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...
CONCUR
2003
Springer
14 years 21 days ago
2003
Springer
DSVIS
2003
Springer
14 years 21 days 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
14 years 12 days ago
2002
IEEE