3071 search results - page 529 / 615 » Explanatory Design Theory |
160
click to vote
ICISS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Computer systems security area has received increased attention from both academics and in industry. However, recent work indicates that substantial security gaps emerge ...
176
click to vote
ICS
2007
Tsinghua U.
16 years 14 days ago
2007
Tsinghua U.
This paper investigates helper threads that improve performance by prefetching data on behalf of an application’s main thread. The focus is data prefetch helper threads that lac...
187
click to vote
TARK
2007
Springer
16 years 12 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
209
click to vote
ACISP
2006
Springer
16 years 9 days ago
2006
Springer
In this paper we are interested in algebraic immunity of several well known highly-nonlinear vectorial Boolean functions (or Sboxes), designed for block and stream ciphers. Unfortu...
183
click to vote
ACMACE
2006
ACM
16 years 8 days ago
2006
ACM
Interactive synthetic environments are currently used in a wide variety of applications, including video games, exposure therapy, education, and training. Their success in such do...