324 search results - page 13 / 65 » Model Transformations in Practice Workshop |
ICCS
2001
Springer
14 years 15 days ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
CCS
2010
ACM
13 years 8 months ago
2010
ACM
We provide new constructions of Leakage-Resilient IdentityBased Encryption systems (IBE) in the Standard model. We apply a hash proof technique in the existing IBE schemes of Bone...
ICMT
2011
Springer
12 years 11 months ago
2011
Springer
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
A new model-order reduction technique for linear dynamic systems is presented. The idea behind this technique is to transform the dynamic system function from the s-domain into th...
ICMT
2010
Springer
14 years 25 days ago
2010
Springer
Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use,...