219 search results - page 36 / 44 » Types for Access Control in a Calculus of Mobile Resources |
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
— There is a growing trend towards convergence of telecommunication and data networks in order to support a richer set of services and applications. At the same time, increasing ...
FSR
2003
Springer
14 years 22 days ago
2003
Springer
This paper describes our continued work of a unique robotics project, Comprehensive Access to Printed Materials (CAPM), within the context of libraries. As libraries provide a gro...
ICRA
2002
IEEE
14 years 13 days ago
2002
IEEE
This paper describes a unique robotics project, Comprehensive Access to Printed Materials (CAPM), within the context of libraries. As libraries provide a growing array of digital ...
TRIDENTCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract. As wireless networks become a critical part of home, business and industrial infrastructure, researchers will meet these demands by providing new networking technologies....