7992 search results - page 53 / 1599 » Communication Abstractions for Distributed Systems |
CSFW
1999
IEEE
13 years 12 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Ultra-wideband (UWB) communications is envisaged to be deployed in indoor environments, where the noise distribution is decidedly non-Gaussian. A critical challenge for...
IEICET
2010
13 years 6 months ago
2010
This paper shows experimental results of packet error rates (PERs) in wireless-LAN mounted printed circuit boards and gives a discussion on a mechanism of electromagnetic noise cou...
FIDJI
2003
Springer
14 years 26 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...