5863 search results - page 403 / 1173 » On Model-Checking of P Systems |
241
click to vote
INFOCOM
2012
IEEE
13 years 10 months ago
2012
IEEE
—P2P platforms have been criticized because of the heavy strain that some P2P services can inflict on costly interdomain links of network operators. It is therefore necessary to...
234
click to vote
INFOCOM
2008
IEEE
16 years 2 months ago
2008
IEEE
—The Peer-to-Peer (P2P) based video streaming has emerged as a promising solution for Internet video distribution. Leveraging the resource available at end users, this approach p...
190
click to vote
ICDE
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we show that the topologies of most logarithmic-style P2P systems like Pastry, Tapestry or P-Grid resemble small-world graphs. Inspired by Kleinberg’s small-world ...
199
click to vote
HYBRID
2005
Springer
16 years 1 months ago
2005
Springer
This paper deals with polynomial stochastic hybrid systems (pSHSs), which generally correspond to stochastic hybrid systems with polynomial continuous vector fields, reset maps, a...
169
click to vote
IEEEARES
2009
IEEE
16 years 2 months ago
2009
IEEE
—In this paper we show that it is possible to implement a perfect failure detector P (one that detects all faulty processes if and only if those processes failed) in a non-synchr...