Sciweavers

9455 search results - page 182 / 1891
» The Modelling Language Zinc
Sort
View
110
Voted
TOOLS
2008
IEEE
15 years 8 months ago
A Comparison of State-Based Modelling Tools for Model Validation
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
Emine G. Aydal, Mark Utting, Jim Woodcock
OOPSLA
2009
Springer
15 years 8 months ago
Supporting model evolution through demonstration-based model transformation
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
Yu Sun
78
Voted
MODELS
2007
Springer
15 years 8 months ago
Transforming a Discourse Model to an Abstract User Interface Model
Sevan Kavaldjian, Cristian Bogdan, Jürgen Fal...
102
Voted
EMNLP
2008
15 years 3 months ago
Coarse-to-Fine Syntactic Machine Translation using Language Projections
The intersection of tree transducer-based translation models with n-gram language models results in huge dynamic programs for machine translation decoding. We propose a multipass,...
Slav Petrov, Aria Haghighi, Dan Klein
PPDP
1999
Springer
15 years 6 months ago
Constraint Programming in OPL
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
Pascal Van Hentenryck, Laurent Michel, Laurent Per...