Sciweavers

9110 search results - page 304 / 1822
» Formally-Based Design Evaluation
Sort
View
IUI
2004
ACM
16 years 13 hour ago
Computer algebra in interface design research
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
Harold W. Thimbleby, Jeremy Gow
FORTE
1990
15 years 7 months ago
Step-wise Refinement Design Example Using LOTOS
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
Luís Ferreira Pires, Wanderley Lopes de Sou...
DAC
2000
ACM
16 years 7 months ago
The design and use of simplepower: a cycle-accurate energy estimation tool
In this paper, we presen t the design and use of a comprehensiv e framework, SimplePower, for evaluating the e ect of high-level algorithmic, architectural, and compilation tradeo...
Wu Ye, Narayanan Vijaykrishnan, Mahmut T. Kandemir...
CHI
2008
ACM
16 years 7 months ago
AutoCardSorter: designing the information architecture of a web site using latent semantic analysis
In this paper, we describe an innovative tool that supports the design and evaluation of the information architecture of a Web site. The tool uses Latent Semantic Analysis and hie...
Christos Katsanos, Nikolaos K. Tselios, Nikolaos M...
CHI
2008
ACM
16 years 7 months ago
Designing embodied interfaces for casual sound recording devices
In the Special Moment project we prototype and evaluate the design of interfaces for casual sound recording devices. These devices are envisioned to be used by a casual user to ca...
Ivan Poupyrev, Haruo Oba, Takuo Ikeda, Eriko Iwabu...