1712 search results - page 74 / 343 » Abstract Constraint Data Types |
113
Voted
ISSRE
2007
IEEE
15 years 4 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...
152
Voted
BPSC
2009
15 years 3 months ago
2009
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
128
Voted
PKDD
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The paradigm of pattern discovery based on constraints was introduced with the aim of providing to the user a tool to drive the discovery process towards potentially inte...
111
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
112
Voted
PATAT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...