1812 search results - page 79 / 363 » Test Early, Test Often |
102
click to vote
SIGSOFT
2006
ACM
16 years 19 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
APBC
2004
15 years 1 months ago
2004
Mutation in HIV-1 is extremely rapid, a consequence of a low-fidelity viral reverse transcription process. The envelope gene has been shown to accumulate substitutions at a rate o...
103
click to vote
CHI
2009
ACM
16 years 14 days ago
2009
ACM
Senior citizens often find it difficult to remember names. This paper describes a novel cell phone application that uses information about one's social network and the places...
CHI
2006
ACM
16 years 9 days ago
2006
ACM
Watching DVDs can be a frustrating experience, because DVD menus often miss out on usability and are complex and difficult to navigate through. Similar to the early years of web d...
160
click to vote
SIGMOD
2007
ACM
16 years 1 days ago
2007
ACM
XML database functionality has been emerging in "XML-only" databases as well as in the major relational database products. Yet, there is no industry standard XML databas...