2850 search results - page 96 / 570 » On Timed Models and Full Abstraction |
154
click to vote
RTS
2010
15 years 5 months ago
2010
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
175
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
177
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The NEWUOA which belongs to the class of Derivative-Free optimization algorithms is benchmarked on the BBOB-2009 noisefree testbed. A multistart strategy is applied with a maximum...
166
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
223
click to vote
SEUS
2007
IEEE
16 years 1 months ago
2007
IEEE
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...