Sciweavers

4525 search results - page 232 / 905
» Distributed multirobot localization
Sort
View
PVLDB
2010
114views more  PVLDB 2010»
15 years 5 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 1 months 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 1 months 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 16 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