3623 search results - page 422 / 725 » Functionally Modeled User Interfaces |
131
click to vote
TACAS
2004
Springer
15 years 9 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...
139
click to vote
ICVS
2003
Springer
15 years 9 months ago
2003
Springer
This paper discusses the design of a working system that visually recognizes hand gestures for the control of a window based user interface. We present a method for tracking the fi...
136
click to vote
ICWE
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we propose to include two up-to-date separate concepts, namely social computing and usability metrics, in intelligent interaction agents to enhance a user-centred, ad...
123
Voted
INFOVIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Relational databases provide significant flexibility to organize, store, and manipulate an infinite variety of complex data collections. This flexibility is enabled by the concept...
121
click to vote
UIST
1999
ACM
15 years 8 months ago
1999
ACM
Most document or information management systems rely on hierarchies to organise documents (e.g. files, email messages or web bookmarks). However, the rigid structures of hierarchi...