4445 search results - page 559 / 889 » Reflective Authorization Systems |
206
click to vote
TLDI
2005
ACM
16 years 8 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
166
click to vote
TAPSOFT
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
193
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We consider a multiagent resource allocation domain where the marginal production of each resource is diminishing. A set of identical, self-interested agents requires access to sh...
193
click to vote
IADIS
2004
15 years 8 months ago
2004
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
187
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Antiquity is a wide-area distributed storage system designed to provide a simple storage service for applications like file systems and back-up. The design assumes that all serve...