To search, Click below search items.
All Published Papers Search Service
Title
Information Flow Type System for Proof Carrying Code
Author
Abdulrahman Muthana, Abdul Azim Abd Ghani, Ramlan Mahmod, Hasan Selamat
Vol. 7 No. 7 pp. 177-183
Keywords
Information-Flow, Proof Carrying Code, Type system, Static Analysis, Noninterference, Assembly Language
Software Process Modelling using Attribute Grammar
Rodziah Atan, Abdul Azim Abd. Ghani, Mohd Hasan Selamat, Ramlan Mahmod
Vol. 7 No. 8 pp. 273-281
Software process modelling, attribute grammar, software metrics
Advances in Computer Forensics
Mohd Taufik Abdullah, Ramlan Mahmod, Abdul Azim Ab. Ghani, Mohd Zain Abdullah, Abu Bakar Md Sultan
Vol. 8 No. 2 pp. 215-219
Computer forensics, computer crime, ICT, forensic medicine, digital evidence
Organizing the Semantics of Text with the Concept Relational Tree
Ungku Azmi Ungku Chulan, Nasir Sulaiman, Ramlan Mahmod, Hasan Selamat, Jamaliah Abdul Hamid
Vol. 8 No. 9 pp. 236-249
Semantics, Parsing, Relation Extraction