43264 search results - page 63 / 8653 » Comparing models of computation |
ACSC
2008
IEEE
15 years 4 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
Handheld computers (Pocket PCs) have been required of all entering CS majors at the University of Minnesota
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
CHI
2007
ACM
15 years 10 months ago
2007
ACM
