780 search results - page 59 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
TFM
2009
Springer
14 years 2 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
EOR
2010
13 years 8 months ago
2010
We study the effects of demand uncertainty on optimal decisions and the expected profit of a pricesetting newsvendor who faces either additive or multiplicative stochastic demand....
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
UM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
FMSD
2007
13 years 7 months ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...