M Bauderon,
S Grumbach, D Gu, X Qi… - 2010 Fourth …, 2010 - ieeexplore.ieee.org
In this paper, we report on our experiment with the deployment of a virtual machine,
Netquest, which evaluates protocols written in a declarative language, over iMote devices …