14360 search results - page 47 / 2872 » Time Modeling in MARTE |
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
NIPS
2007
13 years 10 months ago
2007
Biological movement is built up of sub-blocks or motion primitives. Such primitives provide a compact representation of movement which is also desirable in robotic control applica...
AUSAI
2009
Springer
14 years 3 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
ESANN
2006
13 years 10 months ago
2006
In this paper, an improvement to the E step of the EM algorithm for nonlinear state-space models is presented. We also propose strategies for model structure selection when the EM-...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...