73 search results - page 5 / 15 » Sequential Testing of Product Designs: Implications for Lear... |
ICSE
2005
IEEE-ACM
14 years 28 days ago
2005
IEEE-ACM
This report addresses some of our observations made in a dozen of projects in the area of software testing, and more specifically, in automated testing. It documents, analyzes and...
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
This proposal describes the early phase of our design process developing a robot cell-phone named CALLY, with which we are exploring the roles of facial and gestural expressions o...
CSCW
2012
ACM
12 years 3 months ago
2012
ACM
A challenge for many online production communities is to direct their members to accomplish tasks that are important to the group, even when these tasks may not match individual m...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Social networking sites (SNS) are only as good as the content their users share. Therefore, designers of SNS seek to improve the overall user experience by encouraging members to ...