1134 search results - page 94 / 227 » Distributed Proving in Access-Control Systems |
120
Voted
VOSS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Randomization is of paramount importance in practical applications and randomized algorithms are used widely, for example in co-ordinating distributed computer networks, ...
138
Voted
ICPP
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper discusses the techniques of performing distributed page ranking on top of structured peer-to-peer networks. Distributed page ranking are needed because the size of the ...
115
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
145
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper proposes a distributed optimization framework for wireless multihop sensor networks base on a game theoretic approach. We show that the cross-layer optimization prob...
122
click to vote
PARLE
1994
15 years 7 months ago
1994
Scientists are increasingly turning to numerical simulation in order to investigate and model complex environmental systems. Numerical simulation has enormous advantages over labor...