9110 search results - page 1520 / 1822 » Formally-Based Design Evaluation |
124
click to vote
UIST
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents CoCo, a system that automates web tasks on a user's behalf through an interactive conversational interface. Given a short command such as "get road c...
145
click to vote
USS
2010
15 years 2 months ago
2010
Use-after-free vulnerabilities exploiting so-called dangling pointers to deallocated objects are just as dangerous as buffer overflows: they may enable arbitrary code execution. U...
155
click to vote
USS
2010
15 years 2 months ago
2010
Web browsers are increasingly designed to be extensible to keep up with the Web's rapid pace of change. This extensibility is typically implemented using script-based extensi...
209
click to vote
WD
2010
15 years 2 months ago
2010
This paper deals with the routing in cognitive mobile ad hoc networks. We propose to modify the widely adopted Ad-hoc On-demand Distance Vector (AODV) protocol [1] in order to assu...
152
click to vote
WEBI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--Expertise matching, aiming to find the alignment between experts and queries, is a common problem in many real applications such as conference paper-reviewer assignment, ...