2974 search results - page 383 / 595 » Model-Driven Constraint Programming |
133
click to vote
APLAS
2005
ACM
16 years 3 days ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
169
click to vote
CP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...
151
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
174
click to vote
CD
2004
Springer
15 years 12 months ago
2004
Springer
The deployment of distributed component-based applications is a complex task. Proposed solutions are often centralized, which excludes their use for the deployment of large-scale a...
176
click to vote
FOIKS
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...