5863 search results - page 170 / 1173 » On Model-Checking of P Systems |
190
Voted
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
189
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Peer-to-peer (P2P) Web search has gained a lot of interest lately, due to the salient characteristics of P2P systems, namely scalability, fault-tolerance and load-balancing. Howev...
221
click to vote
GPC
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we investigate parallel implementation techniques for network coding to enhance the performance of Peer-to-Peer (P2P) file sharing applications. It is known that net...
174
click to vote
SEKE
2007
Springer
16 years 1 months ago
2007
Springer
Peer-to-Peer (P2P) systems seek to provide sharing of computational resources, which may be duplicated or versioned over several peers. Duplicate resources (i.e. replicas) are the...
180
click to vote
EXPDB
2006
ACM
16 years 29 days ago
2006
ACM
With the growing popularity of information retrieval (IR) in distributed systems and in particular P2P Web search, a huge number of protocols and prototypes have been introduced i...