7628 search results - page 361 / 1526 » Spatial P systems |
219
click to vote
IFIP
2004
Springer
16 years 3 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...
187
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...
153
click to vote
EUROPAR
2003
Springer
15 years 12 months 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...
296
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...
190
click to vote
EDBT
2004
ACM
16 years 6 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...