8828 search results - page 1465 / 1766 » Formal methods in practice |
174
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
199
click to vote
SIGIR
2009
ACM
16 years 1 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....
184
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
166
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper presents new algorithms for conducting cooperative sensing using a mobile backbone network. This hierarchical sensing approach combines backbone nodes, which...
148
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
—A material handling (MH) system of a general assembly line dispatching parts from inventory to working buffers could be complicated and costly to operate. Generally it is extrem...