2940 search results - page 253 / 588 » Relational Parametricity and Control |
177
click to vote
AINA
2006
IEEE
16 years 22 days ago
2006
IEEE
Secure Role Based Messaging (SRBM) augments messaging systems with role oriented communication in a secure manner. Role occupants can sign and decrypt messages on behalf of roles....
173
click to vote
ICDCSW
2005
IEEE
16 years 8 days ago
2005
IEEE
Recent research results show that a wireless ad hoc network can exploit controlled node mobility to reduce communication energy consumption. Node movement, however, may consume a ...
190
click to vote
CCS
2005
ACM
16 years 6 days ago
2005
ACM
The internet and related technologies have made multidomain collaborations a reality. Collaboration enables domains to effectively share resources; however it introduces several ...
189
click to vote
MIDDLEWARE
2004
Springer
16 years 14 hour ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
157
click to vote
PPSN
2004
Springer
16 years 9 hour ago
2004
Springer
This paper addresses the cooperative transport of a heavy object, called prey, towards a sporadically changing target location by a group of robots. The study is focused on the sit...