10159 search results - page 1856 / 2032 » System Design Validation Using Formal Models |
CHI
2003
ACM
15 years 7 months ago
2003
ACM
When designing automated systems that make decisions about when to allow or deny interruptions, the methods of professional interruption mediators are an important source of infor...
107
click to vote
ISWC
2000
IEEE
15 years 6 months ago
2000
IEEE
If a wearable device can register what the wearer is currently doing, it can anticipate and adjust its behavior to avoid redundant interaction with the user. However, the relevanc...
128
click to vote
NPAR
2000
ACM
15 years 6 months ago
2000
ACM
Human faces are attractive and effective in every-day communication. In human-computer interaction, because of the lack of sufficient knowledge and appropriate tools to model and ...
105
click to vote
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
In the reuse domain, the necessity of finding a new, more suitable description language opposes the need to make reuse an accepted practice, and thus related to standards. This pa...
155
click to vote
DEXAW
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for messageba...