Wafa Basit1, Fakhar Lodhi2, and Usman Bhatti3 1Department of Computer Science, National University of Computer and Emerging Sciences, Pakistan 2Department of Computer Science, GIFT University, Pa kistan 3Rmod Team, Inria Lille-Nord Europe, France

#

Expert Ranking using Reputation and Answer Quality of Co-existing Users Muhammad Faisal1, Ali Daud1 and Abubakr Akram2 1Department of Computer Science, International Islamic University, Pakistan 2Department of Computer Science, COMSATS Institute of IT, Pakistan

provide answers. With the passage of time, these forums can accumulate huge contents. Some of these posted discussions may

#

Formal Architecture and Verification of a Smart Flood Monitoring System-of-Systems

Nadeem Akhtar1 and Saima Khan2 1Department of Computer Science and IT, the Islamia University of Bahawalpur, Pakistan 2Department of Computer Science Faculty of Computer Science and Information Technology, Virtual

#Flood monitoring; system-of-systems; behavioral modeling; formal verification; correctness; safety property

Towards Automated Testing of Multi-Agent Systems Using Prometheus Design Models

Shafiq Ur Rehman1, Aamer Nadeem1, and Muddassar Sindhu2 1Center for Software Dependability, Capital University of Science and Technology, Pakistan 2Department of Computer Science, Quaid i Azam University, Pakistan

#Goal sub goals coverage # MAS faults identification # model based goal plan coverage

An Improved Framework for Modelling Data Warehouse Systems Using UML Profile

Muhammad Babar1, Akmal Khattak2, Fahim Arif3, and Muhammad Tariq4 1Department of Computing and Technology, Iqra University, Pakistan 2Department of Computer Sciences, Quaid-i-Azam University, Pakistan 3Signal College, National University of Sciences and Technology, Pakistan 4Abu Dhabi School of Management, Abu Dhabi, UAE

#

Design and Implementation of Inter-operable and Secure Agent Migration Protocol

Shakir-Ullah Shah1, Jamil Ahmad2, and Najeeb-ur-Rehman3 1Department of Computing and Technology, Iqra University Islamabad, Pakistan 2Department of Computer Science, University of Science and Technology (KUST), Pakistan 3Department of Computer Science, University of Gujrat, Pakistan

#Information Security # Multi-Agent Systems # Inter-Platform Agent Mobility # JADE # Trusted Computing