Sciweavers

237 search results - page 19 / 48
» An experience report on the design and delivery of two new s...
Sort
View
ICSE
2007
IEEE-ACM
14 years 7 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
CHI
2007
ACM
14 years 8 months ago
Engaging constable: revealing art with new technology
Museums increasingly deploy new technologies to enhance visitors' experience of their exhibitions. They primarily rely on touch-screen computer systems, PDAs and digital audi...
Dirk vom Lehn, Jon Hindmarsh, Paul Luff, Christian...
ICIS
1997
13 years 9 months ago
The effects of task interruption and information presentation on individual decision making
Interrupted work environments are commonplace in today’s organizations. In addition, organizational work is increasingly performed using some form of computer support. Consequen...
Cheri Speier, Joseph S. Valacich, Iris Vessey
BCSHCI
2008
13 years 9 months ago
Assessing the benefits of multimodal feedback on dual-task performance under demanding conditions
The last few years have seen the release of an increasing number of new IT-related devices into the marketplace that have started to utilize tactile feedback. These include those ...
Ju-Hwan Lee, Charles Spence
SIGCSE
2000
ACM
132views Education» more  SIGCSE 2000»
14 years 8 hour ago
Empirical investigation throughout the CS curriculum
Empirical skills are playing an increasingly important role in the computing profession and our society. But while traditional computer science curricula are effective in teaching...
David W. Reed, Craig S. Miller, Grant Braught