2911 search results - page 94 / 583 » A Logic of Graph Constraints |
112
click to vote
CINQ
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
CORR
2008
Springer
15 years 20 days ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
76
Voted
CP
2003
Springer
15 years 5 months ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...
185
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
116
click to vote
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...