24188 search results - page 4701 / 4838 » Computing on Encrypted Data |
182
click to vote
TPHOL
2007
IEEE
16 years 18 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
169
click to vote
VR
2007
IEEE
16 years 18 days ago
2007
IEEE
In this paper, the effects of three visual factors: scene complexity, stereovision and motion parallax on correct perception of a virtual object’s size were analyzed in an immer...
158
click to vote
VR
2007
IEEE
16 years 18 days ago
2007
IEEE
A novel barrier strip autostereoscopic (AS) display is demonstrated using a solid-state dynamic parallax barrier. A dynamic barrier mitigates restrictions inherent in static barri...
185
click to vote
ICDS
2007
IEEE
16 years 17 days ago
2007
IEEE
- Smart care technology is any sensor based technology used to aid and support human independent living. Such technologies offer new potential and can give rise to new problems for...
158
click to vote
CCS
2007
ACM
16 years 16 days ago
2007
ACM
Browsers’ isolation mechanisms are critical to users’ safety and privacy on the web. Achieving proper isolations, however, is very difficult. Historical data show that even fo...