1600 search results - page 249 / 320 » The human-robot interaction operating system |
FSEN
2007
Springer
14 years 4 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
HAPTICS
2006
IEEE
14 years 4 months ago
2006
IEEE
Conventional cell manipulation techniques do not have the ability to provide force feedback to an operator. Poor control of cell injection force is one of the primary reasons for l...
ICPP
2005
IEEE
14 years 3 months ago
2005
IEEE
The Cosmic Microwave Background (CMB) is an exquisitely sensitive probe of the fundamental parameters of cosmology. Extracting this information is computationally intensive, requi...
PPAM
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we present a peer-to-peer (P2P) system with remote method invocations, combining RMIX and JXTA technologies, and underpinning the H2O distributed resource sharing pl...
POLICY
2001
Springer
14 years 2 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...