2593 search results - page 59 / 519 » constraints 2007 |
128
click to vote
ISSRE
2007
IEEE
15 years 6 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
156
click to vote
CONSTRAINTS
2007
15 years 4 months ago
2007
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
154
click to vote
CONSTRAINTS
2007
15 years 4 months ago
2007
We give an approximate and often extremely fast method of building a particular kind of portfolio in finance, here called a portfolio design (PD), with applications in the credit ...
145
click to vote
KES
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Access control for semi-structured data is nontrivial, as witnessed by the number of access control approaches in recent literature. Recently a case has been made for exp...
130
click to vote
SEKE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...