659 search results - page 67 / 132 » Using formal models to design user interfaces: a case study |
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
ICRA
2006
IEEE
14 years 2 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...
ACSAC
1999
IEEE
14 years 1 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
Queries on major Web search engines produce complex result pages, primarily composed of two types of information: organic results, that is, short descriptions and links to relevan...
PDC
2004
ACM
14 years 2 months ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...