17 search results - page 4 / 4 » Quantified Differential Dynamic Logic for Distributed Hybrid... |
RTAS
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
CLUSTER
2004
IEEE
13 years 10 months ago
2004
IEEE
This paper describes a novel technique for establishing a virtual file system that allows data to be transferred user-transparently and on-demand across computing and storage serve...