14360 search results - page 495 / 2872 » Time Modeling in MARTE |
166
click to vote
WSC
2007
15 years 8 months ago
2007
Conceptual modeling, deciding what to include in the model, is a very important task in the modeling process. However, it has so far received relatively little attention in the li...
146
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
155
click to vote
FMOODS
2007
15 years 7 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
150
click to vote
GEOINFO
2007
15 years 7 months ago
2007
Abstract. We present a method to perform model selection based on predictive density in a class of spatio-temporal dynamic generalized linear models for areal data. These models as...
173
click to vote
IICAI
2007
15 years 7 months ago
2007
Structured Hidden Markov Models (S-HMM) are a variant of Hierarchical Hidden Markov Models; it provides an abstraction mechanism allowing a high level symbolic description of the k...