The advent of Cloud computing platforms, and the growing pervasiveness of Multicore processor architectures have revealed the inadequateness of traditional programming models base...
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a generat...
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
Grants are offered for faculty to develop technology courseware projects in universities including Hangzhou Dianzi University (HDU). One of the important factors in courseware deve...
Wei-hua Hu, Jiang-tao Du, Qi-li Zhou, Dao-ping Hon...