Results 281 to 290 of about 85,416 (307)

Proving Model Transformations

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010
Within the MDA context, model transformations (MT) play an important role as they ensure consistency and significant time savings. Several MT frameworks have been deployed and successfully used in practice. Like for any software, the development of MT programs is error prone.
Hung Ledang, Hubert Dubois
openaire   +1 more source

The Transformation of the Nordic Models

Cooperation and Conflict, 1987
With reference to an extensive comparative study of the Nordic economic political models, this article discusses some perspectives for the 1990s. Five economic political models developed as the Nordic area was integrated into the postwar world economy.
Jan Otto Andersson, Lars Mjøsset
openaire   +1 more source

On Model Transformation Reuse

2009 33rd Annual IEEE International Computer Software and Applications Conference, 2009
Model transformation is the key technique of MDA and MDD. However, developing a model transformation is a difficult work. Because that model transformation is a special kind of software, the ideas of software reuse can be applied to transformation development to lower the cost and to avoid duplicated works. But there are some barriers to transformation
Xiao He 0005, Zhiyi Ma, Yan Zhang, Weizhong Shao   +3 more
openaire   +1 more source

Model Transformation by Example

2006
In advanced XML transformer tools, XSLT rules are generated automatically after relating simple source and target XML documents. In this paper, we generalize this approach for the design of model transformations: transformation rules are derived semi-automatically from an initial prototypical set of interrelated source and target models.
openaire   +1 more source

The Estimation of Transformation Models

International Statistical Review / Revue Internationale de Statistique, 1993
Summary: The paper discusses statistical inference for response models in which the dependent variable is subjected to a nonlinear parametric transformation. Maximum likelihood estimation based on normally distributed errors may be logically flawed, and in any case maximum likelihood estimates are generally inconsistent when the error distribution ...
openaire   +1 more source

Proofs-as-Model-Transformations

2008
This paper provides an overview of how to develop model transformations that are "provably correct" with respect to a given functional specification. The approach is based in a mathematical formalism called Constructive Type Theory (CTT) and a related synthesis formal method known as proofs-as-programs.
openaire   +1 more source

Coupled model transformations

Proceedings of the 7th international workshop on Software and performance, 2008
Model-driven performance prediction methods use abstract design models to predict the performance of the modelled system during early development stages. However, performance is an attribute of the running system and not its model. The system contains many implementation details not part of its model but still affecting the performance at run-time ...
openaire   +1 more source

Augmenting human innovation teams with artificial intelligence: Exploring transformer‐based language models

Journal of Product Innovation Management, 2023
Sebastian G Bouschery, Vera Blazevic, Frank T Piller   +2 more
exaly  

On the effect of dropping layers of pre-trained transformer models

Computer Speech and Language, 2023
Hassan Sajjad, Fahim Dalvi, Nadir Durrani   +2 more
exaly  

Total electricity consumption forecasting based on Transformer time series models

Procedia Computer Science, 2022
Yiqiang Zhong
exaly