5863 search results - page 319 / 1173 » On Model-Checking of P Systems |
173
click to vote
ICOIN
2007
Springer
16 years 1 months ago
2007
Springer
Construction of overlay networks without any consideration of real network topologies causes inefficient routing in peer-to-peer networks. This paper presents the design and evalua...
224
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
We analyze the performance of a DHT-based P2P overlay network in resource access and overlay maintenance activities. We use a cross-platform implementation of the protocol called P...
188
click to vote
CHARME
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
201
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
206
click to vote
ICN
2007
Springer
16 years 1 months ago
2007
Springer
—Peer to peer is an important way for files sharing. In existing P2P systems, users need to query and retrieve files, and have to know some knowledge, such as file names, keyword...