42738 search results - page 8417 / 8548 » Search Computing Systems |
108
click to vote
ISCA
2007
IEEE
15 years 7 months ago
2007
IEEE
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...
ISMAR
2007
IEEE
15 years 7 months ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...
89
Voted
IV
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a novel human-computer interface that enables the computer display to be perceived without any use of the eyes. Our system works by tracking the user’s head ...
125
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
101
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...