390 search results - page 12 / 78 » State of the art in testing components |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
ICOIN
2005
Springer
14 years 1 months ago
2005
Springer
Network Forensics is an important extension to the model of network security where emphasis is traditionally put on prevention and to a lesser extent on detection. It focuses on th...
AAAI
2004
13 years 9 months ago
2004
We present two simple search methods for computing a sample Nash equilibrium in a normal-form game: one for 2player games and one for n-player games. We test these algorithms on m...
ISOLA
2007
Springer
14 years 1 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...