2825 search results - page 148 / 565 » Support for Object-Oriented Testing |
141
Voted
CHI
2010
ACM
15 years 11 months ago
2010
ACM
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...
135
click to vote
BPM
2005
Springer
15 years 9 months ago
2005
Springer
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...
135
click to vote
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
Notification interfaces that continuously present peripheral information have received increasing interest within the HCI community, especially those supporting awareness of other...
123
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
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...
123
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
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...