Title	The Semi-automated DNA Computing Model for solving the Satisfiability Problem
Author	Yin Zhixiang, Cui Jianzhong, Shi Xiaohong, Pan Linqiang
Citation	Vol. 6  No. 1  pp. 163~167
Keywords	The satisfiability problem, SAT problem, DNA computing, Semi-automated equipment

Title	A Hybrid Framework for Automated Onto-Logical Web Service Composition based on Agent Societies
Author	Faezeh Ensan, Mohsen Kahani, Ebrahim Bagheri
Citation	Vol. 6  No. 3  pp. 30-40
Keywords	Logical Reasoning, First Order Logic, Automated Web Service Composition, Intent Verbalization, Multi-Agent Societies.

Title	A Declarative Approach for Easy Specification and Automated Enforcement of Security Policy
Author	H?di Hamdi, Adel Bouhoula, Mohamed Mosbah
Citation	Vol. 8  No. 2  pp. 60-71
Keywords	Declarative Approach, Automated Enforcement, Security Policy

Title	Automated Feature Weighting for Network Anomaly Detection
Author	Dat Tran, Wanli Ma, Dharmendra Sharma
Citation	Vol. 8  No. 2  pp. 173-178
Keywords	Network anomaly detection, automated feature weighting, subspace vector quantization, fuzzy c-means, fuzzy entropy