151 search results - page 28 / 31 » Automating System Tests Using Declarative Virtual Machines |
FLAIRS
2007
14 years 11 months ago
2007
Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
BTW
2007
Springer
15 years 1 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
VIZSEC
2004
Springer
15 years 2 months ago
2004
Springer
This paper examines the dramatic visual fingerprints left by a wide variety of popular network attack tools in order to better understand the specific methodologies used by attack...
88
Voted
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
Widely available and utilized Grid servers are vulnerable to a variety of threats from Denial of Service (DoS) attacks, overloading caused by flash crowds, and compromised client ...