6554 search results - page 332 / 1311 » Constraint Logic Programming |
183
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
148
click to vote
AGP
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
140
click to vote
SLP
1993
15 years 8 months ago
1993
We present a boolean constraint logic language clp(B/FD) built upon a language over finite domains clp(FD) which uses a local propagation constraint solver. It is based on a sing...
183
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
197
click to vote
ENTCS
2007
15 years 6 months ago
2007
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...