5863 search results - page 175 / 1173 » On Model-Checking of P Systems |
248
Voted
SSS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper evaluates the performance of two seminal rateless erasure codes, LT Codes and Online Codes. Their properties make them appropriate for coping with communicatio...
171
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents SRing, a structured non DHT P2P overlay that efficiently supports exact and range queries on multiple attribute values. In SRing, all attribute values are inte...
202
Voted
ICA3PP
2007
Springer
16 years 1 months ago
2007
Springer
Classification is a kind of basic semantics that people often use to manage versatile contents in daily life. Resource Space Model (RSM) is a semantic model for sharing and managin...
182
click to vote
DEXAW
2006
IEEE
16 years 1 months ago
2006
IEEE
A significant challenge for Peer-to-Peer (P2P) systems is maintaining the correctness and consistency of their global data structures and shared contents as peers independently a...
192
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
P2P systems are a revival paradigm for information sharing among distributed nodes in the network. Currently, many research projects or practical applications have emerged from th...