757 search results - page 69 / 152 » Automatic Support for Usability Evaluation |
SIGSOFT
2008
ACM
14 years 11 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
CGO
2010
IEEE
14 years 5 months ago
2010
IEEE
Tiling is a widely used loop transformation for exposing/exploiting parallelism and data locality. Effective use of tiling requires selection and tuning of the tile sizes. This is...
NDSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To address this limitation, a number of solutions have rec...
AMFG
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper provides a new fully automatic framework to analyze facial action units, the fundamental building blocks of facial expression enumerated in Paul Ekman’s Facial Action...
SIGSOFT
2009
ACM
14 years 11 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...