9210 search results - page 1420 / 1842 » Analyzing Real-Time Systems |
188
click to vote
MTA
2008
15 years 6 months ago
2008
Large scale video streaming over Internet requires a large amount of resources such as server I/O bandwidth, network bandwidth. A number of video delivery techniques can be used to...
183
click to vote
FTCGV
2007
15 years 6 months ago
2007
Matting refers to the problem of accurate foreground estimation in images and video. It is one of the key techniques in many image editing and film production applications, thus ...
145
click to vote
SIAMAM
2008
15 years 6 months ago
2008
Abstract. We present a model of protein receptor trafficking within the membrane of a cylindrical dendrite containing small protrusions called spines. Spines are the locus of most ...
163
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Peer-assisted streaming is a promising way for service providers to offer high-quality IPTV to consumers at reasonable cost. In peerassisted streaming, the peers exchange video ch...
192
click to vote
IJISEC
2007
15 years 6 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...