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...
This paper first analyzes the feedback principle of nature immune system and then the immune process is imitated by virtue of nonlinear molecular dynamics. Then the mathematic mode...
Abstract— Heterogeneous multicast is an efficient communication scheme especially for multimedia applications running over multihop networks when multicast receivers in the same...
Network coordinates provide a scalable way to estimate latencies among large numbers of hosts. While there are several algorithms for producing coordinates, none account for the f...
Jonathan Ledlie, Peter R. Pietzuch, Margo I. Seltz...
This paper describes the optimal tuning for the output limits of the power system stabilizer (PSS), which can improve the system damping performance immediately following a large d...
Seung-Mook Baek, Jung-Wook Park, Ganesh K. Venayag...