Abstract— The study of synchronization of population dynamics is extremely important for predicting and evaluating the risk of global extinctions. The migration in a network of p...
: In this paper we propose the use of an argument-based model – ProCLAIM – that has the potential to minimize ecological impact of industrial wastewater discharges into water b...
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
We propose a general framework for improving the query processing performance on multi-level memory hierarchies. Our motivation is that (1) the memory hierarchy is an important pe...
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian