5863 search results - page 436 / 1173 » On Model-Checking of P Systems |
213
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
The successful deployment of peer-to-peer (P2P) live video streaming systems has practically demonstrated that it can scale to reliably support a large population of peers. Howeve...
202
click to vote
PDP
2005
IEEE
16 years 1 months ago
2005
IEEE
the emergence of Internet and new kind of architecture, likepeer-to-peer (P2P) networks, provides great hope for distributed computation. However, the combination of the world of ...
206
click to vote
SASO
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...
166
click to vote
IPTPS
2004
Springer
16 years 1 months ago
2004
Springer
—This paper discusses large scale keyword searching on top of peer-to-peer (P2P) networks. The state-of-the-art keyword searching techniques for unstructured and structured P2P s...
170
click to vote
WDAG
1997
Springer
15 years 12 months ago
1997
Springer
Abstract. This work presents new algorithms for the "Do-All" problem that consists of performing t tasks reliably in a message-passing synchronous system of p fault-prone...