1890 search results - page 261 / 378 » Model-Based Testing in Practice |
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
102
click to vote
SIGIR
2009
ACM
15 years 8 months ago
2009
ACM
Rank correlation statistics are useful for determining whether a there is a correspondence between two measurements, particularly when the measures themselves are of less interest...
130
click to vote
SIGIR
2009
ACM
15 years 8 months ago
2009
ACM
It is well known that anchor text plays a critical role in a variety of search tasks performed over hypertextual domains, including enterprise search, wiki search, and web search....
119
click to vote
ACHI
2008
IEEE
15 years 8 months ago
2008
IEEE
—A challenging issue for HCI is the development of usable mobile interfaces for interactions with a complex pervasive environment. We consider a need for interfaces which automat...
104
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
A new algorithm is presented that combines performance and variation objectives in a behavioural model for a given analogue circuit topology and process. The tradeoffs between per...