Sciweavers

4187 search results - page 96 / 838
» A Taxonomy of Model Transformation
Sort
View
100
Voted
PKC
2012
Springer
182views Cryptology» more  PKC 2012»
13 years 6 months ago
From Selective to Full Security: Semi-generic Transformations in the Standard Model
Michel Abdalla, Dario Fiore, Vadim Lyubashevsky
ENTCS
2007
108views more  ENTCS 2007»
15 years 3 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig