254 search results - page 24 / 51 » A Behavioral Module System for the Pi-Calculus |
105
click to vote
ITNG
2008
IEEE
15 years 6 months ago
2008
IEEE
Current electronic commerce applications such as online auction systems are not trustworthy due to a lack of effective trust management mechanisms. A trustworthy online auction sy...
118
click to vote
SASO
2008
IEEE
15 years 6 months ago
2008
IEEE
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
TROB
2002
2002
Hormone-inspired adaptive communication and distributed control for CONRO self-reconfigurable robots
14 years 11 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...
ROBOCOMM
2007
IEEE
15 years 6 months ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...