1875 search results - page 291 / 375 » A Calculus of Broadcasting Systems |
FOSSACS
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
ICMCS
2008
IEEE
14 years 5 months ago
2008
IEEE
Many digital sound archives still suffer from tremendous problems concerning access. Materials are often in different formats, with related media in separate collections, and with...
FGCN
2007
IEEE
14 years 5 months ago
2007
IEEE
This study focuses on the gain of using progressive download instead of legacy download for streamable media files for wireless multicasting networks. With progressive download, t...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
In today’s world, stream processing systems have become important, as applications like media broadcasting, sensor network monitoring and on-line data analysis increasingly rely...
MMM
2006
Springer
14 years 4 months ago
2006
Springer
We present a video recognition system of a “Go” TV program. It generates a Go play record automatically from a broadcast of Go played by human professionals. “Go” is the a...