Communication optimization plays an important role in building networked distributed applications. In this paper, we systematically evaluate four bandwidth reduction algorithms, n...
— Temporary link failures and route changes occur frequently in mobile ad hoc networks. Since TCP assumes that all packet losses are due to network congestion, TCP does not show ...
In recent years, there are many educational systems which incorporate the agents such as pedagogical agents and peer agents, as a means to realize the teaching, coaching and suppo...
Abstract--In most previously reported studies on locally optimum detection of signals, independent observations have been assumed in various noise environments. The use of an indep...
Jumi Lee, Iickho Song, Hyoungmoon Kwon, Hong Jik K...
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....