3921 search results - page 83 / 785 » Transforming Models with ATL |
JSS
2010
14 years 7 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
129
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The construction of low-dimensional models explaining highdimensional signal observations provides concise and efficient data representations. In this paper, we focus on pattern ...
121
click to vote
DAGSTUHL
2004
15 years 2 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
107
Voted
ICDM
2006
IEEE
15 years 6 months ago
2006
IEEE
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. This is especially important in the field of privacy...
120
Voted
GCC
2005
Springer
15 years 6 months ago
2005
Springer
The Resource Space Model RSM and Semantic Link Network SLN are models of future interconnection environment, and the combination of them forms a rich semantic layer for the next-ge...