15885 search results - page 2917 / 3177 » Strategic Software Engineering |
136
click to vote
FSTTCS
2007
Springer
15 years 10 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...
131
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
117
click to vote
GECCO
2007
Springer
15 years 10 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
ICARIS
2007
Springer
15 years 10 months ago
2007
Springer
Today’s signature-based intrusion detection systems are reactive in nature and storage-limited. Their operation depends upon catching an instance of an intrusion or virus and en...
138
click to vote
IPSN
2007
Springer
15 years 10 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...