Sciweavers

43264 search results - page 63 / 8653
» Comparing models of computation
Sort
View
ACSC
2008
IEEE
14 years 3 months ago
Relative simulation and model checking of real-time processes
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...
Colin J. Fidge
CHI
2003
ACM
14 years 9 months ago
Comparative expert reviews
Rolf Molich, Robin Jeffries
ACSC
2004
IEEE
14 years 15 days ago
The Effectiveness of Innovative Approaches to CS1: Comparing Opinion to Outcome
Handheld computers (Pocket PCs) have been required of all entering CS majors at the University of Minnesota
James D. Allert