2623 search results - page 78 / 525 » tools 2010 |
AMAST
2010
Springer
13 years 5 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
SIGOPS
2010
13 years 8 months ago
2010
System logs come in a large and evolving variety of formats, many of which are semi-structured and/or non-standard. As a consequence, off-the-shelf tools for processing such logs ...
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
We introduce and give formal definitions of attack
DIMVA
2010
13 years 11 months ago
2010
Black-box web vulnerability scanners are a class of tools that can be used to identify security issues in web applications. These tools are often marketed as "point-and-click ...
STTT
2010
13 years 8 months ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...