Sciweavers

1035 search results - page 124 / 207
» Communications in cellular automata
Sort
View
IJNSEC
2008
127views more  IJNSEC 2008»
13 years 10 months ago
Reducing Communication Overhead for Wireless Roaming Authentication: Methods and Performance Evaluation
The protocol design for wireless roaming authentication is challenging because of the key management regarding users and home/visited networks. In this paper, we present two authe...
Men Long, Chwan-Hwa John Wu, J. David Irwin
VLSISP
1998
128views more  VLSISP 1998»
13 years 9 months ago
A Low Power DSP Engine for Wireless Communications
This paper describes the architecture and the performance of a new programmable 16-bit Digital Signal Processor (DSP) engine. It is developed specifically for next generation wire...
Ingrid Verbauwhede, Mihran Touriguian
FBT
1998
119views Formal Methods» more  FBT 1998»
13 years 11 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
FSTTCS
2005
Springer
14 years 3 months ago
Reachability Analysis of Multithreaded Software with Asynchronous Communication
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, J...
ICC
2007
IEEE
126views Communications» more  ICC 2007»
14 years 4 months ago
Severely Fading MIMO Channels: Models and Mutual Information
— In most wireless communications research, the channel models considered experience less severe fading than the classic Rayleigh fading case. In this work, however, we investiga...
Seung Ho Choi, Peter Smith, Ben Allen, Wasim Q. Ma...