Results 251 to 260 of about 5,428,498 (297)
Some of the next articles are maybe not open access.
Codesign of communication protocols
Computer, 1993A codesign process using Promela, a concurrent programming language, is under development. A description is given of Promela, the software compiler, and the hardware compiler. As an example, the method is applied to a simple communication system using the alternating bit protocol. >
Alan S. Wenban +2 more
openaire +1 more source
The Formalization and Analysis of a Communications Protocol
IFAC Proceedings Volumes, 1991Abstract The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS.
Glenn Bruns, Stuart Anderson 0001
openaire +2 more sources
Energy-efficient communication protocols
Proceedings of the 39th conference on Design automation - DAC '02, 2002Wireless networking has experienced a great deal of popularity, and significant advances have been made in wireless technology. However, energy efficiency of radio communication systems is still a critical issue due to the limited battery capacity of portable devices.
CHIASSERINI, Carla Fabiana +3 more
openaire +2 more sources
The induction of communication protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, 2005This thesis comprises three stages: (i) translating natural language conversations into marked up Agent Communication Language messages; (ii) analyzing the communicative behavior of online collaborators; (iii) inspecting the set of communication protocols of humans.
openaire +1 more source
Randomized Communication Protocols
2001There are very few computing models for which the power of randomized computing is as well understood as for communication protocols and their communication complexity. Since the communication complexity is strongly related to several complexity measures of distinct basic models of computation, there exist possibilities to transform some results about ...
openaire +2 more sources
Teaching Communication Protocols
Computer Science Education, 2000John Derrick, Sally Fincher
openaire +1 more source
A survey on communication protocols and performance evaluations for Internet of Things
Digital Communications and Networks, 2022Abdullah Sevin +2 more
exaly