5863 search results - page 330 / 1173 » On Model-Checking of P Systems |
247
click to vote
INFOCOM
2005
IEEE
16 years 1 months ago
2005
IEEE
—In the past few years, peer-to-peer (P2P) networks have become a promising paradigm for building a wide variety of distributed systems and applications. The most popular P2P app...
181
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
In this paper, we propose a decentralized collaborative filtering (CF) approach based on P2P overlay network for the autonomous agents' environment. Experiments show that our...
188
click to vote
MEMOCODE
2006
IEEE
16 years 1 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
166
Voted
FAST
2008
15 years 9 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...