1968 search results - page 239 / 394 » The Complexity of Valued Constraint Models |
131
click to vote
FM
2009
Springer
15 years 6 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
AADEBUG
1997
Springer
15 years 5 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
103
click to vote
EATIS
2007
ACM
15 years 5 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
110
click to vote
AAAI
2007
15 years 4 months ago
2007
In a constraint optimization problem (COP), many feasible valuations lead to the same objective value. This often means a huge search space and poor performance in the propagation...
106
click to vote
JBCS
2002
15 years 1 months ago
2002
Pharos is a collaborative application which enables users to share document annotations. Annotations of a same subject are stored altogether in channels, and channels are replicat...