1453 search results - page 106 / 291 » Partial Constraint Satisfaction |
113
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
We present an incremental refinement algorithm for approximate compilation of constraint satisfaction models into multivalued decision diagrams (MDDs). The algorithm uses a vertex ...
226
click to vote
CP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
129
click to vote
COLCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. We investigate a security framework for collaborative applications that relies on the role-based access control (RBAC) model. In our framework, roles are pre-defined and...
114
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—In this contribution, we propose an original algorithm for self-localization in mobile ad-hoc networks. The proposed technique, based on interval analysis, is suited to ...
100
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...