9245 search results - page 368 / 1849 » Virtualization |
185
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
In this paper, we introduce the Virtual Paths Routing (VPR) Protocol for ad hoc wireless networks. VPR provides highly dynamic, correct, and efficient paths creation and maintenan...
209
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
163
click to vote
AGILE
2009
Springer
16 years 1 months ago
2009
Springer
Research in cognitive sciences suggests that orientation and navigation along routes can be improved if the graphical representation is aligned with the user’s mental concepts o...
187
click to vote
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
A Brain-Computer Interface (BCI) application focused on the control of a wheelchair must consider the danger which a wrong command would involve in a real situation. Virtual realit...
164
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Although the diversity of platforms for network experimentation is a boon to the development of protocols and distributed systems, it is challenging to exploit its benefits. Impl...