15779 search results - page 2937 / 3156 » Change-oriented software engineering |
182
click to vote
FSTTCS
2007
Springer
16 years 20 days ago
2007
Springer
We study several cost coloring problems, where we are given a graph and a cost function on the independent sets and are to find a coloring that minimizes the function costs of the...
150
click to vote
FSTTCS
2007
Springer
16 years 20 days ago
2007
Springer
We consider scheduling problems in which a job consists of components of different types to be processed on m machines. Each machine is capable of processing components of a singl...
144
click to vote
FSTTCS
2007
Springer
16 years 20 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
138
click to vote
FSTTCS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
179
click to vote
FSTTCS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper proposes a new algorithm that improves the complexity bound for solving parity games. Our approach combines McNaughton’s iterated fixed point algorithm with...