1313 search results - page 165 / 263 » Generic Universe Types |
171
click to vote
NDSS
2006
IEEE
15 years 11 months ago
2006
IEEE
The custom, ad hoc nature of web applications makes learning-based anomaly detection systems a suitable approach to provide early warning about the exploitation of novel vulnerabi...
166
click to vote
FPGA
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, an efficient implementation of a high performance coarse-grain reconfigurable data-path on a mixed-granularity reconfigurable platform is presented. It consists of ...
128
click to vote
SCN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We introduce and define the notion of identity-based zeroknowledge, concentrating on the non-interactive setting. In this setting, our notion allows any prover to widely...
156
click to vote
NETGAMES
2003
ACM
15 years 10 months ago
2003
ACM
The application of Networked Virtual Environment (NVE) technology on mobile devices is an emerging area in research. The marketing potential for these types of applications, when ...
169
click to vote
TPHOL
2002
IEEE
15 years 10 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...