1953 search results - page 153 / 391 » codes 2010 |
154
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider a Gaussian two-hop network where the source and the destination can communicate only via a relay node who is both an eavesdropper and a Byzantine adversary. Both the s...
146
Voted
TMC
2010
15 years 3 months ago
2010
—A key challenge in the design of real-time wireless multimedia systems is the presence of fading coupled with strict delay constraints. A very effective answer to this problem i...
143
Voted
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
—This research considers network coded broadcast system with multi-rate transmission and dual queue stability constraints. Existing network coded broadcast systems consider singl...
143
click to vote
JLP
2010
14 years 11 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
132
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...