2663 search results - page 57 / 533 » How to Choose a Timing Model |
114
click to vote
WORDS
2003
IEEE
15 years 5 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Game theoretic models of learning which are based on the strategic form of the game cannot explain learning in games with large extensive form. We study learning in such games by ...
100
click to vote
FUIN
2007
14 years 11 months ago
2007
Reachability analysis for timed automata using SAT-based methods was considered in many papers, occurring to be a very efficient model checking technique. In this paper we show ho...
CCE
2004
14 years 11 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...