Search Sciweavers | Sciweavers

2974 search results - page 34 / 595

» Model-Driven Constraint Programming

click to vote

CP
2003
Springer

98views Artificial Intelligence» more CP 2003»

Semi-automatic Modeling by Constraint Acquisition

15 years 2 months ago

Download www.cs.ucc.ie

Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...

Remi Coletta, Christian Bessière, Barry O'S...

claim paper

Read More »

160

click to vote

ICLP
2009
Springer

122views Automated Reasoning» more ICLP 2009»

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

15 years 10 months ago

Download www.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

102

click to vote

SOSYM
2010

124views more SOSYM 2010»

Lifting transformational models of product lines: a case study

14 years 7 months ago

Download www.cs.utexas.edu

Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...

Greg Freeman, Don S. Batory, R. Greg Lavender, Jac...

claim paper

Read More »

click to vote

BIRTHDAY
2012
Springer

224views Applied Computing» more BIRTHDAY 2012»

Model Transformation By-Example: A Survey of the First Wave

13 years 5 months ago

Download publik.tuwien.ac.at

Abstract. Model-Driven Engineering (MDE) places models as ﬁrstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...

Gerti Kappel, Philip Langer, Werner Retschitzegger...

claim paper

Read More »

click to vote

PPDP
1999
Springer

127views Programming Languages» more PPDP 1999»

Functional Plus Logic Programming with Built-In and Symbolic Constraints

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers