Model Checking for Multi-Agent Systems Modeled by Epistemic Process Calculus Full Text
Qixian Yu ¹, Zining Cao ^1,2,3, Zong Hui ^1,4 and Yuan Zhou ¹, ¹ Nanjing University of Aeronautics and Astronautics, China
² Ministry Key Laboratory for Safety-Critical Software Development and Verification, P. R. China, ³ Collaborative Innovation Center of Novel Software Technology and Industrialization, P. R. China, ⁴ Huaiyin Institute Of Technology, P. R. China

Coupling Metrics for Aspect Oriented Software Full Text
Kelvin Mutunga Katonyi, John Gichuki Ndia and Geoffrey Muchiri Muketha, Murang'a University of Technology, Kenya

Towards a Robust Quality Assurance Framework for Cloud Computing EnvironmentsFull Text
Mohammed Ahmad Alharbi and Rizwan Qureshi, King Abdul-Aziz University, Saudi Arabia