238 search results - page 3 / 48 » Soft Concurrent Constraint Programming |
71
Voted
POPL
1999
ACM
15 years 2 months ago
1999
ACM
106
click to vote
ESOP
1999
Springer
15 years 2 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
SIGSOFT
2004
ACM
15 years 3 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
79
Voted
CP
2007
Springer
15 years 3 months ago
2007
Springer
We introduce a deļ¬nition of constraint symmetry for soft CSPs, based on the deļ¬nition of constraint symmetry for classical CSPs. We show that the constraint symmetry group of a...
CP
2003
Springer
15 years 2 months ago
2003
Springer