Sciweavers

9507 search results - page 700 / 1902
» Time-based language models
Sort
View
ENTCS
2006
192views more  ENTCS 2006»
15 years 7 months ago
Model Transformation From VisualOCL to OCL Using Graph Transformation
In this paper we present a model transformation from a visual representation (VisualOCL) of the Object Constraint Language (OCL) to the textual one using graph transformation. Sta...
Karsten Ehrig, Jessica Winkelmann
ENTCS
2006
154views more  ENTCS 2006»
15 years 7 months ago
Applying a Model Transformation Taxonomy to Graph Transformation Technology
A taxonomy of model transformations was introduced in [18]. Among others, such a taxonomy can help developers in deciding which language, forma lism, tool or mechanism is best sui...
Tom Mens, Pieter Van Gorp, Dániel Varr&oacu...
COLING
2010
15 years 2 months ago
Syntax-Driven Machine Translation as a Model of ESL Revision
In this work, we model the writing revision process of English as a Second Language (ESL) students with syntaxdriven machine translation methods. We compare two approaches: tree-t...
Huichao Xue, Rebecca Hwa
CAV
2010
Springer
194views Hardware» more  CAV 2010»
15 years 11 months ago
LTSmin: Distributed and Symbolic Reachability
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
Stefan Blom, Jaco van de Pol, Michael Weber
ICWE
2009
Springer
16 years 2 months ago
beContent: A Model-Driven Platform for Designing and Maintaining Web Applications
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...
Antonio Cicchetti, Davide Di Ruscio, Romina Eramo,...