Sciweavers

3457 search results - page 395 / 692
» A Symbol Is Not a Symbol
Sort
View
CSFW
2006
IEEE
16 years 26 days ago
Computationally Sound Compositional Logic for Key Exchange Protocols
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
Anupam Datta, Ante Derek, John C. Mitchell, Bogdan...
155
Voted
DATE
2006
IEEE
110views Hardware» more  DATE 2006»
16 years 26 days ago
An improved RF loopback for test time reduction
In this work a method to improve the loopback test used in RF analog circuits is described. The approach is targeted to the SoC environment, being able to reuse system resources i...
Marcelo Negreiros, Luigi Carro, Altamiro Amadeu Su...
GLOBECOM
2006
IEEE
16 years 26 days ago
Carrier Offset and Channel Estimation for Cooperative MIMO Sensor Networks
— A cooperative MIMO network is considered with Ns sensors and a collector node with Mc antennas. In a practical implementation of this network, the sensor carriers have relative...
Ronald A. Iltis, Shahnam Mirzaei, Ryan Kastner, Ri...
GLOBECOM
2006
IEEE
16 years 26 days ago
Optimal Codeword Design for Precoded UWB (PUWB) Systems
Abstract— A precoding technique applied to symbols transmitted in an ultra-wideband (UWB) system was proposed in [1], which can concentrate the signal power at the receiver to fa...
Yu-Hao Chang, Shang-Ho Tsai, Xiaoli Yu, C. C. Jay ...
GLOBECOM
2006
IEEE
16 years 26 days ago
Error Probability of OFDM with Carrier Frequency Offset in AWGN and Fading Channels
— In this paper we investigate the error probability for OFDM with carrier frequency offset (CFO) in additive white Gaussian noise (AWGN) and Rayleigh fading channels. The statis...
Himal A. Suraweera, Jean Armstrong