3547 search results - page 669 / 710 » Pseudo-Exhaustive Testing for Software |
IWMM
2010
Springer
15 years 2 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
77
Voted
KDD
2009
ACM
15 years 2 months ago
2009
ACM
Commercial anti-virus software are unable to provide protection against newly launched (a.k.a “zero-day”) malware. In this paper, we propose a novel malware detection techniqu...
ICCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
101
click to vote
IUI
2000
ACM
15 years 2 months ago
2000
ACM
In recent years, many systems and approaches for recommending information, products or other objects have been developed. In these systems, often machine learning methods that nee...
CIA
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Currently, many kinds of information agents for di erent purposes exist. However, agents from di erent systems are still unable to cooperate, even if they accurately foll...