Networks protocols are the heart of communication networks. An efficient network protocol does maximum utilization of the underlying network capabilities. Network Protocol synthesis is the process of synthesizing or deriving network specific protocols from the requirements of a given specific network. In this report, we present a step-by-step approach for the automated synthesis of network prot...

In this report, the use of knowledge-theoretic principles to analyse Wireless Sensor Networks and design protocols is examined. Nodes in the network are viewed as knowledge-agents which are able to evaluate formulas using a knowledge-model of the network, and make informed decisions during the run time of a knowledge based data transmission protocol. Such a protocol compares with standard data ...

Wireless Sensor network consist of independent large number of sensors and energy efficiency is one of the most important concerns in Wireless Sensor Network. To resolve issues of energy consumption, reliability and data aggregation several routing algorithms have been proposed earlier. We can prolong network lifetime and stability period by reducing energy consumption. The proposed protocol fo...

Wireless Ad-Hoc networks are a form of peer-topeer network where nodes can communicate with each other without any central infrastructure. In spontaneous network, devices are placed close to each other for accessing services and sharing resources among each other for short period of time and network is formed spontaneously without help of any external or central infrastructure. The proposed pro...

In this paper, a proposed new wireless protocol so-called wireless controller area network is introduced. WCAN is an adaptation of its wired cousin, controller area network protocol. The proposed WCAN uses token frame scheme in providing channel access to nodes in the system. This token frame method follows the example used in wireless token ring protocol which is a wireless network protocol th...

The rate control protocol (RCP) is a new network congestion control protocol which is designed to achieve smaller file completion times, fairness among flows competing for resources in the network and efficient use of available bandwidth. In this paper I show that the heuristic protocol, RCP performs well only for a specific scenario. I further derive an exact formula for a robust protocol whic...

Coordinated checkpointing protocol is a simple and useful protocol, used for fault tolerance in distributed system on LAN. However, checkpoint overhead of the protocol is bottlenecked by the link speed. Checkpoint overhead of the protocol increases even if only one link in the network is of low-speed. In a metacomputing environment, where distributed application communicates over low speed WAN,...