29046 search results - page 5404 / 5810 » Computable Models |
144
click to vote
JCP
2007
15 years 6 months ago
2007
This paper discusses breaking the escalation cycle that locks cyber intruders and their targets in a state where targets are perennially resigned to attacks and intruders are at...
162
click to vote
JCP
2007
15 years 6 months ago
2007
Abstract— Converting a secure group key agreement protocol into password-based setting is not a trivial task. The security of a password-based scheme hinges on preventing diction...
175
click to vote
TOG
2008
15 years 6 months ago
2008
We present a novel shadow map parameterization to reduce perspective aliasing artifacts for both point and directional light sources. We derive the aliasing error equations for bo...
167
click to vote
TOG
2008
15 years 6 months ago
2008
We present an algorithm for constructing kd-trees on GPUs. This algorithm achieves real-time performance by exploiting the GPU's streaming architecture at all stages of kd-tr...
179
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...