1421 search results - page 60 / 285 » Satisfying KBO Constraints |
BPM
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
JUCS
2007
13 years 8 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
CADE
2006
Springer
14 years 8 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
TSP
2008
13 years 8 months ago
2008
In multitarget scenarios, kinematic constraints from the interaction of targets with their environment or other targets can restrict target motion. Such motion constraint informati...
RE
2007
Springer
14 years 2 months ago
2007
Springer
Trading-off is a familiar element in requirements practice, but it generally assumes a set of independent requirements competing for resources. Choosing a tram route depends inste...