2137 search results - page 428 / 428 » Proving Abstract Non-interference |
148
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Research on humanoid robots for use in servicing tasks, e.g. fetching and delivery, attracts steadily more interest. With ”Rollin’ Justin” a mobile robotic system...
160
click to vote
CANS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we study Perfectly Secure Message Transmission (PSMT) between a sender S and a receiver R, connected in a directed synchronous network through multiple para...