The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
We describe Uncle Roy All Around You, a mixture of game and theatre that took place in central London in late May and early June of 2003. Street players, equipped with handheld co...
Martin Flintham, Rob Anastasi, Steve Benford, Adam...
Abstract—Directed Acyclic Graphs (DAGs), rooted at popular/default destinations, have emerged as a preferred mechanism to provide IPv6 routing functionality in large scale low po...
Line-of-sight (LoS) time-of-arrival (ToA) is one of key parameters for network-based localization techniques. Its estimation accuracy depends on the bandwidth of transmitted signa...
Adaptive modulation can improve the throughput of cooperative communications, which has been shown in previous research. So far the adaptive modulation is applied with respect to ...