7092 search results - page 316 / 1419 » Parallelizing constraint programs |
125
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
In dangerous and uncertain environments initial plans must be revised. Communication failures hamper this replanning. We introduce fractured subteams as a novel formalism for mode...
120
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
114
Voted
VLSID
1994
IEEE
15 years 6 months ago
1994
IEEE
In this paper, we present a formal analysis of the constraints of the scheduling problem, and evaluate the structure of the scheduling polytope described by those constraints. Pol...
106
Voted
JLP
1998
15 years 2 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
145
Voted
IMCSIT
2010
15 years 16 days ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...