31387 search results - page 6072 / 6278 » Abstracts |
200
click to vote
ENTCS
2007
15 years 5 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
181
click to vote
JSAC
2006
15 years 5 months ago
2006
Abstract--In this paper, we present the design, the implementation details, and the evaluation results of an intrusion detection and defense system for distributed denial-of-servic...
203
click to vote
JSAC
2006
15 years 5 months ago
2006
Abstract-- As mobile ad hoc network applications are deployed, security emerges as a central requirement. In this paper, we introduce the wormhole attack, a severe attack in ad hoc...
193
Voted
JSAC
2006
15 years 5 months ago
2006
Abstract--Wireless sensor networks have received a lot of attention recently due to its wide applications. An accurate and synchronized clock time is crucial in many sensor network...
146
click to vote
JSAT
2006
15 years 5 months ago
2006
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...