1875 search results - page 8 / 375 » A Calculus of Broadcasting Systems |
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—In this report, the problem of broadcast scheduling in Push broadcast systems is studied. We introduce an optimization approach that leads to well justified policies for Push b...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
We introduce a simple primitive called Augmented Broadcast Encryption (ABE) that is sufficient for constructing broadcast encryption, traitor-tracing, and trace-and-revoke systems...
ICWMC
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper discusses hybrid cellular-broadcasting systems as an alternative for future delivery of wireless multimedia multicast services. A resource management framework is pr...
ENTCS
2007
13 years 7 months ago
2007
A model characterising strong normalisation for Klop’s extension of λ-calculus is presented. The main technical tools for this result are an inductive definition of strongly n...
COORDINATION
2007
Springer
14 years 1 months ago
2007
Springer
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...