Sciweavers

1431 search results - page 30 / 287
» Solving Constraints in Model Transformations
Sort
View
88
Voted
FASE
2007
Springer
15 years 6 months ago
Information Preserving Bidirectional Model Transformations
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank...
AAAI
1998
15 years 1 months ago
Solving Very Large Weakly Coupled Markov Decision Processes
We present a technique for computing approximately optimal solutions to stochastic resource allocation problems modeled as Markov decision processes (MDPs). We exploit two key pro...
Nicolas Meuleau, Milos Hauskrecht, Kee-Eung Kim, L...
FASE
2005
Springer
15 years 6 months ago
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
Gabriele Taentzer, Arend Rensink
107
Voted
CONSTRAINTS
2006
83views more  CONSTRAINTS 2006»
15 years 15 days ago
Applying Ad-hoc Global Constraints with the case Constraint to Still-Life
Abstract. The Still-Life problem is challenging for CP techniques because the basic constraints of the game of Life are loose and give poor propagation for Still-Life. In this pape...
Kenil C. K. Cheng, Roland H. C. Yap
110
Voted
ER
2000
Springer
116views Database» more  ER 2000»
15 years 4 months ago
On Business Process Model Transformations
A business process model represents the basic building block for a workflow-enabled enterprise information system. Generally, a process model evolves through numerous changes durin...
Wasim Sadiq, Maria E. Orlowska