554 search results - page 3 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
AAMAS
2006
Springer
13 years 5 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
ACNS
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. Attackers in particular botnet controllers use stealthy messaging systems to set up large-scale command and control. Understanding the capacity of such communication chan...
PIMRC
2010
IEEE
13 years 3 months ago
2010
IEEE
A two-way relay channel with independent parallel Gaussian channels between the relay and the two terminals is considered. Focusing on the decode-and-forward protocol, the second p...
DATE
2008
IEEE
14 years 6 days ago
2008
IEEE
Chip reliability becomes a great threat to the design of future microelectronic systems with the continuation of the progressive downscaling of CMOS technologies. Hence increasing...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
Abstract--A peak-power-limited single-antenna block-stationary Gaussian fading channel is studied, where neither the transmitter nor the receiver knows the channel state informatio...