Sciweavers

133 search results - page 19 / 27
» Levels of automation and user participation in usability tes...
Sort
View
ICLP
2009
Springer
14 years 9 months ago
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut...
JFR
2007
103views more  JFR 2007»
13 years 8 months ago
Evolving interface design for robot search tasks
This paper describes two steps in the evolution of human-robot interaction designs developed by the University of Massachusetts Lowell (UML) and the Idaho National Laboratory (INL...
Holly A. Yanco, Brenden Keyes, Jill L. Drury, Curt...
SIGUCCS
2006
ACM
14 years 2 months ago
Because we have better things to do: automating common support tasks
As technology permeates more aspects of our everyday lives, greater demands are placed on information technology personnel. Lehigh University computing consultants have found thei...
Keith B. Erekson, Stephen G. Lewis
DIGRA
2005
Springer
14 years 2 months ago
Interactive Story Writing in the Classroom: Using Computer Games
Interactive story writing is a new medium for creative expression. The story “writer” uses a computer game (such as BioWare’s Neverwinter Nights) to create an interactive st...
Jonathan Schaeffer, Mike Carbonaro, Duane Szafron,...
HICSS
2002
IEEE
156views Biometrics» more  HICSS 2002»
14 years 1 months ago
Building Common Ground for Communication between Patients and Community Pharmacists with an Internet Medicine Cabinet
Increased levels of patient satisfaction and compliance are found when they assertively participate in clinical conversations. The Internet may be able to aid communication betwee...
Jean-Pierre Calabretto, James R. Warren, Kathy Dar...