1613 search results - page 70 / 323 » Model-Driven Constraint Engineering |
107
Voted
TAPSOFT
1989
Springer
15 years 6 months ago
1989
Springer
In the 1820's Fourier provided the first algorithm for solving linear arithmetic constraints. In other words, this algorithm determines whether or not the polyhedral set asso...
121
Voted
ANTSW
2008
Springer
15 years 5 months ago
2008
Springer
We propose to integrate ACO in a Constraint Programming (CP) language. Basically, we use the CP language to describe the problem to solve by means of constraints and we use the CP ...
123
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
As software systems evolve by adding new extensions some unexpected conflicts may occur, which is known as the Feature Interaction Problem (FIP). FIP is a threat to the dependabil...
120
click to vote
CISSE
2009
Springer
15 years 7 months ago
2009
Springer
: We show that estimating the complexity (mean and distribution) of the instances of a fixed size Constraint Satisfaction Problem (CSP) can be very hard. We deal with the main two ...
121
click to vote
ECSA
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be presented in a given software system. The ...