12745 search results - page 2380 / 2549 » Automating test automation |
116
Voted
TEI
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we introduce a new way to interact intimately with an automated system. The Intimate Door Lock investigates the psychological effects of intimate humanhuman interact...
120
click to vote
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Tagging has emerged as a powerful mechanism that enables users to find, organize, and understand online entities. Recommender systems similarly enable users to efficiently navig...
121
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
148
click to vote
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
151
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
The abuse of online games by automated programs, known as game bots, for gaining unfair advantages has plagued millions of participating players with escalating severity in recent...