352 search results - page 23 / 71 » Establishing norms with metanorms in distributed computation... |
136
click to vote
FIDJI
2004
Springer
15 years 3 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
126
click to vote
PODC
2012
ACM
13 years 27 days ago
2012
ACM
The BGP (Border Gateway Protocol) is the single inter-domain routing protocol that enables network operators within each autonomous system (AS) to influence routing decisions by ...
PODC
2010
ACM
15 years 12 days ago
2010
ACM
In this paper, we address the problem of content placement in peer-to-peer systems, with the objective of maximizing the utilization of peers' uplink bandwidth resources. We ...
CLUSTER
2001
IEEE
15 years 2 months ago
2001
IEEE
This paper describes GulfStream, a scalable distributed software system designed to address the problem of managing the network topology in a multi-domain server farm. In particul...
113
click to vote
JSSPP
2009
Springer
15 years 5 months ago
2009
Springer
In this paper, we address the problem of finding workload exchange policies for decentralized Computational Grids using an Evolutionary Fuzzy System. To this end, we establish a n...