282 search results - page 14 / 57 » Reactive Environments |
80
Voted
VLSID
2003
IEEE
15 years 10 months ago
2003
IEEE
Control dominated embedded systems have to be designed for fast reaction to asynchronous external events occurring in the environment. Such systems must be able to perform signal ...
95
Voted
ATAL
2008
Springer
15 years 5 days ago
2008
Springer
The context of this work is the search for realism and believability of Virtual Humans. Our contribution to achieve this goal is to enable Virtual Humans (VH) to react to spontane...
APSEC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
116
click to vote
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
111
click to vote
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...