15784 search results - page 2921 / 3157 » Mega Software Engineering |
138
click to vote
FSTTCS
2007
Springer
16 years 22 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...
181
click to vote
FSTTCS
2007
Springer
16 years 22 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...
159
click to vote
GECCO
2007
Springer
16 years 22 days 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 ...
153
click to vote
GECCO
2007
Springer
16 years 22 days 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...
210
click to vote
ICARIS
2007
Springer
16 years 22 days 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...