622 search results - page 5 / 125 » Specifying Functional and Timing Behavior for Real-Time Appl... |
PADS
2005
ACM
14 years 1 months ago
2005
ACM
The RINSE simulator is being developed to support large-scale network security preparedness and training exercises, involving hundreds of players and a modeled network composed of...
RTSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
EMSOFT
2001
Springer
14 years 12 days ago
2001
Springer
AGENTS
1997
Springer
14 years 2 days ago
1997
Springer
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
CA
1999
IEEE
14 years 7 days ago
1999
IEEE
This paper shows a new approach to model and control interactive objects for simulations with virtual human agents when real time interactivity is essential. A general conceptuali...