5863 search results - page 434 / 1173 » On Model-Checking of P Systems |
257
click to vote
EMSOFT
2011
Springer
14 years 7 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
223
click to vote
DAGSTUHL
2006
15 years 9 months ago
2006
This paper addresses two important challenges for current P2P systems, namely churn and selfishness. First, we report on a system [19] whose desirable properties (small peer degre...
177
click to vote
SIGMOD
2002
ACM
16 years 7 months ago
2002
ACM
Peer-to-Peer (P2P) systems are becoming increasingly popular as they enable users to exchange digital information by participating in complex networks. Such systems are inexpensiv...
243
click to vote
COMSUR
2008
15 years 7 months ago
2008
Efficient Resource discovery mechanism is one of the fundamental requirement for Grid computing systems, as it aids in resource management and scheduling of applications. Resource...
240
click to vote
TKDE
2010
15 years 2 months ago
2010
DHT is a widely used building block for scalable P2P systems. However, as uniform hashing employed in DHTs destroys data locality, it is not a trivial task to support complex queri...