1554 search results - page 49 / 311 » Testing Polymorphic Behavior |
FATES
2003
Springer
14 years 1 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
An aggregated search interface is designed to integrate search results from different sources (web, image, video, blog, etc) into a single result page. This paper presents two us...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Search engines make it easy to check facts online, but finding some specific kinds of information sometimes proves to be difficult. We studied the behavioral signals that suggest ...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
In this paper, we explore the use of an Eco-Driving System [1] to see how the system promotes greener driving behavior. We conducted both an online survey (N=60) and a user test (...
CIA
2007
Springer
14 years 2 months ago
2007
Springer
When two or more agents interacting, their behaviors are not necessarily matching. Automated ways to overcome con icts in the behavior of agents can make the execution of interacti...