5863 search results - page 743 / 1173 » On Model-Checking of P Systems |
187
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
Quality control and resource optimization are challenging problems in peer-assisted video streaming systems, due to their large scales and unreliable peer behavior. Such systems a...
152
click to vote
JSAC
2007
15 years 6 months ago
2007
Abstract— Peer-to-peer (P2P) video systems provide a costeffective way for a large number of hosts to colloaborate for video sharing. Two features characterize such a system: 1) ...
121
click to vote
TSP
2008
15 years 6 months ago
2008
This paper studies the blind block synchronization problem in block transmission systems using linear redundant precoders (LRP). Two commonly used LRP systems, namely, zero padding...
170
click to vote
JOCN
2011
14 years 9 months ago
2011
■ Humans commonly understand the unobservable mental states of others by observing their actions. Embodied simulation theories suggest that this ability may be based in areas of...
167
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Planning a complex software modification task imposes a high cognitive burden on developers, who must juggle navigating the software, understanding what they see with respect t...