9110 search results - page 335 / 1822 » Formally-Based Design Evaluation |
169
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
The usability of Free/Libre/Open Source Software (FLOSS) is a new challenge for HCI professionals. Although HCI professionals are working on usability issues in FLOSS, the CHI com...
170
click to vote
KBSE
2006
IEEE
16 years 19 days ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
165
click to vote
AUIC
2005
IEEE
16 years 8 days ago
2005
IEEE
With the advent of the Tablet PC and stylus-based PDAs, sketching-based user interfaces for design tools have become popular. However, a major challenge with such interfaces is th...
143
click to vote
ACMACE
2005
ACM
16 years 6 days ago
2005
ACM
We examine the role of sound design in pervasive mobile games. As a case study, we present the sound design and evaluation of a working prototype game called The Songs of North. A...
150
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
A primary goal of high-level modeling is to efficiently explore a broad design space, converging on an optimal or near-optimal system architecture before moving to a more detaile...