5863 search results - page 400 / 1173 » On Model-Checking of P Systems |
209
click to vote
ICNP
2005
IEEE
16 years 1 months ago
2005
IEEE
A mutually anonymous service hides the identity of a client from the service provider and vice-versa. Providing mutual anonymity usually requires a large number of participants. W...
201
click to vote
AP2PC
2004
Springer
16 years 1 months ago
2004
Springer
Performing efficient decentralized search is a fundamental problem in Peer-to-Peer (P2P) systems. There has been a significant amount of research recently on developing robust sel...
175
click to vote
CCR
2007
15 years 7 months ago
2007
In this paper, we discuss the current situation with respect to simulation usage in P2P research, testing the available P2P simulators against a proposed set of requirements, and ...
184
click to vote
FUIN
2010
15 years 6 months ago
2010
A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...
209
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Recently distributed hash table (DHT) mechanisms have been proposed to manage data in very large, structured peer-to-peer (P2P) systems. DHT algorithms provide efficient exact-mat...