9110 search results - page 99 / 1822 » Formally-Based Design Evaluation |
HCI
2007
14 years 11 months ago
2007
: The purpose of this research was to develop an approach to artifact design based on information technology. To make interactive systems easy to use, many companies utilize a user...
APCHI
1998
IEEE
15 years 2 months ago
1998
IEEE
Iterative design is usually considered in the context of prototyping, evaluating, and improving a single product. We had the interesting opportunity to work on three distinct prod...
ASSETS
2007
ACM
15 years 1 months ago
2007
ACM
Mobile phones can provide a number of benefits to older people. However, most mobile phone designs and form factors are targeted at younger people and middle-aged adults. To infor...
DFT
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
ACMSE
2006
ACM
15 years 3 months ago
2006
ACM
The design of large-scale, distributed, performance-sensitive systems presents numerous challenges due to their networkcentric nature and stringent quality of service (QoS) requir...