374 search results - page 37 / 75 » On Communicating Automata with Bounded Channels |
150
click to vote
ICC
2008
IEEE
16 years 18 days ago
2008
IEEE
— In their landmark paper Cover and El Gamal proposed different coding strategies for the relay channel with a single relay supporting a communication pair. These strategies are ...
162
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract-- Optimal communication/control analysis and design of dynamical controlled systems, when there are finite capacity communication constraints often involve information and...
166
Voted
TWC
2008
15 years 6 months ago
2008
In this paper, the statistics of quadratic forms in normal random variables (RVs) are studied and their impact on performance analysis of wireless communication systems is explored...
141
click to vote
MOVEP
2000
15 years 9 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
155
Voted
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...