1492 search results - page 96 / 299 » Testing Properties of Constraint-Graphs |
110
Voted
DAC
1998
ACM
16 years 4 months ago
1998
ACM
Increasingly popular reuse-based design paradigms create a pressing need for authorship enforcement techniques that protect the intellectual property rights of designers. We devel...
132
Voted
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
128
Voted
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
123
Voted
AAAI
1997
15 years 5 months ago
1997
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped. In a...
140
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
One property of networks that has received comparatively little attention is hierarchy, i.e., the property of having vertices that cluster together in groups, which then join to f...