Monthly Archives: March 2013

Formalizing Properties

Top 5 properties we are going to look at in BATMAN: All OGMs that have entered the network will leave the network after one of the following conditions: every node has received at least one and re-broadcasting stops; they have … Continue reading

Posted in Uncategorized | Leave a comment

Quick Overview on B.A.T.M.A.N.

BATMAN is a proactive routing protocol, which maintains fresh lists of destinations in the network by periodically distributing routing tables throughout the network. The basic strategy for BATMAN is to find the next step to the destination node, but does … Continue reading

Posted in Uncategorized | Leave a comment

A Better Approach to Mobile Ad-Hoc Networking This links to B.A.T.M.A.N., the network protocol which we have decided to formalize in our semester-long project. The “Agenda” tab above shows the projected outline of our work during the next couple of … Continue reading

Posted in Uncategorized | Leave a comment