16790 search results - page 3110 / 3358 » A Future for Software Engineering |
170
Voted
FSTTCS
2007
Springer
16 years 7 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...
151
click to vote
GECCO
2007
Springer
16 years 7 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 ...
135
click to vote
GECCO
2007
Springer
16 years 7 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...
196
click to vote
ICARIS
2007
Springer
16 years 7 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...
157
click to vote
MTSR
2007
Springer
16 years 6 days ago
2007
Springer
In today's rapidly evolving society, the range and depth of information available to us is quickly growing which affects educational institutions, who find it difficult to kee...