1613 search results - page 64 / 323 » Model-Driven Constraint Engineering |
119
Voted
BIRTHDAY
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
104
click to vote
CEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract- This paper presents a new operator for genetic algorithms that enhances their convergence in the case of nonlinear problems with nonlinear equality constraints. The propo...
131
click to vote
AMAST
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
125
click to vote
EDBTW
2004
Springer
15 years 8 months ago
2004
Springer
The problem of answering queries posed to a peer who is a member of a peer-to-peerdataexchangesystemisstudied.Theanswershavetobeconsistentwrt to both the local semantic constraints...
132
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...