6047 search results - page 261 / 1210 » Modeling with Extend |
145
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
133
click to vote
IGPL
2010
15 years 2 months ago
2010
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence network...
136
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we apply the robust redesign for transient performance recovery of nonlinear systems with input uncertainties developed in [2] to a spacecraft attitude tracking probl...
125
click to vote
INFFUS
2011
14 years 7 months ago
2011
We provide a sensor fusion framework for solving the problem of joint ego-motion and road geometry estimation. More specifically we employ a sensor fusion framework to make syste...
127
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...