1393 search results - page 35 / 279 » From Models to Interactive Systems Tool Support and XIML |
149
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
“The Unified Modeling Language (UML) is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a softwareintensive system” [1]. This ...
219
click to vote
IMCSIT
2010
2010
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
15 years 25 days ago
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...
196
click to vote
IMC
2009
ACM
16 years 16 days ago
2009
ACM
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
187
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...
146
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...