3255 search results - page 536 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
168
Voted
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
159
click to vote
UIST
1999
ACM
15 years 10 months ago
1999
ACM
We present experimental work which explores how the match (or mismatch) between the input space of the hands and the output space of a graphical display influences twohanded input...
180
click to vote
UIST
1995
ACM
15 years 9 months ago
1995
ACM
A fundamental issue in user interface design is the effective use of available screen space, commonly referred to as the screen real estate problem. This paper presents a new dist...
184
click to vote
IUI
2005
ACM
15 years 11 months ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
178
Voted
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...