Sciweavers

1134 search results - page 128 / 227
» Distributed Proving in Access-Control Systems
Sort
View
147
Voted
RSA
2000
170views more  RSA 2000»
15 years 3 months ago
Delayed path coupling and generating random permutations
We analyze various stochastic processes for generating permutations almost uniformly at random in distributed and parallel systems. All our protocols are simple, elegant and are b...
Artur Czumaj, Miroslaw Kutylowski
132
Voted
KDD
2007
ACM
149views Data Mining» more  KDD 2007»
16 years 4 months ago
Distributed classification in peer-to-peer networks
This work studies the problem of distributed classification in peer-to-peer (P2P) networks. While there has been a significant amount of work in distributed classification, most o...
Ping Luo, Hui Xiong, Kevin Lü, Zhongzhi Shi
130
Voted
CSFW
2010
IEEE
15 years 7 months ago
Information Flow Monitor Inlining
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
Andrey Chudnov, David A. Naumann
119
Voted
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
14 years 10 months ago
Networked clock synchronization based on second order linear consensus algorithms
In this paper a distributed algorithm for clock synchronization is proposed. This algorithm is based on an extension of the consensus algorithm able to synchronize a family of dou...
Ruggero Carli, Sandro Zampieri
133
Voted
LPAR
2010
Springer
15 years 1 months ago
On the Equality of Probabilistic Terms
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
Gilles Barthe, Marion Daubignard, Bruce M. Kapron,...