4044 search results - page 213 / 809 » The Evolution of a Distributed Operating System |
172
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
205
click to vote
IGPL
2011
14 years 10 months ago
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
185
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
A network of cooperating agents must be able to reach rough consensus on a set of topics for cooperation. With highly heterogeneous agents, however, incommensurable measures and i...
177
click to vote
COMCOM
2002
15 years 6 months ago
2002
Content distribution networks (CDNs) increase the capacity of individual Web sites and attempt to deliver content from caches that are located "closer" to end-users than...
199
click to vote
PADL
2012
Springer
14 years 2 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...