4218 search results - page 471 / 844 » Complete sets of cooperations |
196
click to vote
ISOLA
2010
Springer
15 years 6 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
183
click to vote
LOGCOM
2010
15 years 6 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
204
click to vote
LPAR
2010
Springer
15 years 6 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
206
click to vote
MICS
2010
15 years 6 months ago
2010
We study the preemptive scheduling problem of a set of n jobs with release times and equal processing times on a single machine. The objective is to minimize the sum of the weighte...
168
click to vote
OL
2010
15 years 6 months ago
2010
In an important paper, Burer [2] recently showed how to reformulate general mixed-binary quadratic optimization problems (QPs) into copositive programs where a linear functional i...