1875 search results - page 119 / 375 » A Calculus of Broadcasting Systems |
LFCS
2007
Springer
14 years 4 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
COMPASS
1994
14 years 2 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
ICMCS
2008
IEEE
14 years 4 months ago
2008
IEEE
For Internet based video broadcasting applications such as IPTV, the Peer-to-Peer (P2P) streaming scheme has been found to be an effective solution. An important issue in live bro...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
Recently, mobile TV is becoming a mainstream service in mobile broadcasting scenario, where requires lots of mobile factors such as robust transmission, high performance and easy ...
CRYPTO
1993
Springer
14 years 2 months ago
1993
Springer
A broadcast encryption scheme allows the sender to securely distribute data to a dynamically changing set of users over an insecure channel. One of the most challenging settings fo...