151 search results - page 28 / 31 » Automating System Tests Using Declarative Virtual Machines |
130
Voted
FLAIRS
2007
15 years 6 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...
151
Voted
BTW
2007
Springer
15 years 8 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 ...
124
Voted
OOPSLA
2007
Springer
15 years 10 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...
156
Voted
VIZSEC
2004
Springer
15 years 10 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...
133
Voted
IPPS
2007
IEEE
15 years 11 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 ...