9245 search results - page 218 / 1849 » Virtualization |
147
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
160
click to vote
VW
2009
Springer
16 years 1 months ago
2009
Springer
— Numerous simultaneous paths open in front of the cybernaut, whose person is reflected in the various windows opened on the screen like many fragments of mirror. Yet, the fragme...
156
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present an application build on top of electronic institutions in order to create a remote experimental platform for human and virtual agents. Our software object...
174
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
154
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
Robotic interfaces combined with virtual reality provide an unparalleled platform for cognition research. Using a combination of design strategy, trend analysis and the programmin...