In: Journal in Computer Virology, 2006, vol. 2, no. 3, p. 163-186
|
In: HMD Praxis der Wirtschaftsinformatik, 2010, vol. 47, no. 1, p. 6-12
|
(Internal working papers DIUF ; 15-01)
Complementation of Büchi automata is well known for being difficult. In the worst case, a state-space growth of (0:76n)n is unavoidable. Recent studies suggest that “simpler” algorithms perform better than more involved ones on practical cases. In this paper, we present a simple “direct” algorithm for complementing Büchi automata. It involves a structured subset construction (using...
|
In: Complex Networks, 2014, vol. 5, p. 119–127
In ecological networks, niche-overlap graphs are considered as complex systems. They represent the competition between two predators that share common resources. The purpose of this paper is to investigate the structural properties of these graphs considered as weighted networks and compare their measures with the ones calculated for the binary networks. To conduct this study, we select four...
|
In: Innovative Minds (Information Systems Security Association - ISSA 2008), Johannesburg, South Africa, July 2008, 2008, p. -
The threats and intrusions in IT systems can basically be compared to human diseases with the difference that the human body has an effective way to deal with them, what still need to be designed for IT systems. The human immune system (HIS) can detect and defend against yet unseen intruders, is distributed, adaptive and multilayered to name only a few of its features. Our immune system...
|
