Access to items labeled 
is restricted to members of EmbeddedClassGroup.
General Reading
Slides of Lectures
Papers and Protocols
Software Verification
VeriSoft; see also the POPL 97 paper.
The SLAM Project (Microsoft).
BLAST, and in particular:
Ad-Hoc Protocol Resources
RAP: Robos Ad-Hoc Protocol: Here you can find all the resources needed for implementing the protocol.
DSR: The Dynamic Source Routing Protocol for Multi-Hop Wireless Ad Hoc Networks, by D.B. Johnson, D.A. Maltz, and J. Broch.
A note about public access to papers
As you can see from this page, access to many resources is restricted to members of the EmbeddedClassGroup. This is because current copyright agreements required to publish papers in societies such as the IEEE and ACM, as well as many publishers such as Springer and Elsevier, prevent the free distribution of papers published. This is true even though much, if not all, of the research that is described in the papers has been sponsored (paid) by government agencies, at the expense of the taxpayer.
If you consider joining the IEEE and ACM, you might consider making them aware of your point of view (whatever it is) on this topic.