1983 search results - page 266 / 397 » User Interface Modelling with UML |
105
Voted
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— In robot-assisted interventions, providing a surgeon with haptic information regarding contacts made between surgical instruments and tissue can improve task performanc...
112
click to vote
FC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
125
Voted
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...
131
Voted
ICVS
2003
Springer
15 years 8 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...
127
Voted
ICWE
2003
Springer
15 years 8 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...