2974 search results - page 444 / 595 » Model-Driven Constraint Programming |
153
click to vote
UIST
2005
ACM
15 years 12 months ago
2005
ACM
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...
138
click to vote
CAISE
2005
Springer
15 years 12 months 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 ...
173
click to vote
CCS
2005
ACM
15 years 12 months 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...
151
click to vote
CP
2005
Springer
15 years 12 months 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...
162
click to vote
CP
2005
Springer
15 years 12 months 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...