Sciweavers

4525 search results - page 232 / 905
» Distributed multirobot localization
Sort
View
PVLDB
2010
114views more  PVLDB 2010»
15 years 4 months ago
Peer coordination through distributed triggers
This is a demonstration of data coordination in a peer data management system through the employment of distributed triggers. The latter express in a declarative manner individual...
Verena Kantere, Maher Manoubi, Iluju Kiringa, Timo...
PODC
2009
ACM
16 years 7 months ago
Brief announcement: self-assembly as graph grammar as distributed system
In 2004, Klavins et al. introduced the use of graph grammars to describe--and to program--systems of self-assembly. It turns out that these graph grammars can be embedded in a gra...
Aaron Sterling
ICRA
2008
IEEE
119views Robotics» more  ICRA 2008»
16 years 29 days ago
Distributed, dynamic, and autonomous reconfiguration planning for chain-type self-reconfigurable robots
— This paper presents a dynamic and distributed reconfiguration planning algorithm for chain-type selfreconfigurable robots, by which a robot can autonomously self-reconfigure fr...
Feili Hou, Wei-Min Shen
ACSAC
2006
IEEE
16 years 18 days ago
Shamon: A System for Distributed Mandatory Access Control
We define and demonstrate an approach to securing distributed computation based on a shared reference monitor (Shamon) that enforces mandatory access control (MAC) policies acros...
Jonathan M. McCune, Trent Jaeger, Stefan Berger, R...
CSL
2005
Springer
16 years 1 days ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper