1255 search results - page 86 / 251 » A Proof Environment for the Development of Group Communicati... |
CCS
2005
ACM
14 years 2 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
ICARCV
2006
IEEE
14 years 3 months ago
2006
IEEE
—This work presents chemical communication techniques for nanorobots foraging in fluid environments relevant for medical applications. Unlike larger robots, viscous forces and ra...
TROB
2002
2002
Hormone-inspired adaptive communication and distributed control for CONRO self-reconfigurable robots
13 years 8 months ago
This paper presents a biologically inspired approach to two basic problems in modular self-reconfigurable robots: adaptive communication in self-reconfigurable and dynamic networks...
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
The national importance of creating "content reflecting cutting edge developments in STEM fields" has been recognized the National Science Foundation. The National Resea...
PERVASIVE
2004
Springer
14 years 2 months ago
2004
Springer
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...