1255 search results - page 116 / 251 » A Proof Environment for the Development of Group Communicati... |
CONCUR
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
IV
2003
IEEE
14 years 2 months ago
2003
IEEE
The process of analyzing and using information is often collaborative in nature especially given the broad and multi-disciplinary tasks that we must support today. Collaboration r...
MOBIQUITOUS
2005
IEEE
14 years 2 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— The goal of this paper is to serve as a reference for researchers in robotics and control that are interested in realistic modeling, theoretical analysis and simulation of wire...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Many reputation management systems have been developed under the assumption that each entity in the system will use a variant of the same scoring function. Much of the previous wo...