5863 search results - page 273 / 1173 » On Model-Checking of P Systems |
148
click to vote
KIVS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract This paper presents a token-based accounting scheme for decentralized autonomous systems, such as peer-to-peer systems. The scheme uses tokens as proof of resource or serv...
183
click to vote
P2P
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Multi-view peer-to-peer (P2P) live streaming systems have recently emerged, where a user can simultaneously watch multiple channels. Previous work on multi-view P2P stre...
196
click to vote
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
— High-end computing (HEC) systems have passed the petaflop barrier and continue to move toward the next frontier of exascale computing. As companies and research institutes con...
203
click to vote
ICPADS
2006
IEEE
16 years 1 months ago
2006
IEEE
Peer-to-Peer (P2P) systems are characterized by direct access between peer computers, rather than through a centralized server. File sharing is the dominant P2P application on the...
181
click to vote
P2P
2010
IEEE
15 years 5 months ago
2010
IEEE
—The efficiency of BitTorrent for file sharing has inspired a number of BitTorrent-based P2P protocols for Videoon-Demand (VoD). It has been shown that these systems are scalab...