Issue 2 of Volume 20

JavaMarker: A Marking System for Java Programs

Authors: Marzieh Ahmadzadeh, Sahar Namvar, Mansoore Soltani

Formalization and Verification of a Live Multimedia Presentation Model

Authors: Rustam Asnawi, Wan Fatimah Wan Ahmad, Dayang Rohaya Awang Rambli