10159 search results - page 1856 / 2032 » System Design Validation Using Formal Models |
CHI
2003
ACM
14 years 1 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...
ISWC
2000
IEEE
14 years 22 days 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...
NPAR
2000
ACM
14 years 21 days 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 ...
DATE
1999
IEEE
14 years 20 days 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...
DEXAW
1998
IEEE
14 years 18 days 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...