This work deals with the design of analog circuits for Artificial Neural Networks (ANNs) controllers using an Evolvable Hardware (EHW) platform. ANNs are massively parallel system...
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...
In this paper, we propose OCN (Owner-Centric Networking), a new Internet architecture that provides individuals control over their contents. We argue that this architecture would ...
This paper addresses the issues of designing an infrastructure to support seamless in-building communication at the 60 GHz band. Recently, the 60 GHz band has received much attent...
Bao Linh Dang, R. Venkatesha Prasad, Ignas G. Niem...