5863 search results - page 163 / 1173 » On Model-Checking of P Systems |
154
click to vote
GCC
2005
Springer
15 years 11 months ago
2005
Springer
In order to deal with free riding in P2P system, incentive mechanism or rating system is presented, and each user rating is computed by itself, which causes that some users exagger...
157
click to vote
AH
2004
Springer
15 years 11 months ago
2004
Springer
We describe a P2P system that offers a distributed, cooperative and adaptive environment for bookmark sharing. DAD offers an adaptive environment since it provides suggestions abou...
147
click to vote
PPNA
2008
15 years 6 months ago
2008
In both academia and industry, peer-to-peer (P2P) applications have attracted great attentions. P2P applications such as Napster, Gnutella, FastTrack, BitTorrent, Skype and PPLive,...
224
click to vote
TSE
2011
15 years 1 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
183
click to vote
ACNS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we first propose a novel Public License Infrastructure (PLI) that uses cryptographic threshold secret sharing schemes to provide decentralized public license service...