Sciweavers

710 search results - page 40 / 142
» Model Based Reengineering Of User Interfaces
Sort
View
CHI
2004
ACM
14 years 9 months ago
Unintended effects: varying icon spacing changes users' visual search strategy
Users of modern GUIs routinely engage in visual searches for various control items, such as buttons and icons. Because this is so ubiquitous, it is important that the visual prope...
Sarah P. Everett, Michael D. Byrne
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
14 years 5 months ago
Interface specification for reconfigurable components
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
Satnam Singh
SOFTWARE
2002
13 years 8 months ago
Usage-Centered Engineering for Web Applications
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
Larry L. Constantine, Lucy A. D. Lockwood
SPIN
2001
Springer
14 years 1 months ago
Automatically Validating Temporal Safety Properties of Interfaces
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
Thomas Ball, Sriram K. Rajamani
FMOODS
2007
13 years 10 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...