2560 search results - page 306 / 512 » Analysis Tool for Honeypot Systems |
195
click to vote
ISSTA
2004
ACM
16 years 14 hour ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
202
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The rapid growth of protein interactome data has elevated the necessity and importance of network analysis tools. However, unlike pure text data, network search spaces...
202
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Many digital sound archives still suffer from tremendous problems concerning access. Materials are often in different formats, with related media in separate collections, and with...
173
click to vote
WCRE
2007
IEEE
16 years 26 days ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
160
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...