9110 search results - page 35 / 1822 » Formally-Based Design Evaluation |
60
Voted
HCI
2007
14 years 11 months ago
2007
In this paper, we focus on the method to explore a different type of auditory progress bar by analyzing the characteristics of the visual progress bar and contexts of auditory appl...
110
click to vote
ISTA
2008
14 years 11 months ago
2008
Abstract. Integration is one of the pivotal concepts with respect to analyzing, designing and evaluating information systems. Integrating software components as well as integrating...
80
Voted
SAINT
2005
IEEE
15 years 3 months ago
2005
IEEE
We are developing a virtual city system with a model that consists of virtual architectural objects and virtual creatures, geographically overlaid onto the real world. People who ...
66
Voted
CHI
2005
ACM
15 years 10 months ago
2005
ACM
As the computer game industry grows, game capabilities and designs are being re-used for purposes other than entertainment. The study of 'Serious Games', i.e. games for ...
FCCM
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper explores the implications of integrating flexible module generation into a compiler for FPGAs. The objective is to improve the programmabilityof FPGAs, or in other wor...