5790 search results - page 664 / 1158 » Distributed programming with distributed authorization |
125
click to vote
HOTSWUP
2009
ACM
15 years 9 months ago
2009
ACM
We consider the state mapping problem for dynamic software updates and propose a number of approaches that have the potential of automating the state mapping in practical setting....
136
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
131
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...
139
click to vote
MA
1998
Springer
15 years 8 months ago
1998
Springer
Mobile active computational entities introduce peculiar problems in the coordination of distributed application components. The paper surveys several coordination models for mobil...
124
click to vote
ICEGOV
2007
ACM
15 years 8 months ago
2007
ACM
The paper analyses existing open source licenses with the aim of choosing a license that is suitable for e-Governance projects. A method is presented for systematically choosing t...