942 search results - page 3 / 189 » Interrupt Timed Automata |
CHI
2003
ACM
14 years 5 months ago
2003
ACM
In this paper, we describe a laboratory experiment to determine whether peripheral awareness information about a remote collaborator's workload aids in timing interruptive co...
CHI
1995
ACM
13 years 9 months ago
1995
ACM
We report tindings from an observational study on the nature of interruptions in the workplace. The results show that in most cases, (64”A), the recipient received some benefit ...
AAAI
2008
13 years 7 months ago
2008
A contract algorithm is an algorithm which is given, as part of its input, a specified amount of allowable computation time. In contrast, interruptible algorithms may be interrupt...
SDL
2001
13 years 6 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
HYBRID
2003
Springer
13 years 10 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...