5863 search results - page 382 / 1173 » On Model-Checking of P Systems |
194
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
1 The unstructured Peer-to-Peer (P2P) systems usually use a “blind search” method to find the requested data object by propagating a query to a number of peers randomly. In or...
247
click to vote
IFIP
2004
Springer
16 years 28 days ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
217
click to vote
MOBISYS
2009
ACM
16 years 8 months ago
2009
ACM
In this paper, we present the design and evaluation of a nearfield communication-based mobile p2p payment application called mFerio which is designed to replace cash-based transac...
174
click to vote
EUROPAR
2003
Springer
16 years 24 days ago
2003
Springer
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
343
Voted
ICDE
2008
IEEE
16 years 9 months ago
2008
IEEE
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...