We develop a simple yet accurate analysis of the interference distribution in a cellular system, with particular emphasis on a two-hop fixed relay network, though the analysis may...
Sebastian S. Szyszkowicz, Halim Yanikomeroglu, Ema...
In this paper, we propose a Bayesian network framework for explicitly modeling components and their relationships of Korean Hangul characters. A Hangul character is modeled with h...
This paper studies an optimal deployment problem for a network of robotic sensors moving in the real line. Given a spatial process of interest, each individual sensor sends a pack...
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
We present a mechanism for autonomous self-adaptation of a network-based intrusion detection system (IDS). The system is composed of a set of cooperating agents, each of which is ...