1890 search results - page 338 / 378 » Model-Based Testing in Practice |
111
click to vote
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
Evolutionary Computation is an exciting research field with the power to assist researchers in the task of solving hard optimization problems (i.e., problems where the exploitabl...
107
click to vote
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
137
click to vote
RAID
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We propose a novel framework of autonomic intrusion detection that fulfills online and adaptive intrusion detection in unlabeled audit data streams. The framework owns a...
135
click to vote
SCIA
2009
Springer
15 years 7 months ago
2009
Springer
Many computer vision problems can be formulated as low rank bilinear minimization problems. One reason for the success of these problems is that they can be efficiently solved usin...
102
click to vote
FOCS
2008
IEEE
15 years 7 months ago
2008
IEEE
A plethora of random graph models have been developed in recent years to study a range of problems on networks, driven by the wide availability of data from many social, telecommu...