949 search results - page 122 / 190 » Relating Imperatives to Action |
PUC
2007
13 years 7 months ago
2007
The results of a study of two computer games, that use human movement as direct input, were analysed using four existing frameworks and approaches, drawn from different disciplines...
JCT
2010
13 years 6 months ago
2010
We prove a collection of conjectures of D. White [37], as well as some related conjectures of Abuzzahab-Korson-Li-Meyer [1] and of Reiner and White [21], [37], regarding the cyclic...
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
ASWC
2009
Springer
13 years 5 months ago
2009
Springer
People conventionally refer to an action or occurrence taking place at a certain time at a specific location as an event. This notion is potentially useful for connecting individua...