167 search results - page 8 / 34 » Towards a Connector Algebra |
105
click to vote
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— We present a distributed controller for the center of mass of a modular robot. This is useful for locomotion of a modular robot over uneven and unknown terrain. By controlling ...
51
Voted
ICRA
1995
IEEE
15 years 1 months ago
1995
IEEE
Integrating sensors into robot systems is an important step towards increasing the flexibility of robotic manufacturing systems. Current sensor integration is largely task-speciï...
AISC
1998
Springer
15 years 1 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...