7092 search results - page 1040 / 1419 » Parallelizing constraint programs |
152
click to vote
CAISE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
193
click to vote
CCS
2005
ACM
16 years 10 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
161
Voted
CP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The sub-optimality approximation problem considers an optimization problem O, its optimal solution σ∗ , and a variable x with domain {d1, . . . , dm} and returns appro...
170
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
We introduce a novel and exciting research area: symmetrising levels of consistency to produce stronger forms of consistency and more efficient mechanisms for establishing them. W...
163
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this article we will present some problems that have weak symmetries. In contrast to a proper symmetry, a weak symmetry acts only on a subset of the variables and pres...