1875 search results - page 110 / 375 » A Calculus of Broadcasting Systems |
CORR
2006
Springer
13 years 10 months ago
2006
Springer
The capacity regions are investigated for two relay broadcast channels (RBCs), where relay links are incorporated into two-user broadcast channels to support user cooperation. In t...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper an original detection strategy for satellite digital broadcasting communications is defined; particularly, we consider the DVB-S2 system, which is proposed as a ...
ICFP
2004
ACM
14 years 10 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
CIE
2008
Springer
14 years 3 days ago
2008
Springer
Having principal typings (for short PT) is an important property of type systems. This property guarantees the possibility of type deduction which means it is possible to develop a...