4914 search results - page 159 / 983 » Arbitration of a help system |
ACMDIS
2010
ACM
13 years 6 months ago
2010
ACM
Ideation Decks is a project that explores the development of a methodological tool for design ideation. It involves the creation and use of bespoke project-specific card based sys...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
EUROSYS
2011
ACM
12 years 11 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
CSCW
2012
ACM
12 years 3 months ago
2012
ACM
Micro-task platforms provide massively parallel, ondemand labor. However, it can be difficult to reliably achieve high-quality work because online workers may behave irresponsibly...
WISE
2009
Springer
14 years 5 months ago
2009
Springer
Users often encounter unreliable information on the Web, but there is no system to check the credibility easily and efficiently. In this paper, we propose a system to search useful...