1875 search results - page 197 / 375 » A Calculus of Broadcasting Systems |
103
Voted
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
—The DVB-H standard has been defined to provide digital video broadcast to mobile handheld devices. However, without a request channel, a handheld device may encounter data loss...
110
Voted
ICFP
2005
ACM
16 years 24 days ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
123
Voted
JFP
2007
15 years 22 days ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
129
click to vote
ICFP
2005
ACM
16 years 24 days ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
112
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...