2639 search results - page 18 / 528 » Biological Systems as Reactive Systems |
RTSS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
RSP
2003
IEEE
14 years 3 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This paper addresses a novel approach to the nvehicle collision avoidance problem. The vehicle model used is a planar unicycle, chosen for its wide applicability to gro...
VLDB
1994
ACM
14 years 1 months ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...