5863 search results - page 430 / 1173 » On Model-Checking of P Systems |
178
click to vote
CC
1998
Springer
15 years 7 months ago
1998
Springer
We introduce the natural class SP 2 containing those languages which may be expressed in terms of two symmetric quanti ers. This class lies between P 2 and P 2 P 2 and naturall...
200
click to vote
INFOCOM
2009
IEEE
16 years 2 months ago
2009
IEEE
—In Peer-to-Peer (P2P) systems where stored objects are small, routing dominates the cost of publishing and retrieving an object. In such systems, the issue of fairly balancing t...
208
click to vote
JVM
2004
15 years 9 months ago
2004
The increased popularity of grid systems and cycle sharing across organizations leads to the need for scalable systems that provide facilities to locate resources, to be fair in t...
166
click to vote
CISIS
2008
IEEE
16 years 2 months ago
2008
IEEE
Active XML (AXML) systems provide an elegant platform to integrate the power of XML, Web services and Peer to Peer (P2P) paradigms by allowing (active) Web service calls to be emb...
213
click to vote
SPAA
2005
ACM
16 years 1 months ago
2005
ACM
We prove that with high probability a skip graph contains a 4-regular expander as a subgraph, and estimate the quality of the expansion via simulations. As a consequence skip grap...