489 search results - page 28 / 98 » Communication Complexity of Permutation-Invariant Functions |
82
Voted
ICFP
2007
ACM
15 years 10 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
INFOCOM
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract-The Internet today provides no support for privacy or authentication of multicast packets. However,an increasing number of applications will require secure multicast servi...
115
click to vote
SIGMETRICS
2003
ACM
15 years 3 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
CCGRID
2005
IEEE
15 years 4 months ago
2005
IEEE
— The arrival of the P2P model has opened many new avenues for research within the field of distributed computing. This is mainly due to important practical features (such as su...
68
Voted
IADIS
2004
14 years 12 months ago
2004
The complexity of preserving the web is becoming one of the most important information and communication media. While the quantity of digital resources available through the web i...