Sciweavers

2825 search results - page 148 / 565
» Support for Object-Oriented Testing
Sort
View
141
Voted
CHI
2010
ACM
15 years 11 months ago
Crosstrainer: testing the use of multimodal interfaces in situ
We report the results of an exploratory 8-day field study of CrossTrainer: a mobile game with crossmodal audio and tactile feedback. Our research focuses on the longitudinal effec...
Eve E. Hoggan, Stephen A. Brewster
BPM
2005
Springer
113views Business» more  BPM 2005»
15 years 9 months ago
Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
Anne Rozinat, Wil M. P. van der Aalst
ACMSE
2004
ACM
15 years 9 months ago
Usability testing of notification interfaces: are we focused on the best metrics?
Notification interfaces that continuously present peripheral information have received increasing interest within the HCI community, especially those supporting awareness of other...
John E. Booker, Christa M. Chewar, D. Scott McCric...
SAC
2004
ACM
15 years 9 months ago
Using mobile agents as roaming security guards to test and improve security of hosts and networks
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
Marco M. Carvalho, Thomas B. Cowin, Niranjan Suri,...
CHARME
2003
Springer
97views Hardware» more  CHARME 2003»
15 years 9 months ago
Convergence Testing in Term-Level Bounded Model Checking
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Se...