1134 search results - page 104 / 227 » Distributed Proving in Access-Control Systems |
130
click to vote
STOC
2002
ACM
16 years 3 months ago
2002
ACM
In the dynamic load balancing problem, we seek to keep the job load roughly evenly distributed among the processors of a given network. The arrival and departure of jobs is modeled...
116
Voted
TPDS
2010
15 years 1 months ago
2010
—In this paper we propose and evaluate an overlay distribution algorithm for P2P, chunk-based, streaming systems over forest-based topologies. In such systems, the stream is divi...
110
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
137
Voted
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper a...
125
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
Divisible Load Theory (DLT) is an established mathematical framework to study Divisible Load Scheduling (DLS). However, traditional DLT does not comprehensively deal with the sche...