1742 search results - page 119 / 349 » An Applicative Module Calculus |
ICRA
2009
IEEE
13 years 8 months ago
2009
IEEE
We aim at merging technologies from information technology, roomware, and robotics in order to design adaptive and intelligent furniture. This paper presents design principles for ...
NCA
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper we address the challenge of realizing full-body behaviors in scalable modular robots. We present an experimental study of a biologically inspired approach to organize...
ICECCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
AAAI
2007
14 years 1 months ago
2007
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...
CSFW
2008
IEEE
14 years 5 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...