4460 search results - page 287 / 892 » Formal methods for interactive systems |
158
click to vote
GIR
2006
ACM
16 years 18 days ago
2006
ACM
Vague spatial information such as “x is located at walking distance of y” is abundant on the web. In this contribution, we propose a framework to represent such spatial inform...
157
click to vote
ICCS
1997
Springer
15 years 10 months ago
1997
Springer
Users need to be strongly involved in the specification process of network information systems. Characteristics of user-driven specification are described, and process composition ...
139
click to vote
MEDINFO
2007
15 years 8 months ago
2007
Large-scale implementation of electronic prescribing systems (e-PS) is likely to introduce at least some machinerelated errors that will harm patients. We present a dynamic system...
177
click to vote
ACHI
2008
IEEE
15 years 8 months ago
2008
IEEE
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...
148
Voted
DSVIS
2003
Springer
15 years 12 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...