4738 search results - page 163 / 948 » Past, Present, and Future |
125
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
123
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
In the past several years there has been extensive research into honeypot technologies, primarily for detection and information gathering against external threats. However, little...
210
click to vote
NCA
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents the ADHOCFS file system for mobile users, which realizes transparent, adaptive file access according to the users’ specific situations (e.g., device in us...
131
click to vote
CEEMAS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we present a motivational mechanism to generate and determine the worth of goals and to represent various constraints involved in satisfying a goal. The work builds o...
153
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Phased logic has been proposed as a technique for realizing self-timed circuitry that is delay-insensitive and requires no global clock signals. Early evaluation techniques have b...