5790 search results - page 403 / 1158 » Distributed programming with distributed authorization |
144
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
123
click to vote
CD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper addresses the distribution and the deployment of hierarchical components on heterogeneous dynamic networks. Such networks may include fixed and mobile resourc...
154
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
105
click to vote
ERCIMDL
2009
Springer
15 years 11 months ago
2009
Springer
The National Digital Information Infrastructure and Preservation Program will demonstrate a pilot tools platform called Recollection that supports access to distributed NDIIPP coll...
110
click to vote
CSFW
2000
IEEE
15 years 9 months ago
2000
IEEE
We analyze the notion of “local names” in SPKI/SDSI. By interpreting local names as distributed groups, we develop a simple logic program for SPKI/SDSI’s linked localname sc...