19587 search results - page 3506 / 3918 » Systems Engineering for software Engineers |
156
click to vote
FSTTCS
2007
Springer
16 years 1 months 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...
145
click to vote
FSTTCS
2007
Springer
16 years 1 months 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...
189
click to vote
FSTTCS
2007
Springer
16 years 1 months 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...
163
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
There has been a considerable body of work on search–based test data generation for branch coverage. However, hitherto, there has been no work on multi–objective branch covera...
170
click to vote
IPSN
2007
Springer
16 years 1 months ago
2007
Springer
Energy-efficient image communication is one of the most important goals for a large class of current and future sensor network applications. This paper presents a quantitative com...