6978 search results - page 343 / 1396 » On Proofs in System P |
190
click to vote
MOBISYS
2009
ACM
16 years 7 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...
154
click to vote
EUROPAR
2003
Springer
16 years 17 hour 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...
301
click to vote
ICDE
2008
IEEE
16 years 8 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...
193
click to vote
EDBT
2004
ACM
16 years 7 months ago
2004
ACM
Peer-to-peer (P2P) systems are gaining increasing popularity as a scalable means to share data among a large number of autonomous nodes. In this paper, we consider the case in whic...
175
click to vote
ISCAPDCS
2004
15 years 8 months ago
2004
Peer-to-peer networks have gained a lot of attention over the last couple of years, mainly due to the popularity of the free multimedia file-sharing program Napster and a legal ba...