2413 search results - page 181 / 483 » Models for universal usability |
DAGM
2005
Springer
15 years 6 months ago
2005
Springer
Over the last decade voice technologies for telephony and embedded solutions became much more mature, resulting in applications providing mobile access to digital information from ...
113
click to vote
SEM
2004
Springer
15 years 6 months ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
99
Voted
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
93
Voted
IV
2003
IEEE
15 years 6 months ago
2003
IEEE
The need for visualisation applications developed for small handheld devices such as PDAs and intelligent mobiles are growing. A visual user interface VUI model based on zooming u...
96
Voted
IV
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...