1496 search results - page 141 / 300 » Definability of Initial Segments |
152
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
We prove that, if the initial knowledge of the intruder is given by a deterministic bottom-up tree automaton, then the insecurity problem for cryptographic protocols with atomic ke...
134
click to vote
VLDB
1998
ACM
15 years 9 months ago
1998
ACM
Data Mining places specific requirements on DBMS query performance that cannot be evaluated satisfactorily using existing OLAP benchmarks. The DD Benchmark - defined here - provid...
108
click to vote
SP
1996
IEEE
15 years 9 months ago
1996
IEEE
A method for anomaly detection is introduced in which "normal" is defined by short-range correlations in a process' system calls. Initial experiments suggest that t...
116
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
- A noble model-based programming environment of embedded software for MPSoC is proposed. By defining a common intermediate code (CIC), it separates modeling of the software and im...
111
click to vote
CONEXT
2008
ACM
15 years 6 months ago
2008
ACM
We address the problem of finding indirect overlay paths that reduce the latency between pairs of nodes in an overlay. To this end we propose to rely on an Internet Coordinate Sys...