7167 search results - page 1275 / 1434 » A Technique for Invariant Generation |
184
click to vote
CF
2004
ACM
16 years 16 days ago
2004
ACM
The ever increasing gap between processor and memory speed, sometimes referred to as the Memory Wall problem [42], has a very negative impact on performance. This mismatch will be...
177
click to vote
JCDL
2004
ACM
16 years 16 days ago
2004
ACM
A large amount of research, technical and professional documents are available today in digital formats. Digital libraries are created to facilitate search and retrieval of inform...
190
click to vote
NETGAMES
2004
ACM
16 years 16 days ago
2004
ACM
Distributed multi-player games use dead reckoning vectors to intimate other (at a distance) participating players about the movement of any entity by a controlling player. The dea...
233
click to vote
VRST
2004
ACM
16 years 16 days ago
2004
ACM
In this paper, we propose a new method for simulating reactive motions for running or walking human figures. The goal is to generate realistic animations of how humans compensate...
184
Voted
CCS
2004
ACM
16 years 15 days ago
2004
ACM
Misuse-based intrusion detection systems rely on models of attacks to identify the manifestation of intrusive behavior. Therefore, the ability of these systems to reliably detect ...