5130 search results - page 726 / 1026 » Constraint Query Languages |
208
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
191
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
260
click to vote
CIMCA
2006
IEEE
16 years 1 months ago
2006
IEEE
Business Process Management (BPM) is often a key component of the business change. Business rules, whether embedded within BPM or on their own, have begun playing an ever-increasi...
192
click to vote
QSIC
2005
IEEE
16 years 1 months ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
199
click to vote
ICFEM
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...