2651 search results - page 470 / 531 » Experiences with the Use of a Configuration Language |
CP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
CP
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we present new techniques for improving backtracking based Quantified Constraint Satisfaction Problem (QCSP) solvers. QCSP is a generalization of CSP in which variab...
HPCC
2007
Springer
14 years 3 months ago
2007
Springer
Currently some complex grid applications developing often need orchestrate multiple diverse grid services into a workflow of tasks that can submit for executing on the grid environ...
IFIP
2007
Springer
14 years 3 months ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
MKM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...