2137 search results - page 309 / 428 » Proving Abstract Non-interference |
127
Voted
WDAG
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
109
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— For a multiple-input single-output (MISO) downlink channel with ¢ transmit antennas, it has been recently proved that zero-forcing beamforming (ZFBF) to a subset of (a...
106
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper proposes the ASIMcast (Any-Source Implicit Multicast) protocol which builds a bidirectional tree for routing of multicast traffic. ASIMcast includes feature...
113
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— ABBA codes are an important class of quasiorthogonal space-time block codes proposed by Tirkkonen et al.. Recently, they have become more attractive for practical appli...
111
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— In this paper, we propose a new cooperative communication protocol, which achieves high bandwidth efficiency while guaranteeing full diversity order. The proposed sche...