238 search results - page 3 / 48 » Soft Concurrent Constraint Programming |
POPL
1999
ACM
13 years 11 months ago
1999
ACM
ESOP
1999
Springer
13 years 11 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
14 years 25 days 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ļ¬...
CP
2007
Springer
14 years 1 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
14 years 19 days ago
2003
Springer