24529 search results - page 4407 / 4906 » Computing on Authenticated Data |
189
click to vote
IWDC
2004
Springer
16 years 1 months ago
2004
Springer
Intrusion detection for computer systems is a key problem in today’s networked society. Current distributed intrusion detection systems (IDSs) are not fully distributed as most o...
175
click to vote
IWMM
2004
Springer
16 years 1 months ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
204
click to vote
KI
2004
Springer
16 years 1 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...
198
click to vote
KR
2004
Springer
16 years 1 months ago
2004
Springer
In a very basic sense, the aim of knowledge discovery is to reveal structures of knowledge which can be seen as being represented by structural relationships. In this paper, we ma...
205
click to vote
LOPSTR
2004
Springer
16 years 1 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...