5863 search results - page 411 / 1173 » On Model-Checking of P Systems |
218
click to vote
CMMR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper describes a method for labelling structural parts of a musical piece. Existing methods for the analysis of piece structure often name the parts with musically ...
200
click to vote
NOSSDAV
2009
Springer
16 years 2 months ago
2009
Springer
Most of the literature on peer-to-peer (P2P) live streaming focuses on how to provide best-effort streaming quality by efficiently using the system bandwidth; however, there is n...
196
click to vote
COMCOM
2008
15 years 7 months ago
2008
This paper presents a new video-on-demand streaming technique in peer-to-peer (P2P) environments. While a number of P2P live video streaming techniques have been proposed in the p...
172
click to vote
TCC
2007
Springer
16 years 1 months ago
2007
Springer
We construct public-key systems that support comparison queries (x ≥ a) on encrypted data as well as more general queries such as subset queries (x ∈ S). These systems support...
206
click to vote
HIPC
2007
Springer
16 years 1 months ago
2007
Springer
Flooding is a fundamental building block of unstructured peer-to-peer (P2P) systems. In this paper, we investigate techniques to improve the performance of flooding. In particular...