785 search results - page 90 / 157 » Two remarks on remotality |
CHI
2005
ACM
14 years 10 months ago
2005
ACM
In this work, we create an audio-video link via an interactive sculpture to facilitate casual, sociable communication between two remote spaces. This communication installation wa...
SP
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— This paper discusses the non-grasp dynamic manipulation of a deformable object inspired by the handling mechanism of pizza master. The master handles a tool where a pla...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we present an asynchronous consistent global checkpoint collection algorithm which prevents contention for network storage at the file server and hence reduces the...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— We present a refined, second-generation design, construction and integration, of a compact hyper-redundant snakelike robot, called “Woodstock.” This robot has substantial a...