9245 search results - page 1677 / 1849 » Virtual |
129
Voted
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
—Intrusion Detection Systems (IDS) have become ubiquitous in the defense against virus outbreaks, malicious exploits of OS vulnerabilities, and botnet proliferation. As attackers...
167
Voted
TOG
2012
13 years 5 months ago
2012
We introduce tailored displays that enhance visual acuity by decomposing virtual objects and placing the resulting anisotropic pieces into the subject’s focal range. The goal is...
151
Voted
PET
2012
Springer
13 years 5 months ago
2012
Springer
The continuing advancements in microprocessor technologies are putting more and more computing power into small devices. Today smartphones are especially popular. Nevertheless, for...
126
Voted
ACL
2012
13 years 5 months ago
2012
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...
159
Voted
LICS
2012
IEEE
13 years 5 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...