Title	Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software
Author	Satoshi Yamane
Citation	Vol. 6  No. 1  pp. 192~203
Keywords	Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling

Title	A Fuzzy Algorithm for Real-Time Scheduling of Soft Periodic Tasks
Author	Mojtaba Sabeghi, Mahmoud Naghibzadeh
Citation	Vol. 6  No. 2  pp. 227~236
Keywords	Fuzzy real time scheduling, EDF, LLF, MFDF, MFLF.

Title	A Logic-based Branch and Bound Algorithm for Resource Constrained Scheduling Problem
Author	Juyang Zhang, Jigui Sun, Qingyun Yang
Citation	Vol. 6  No. 2  pp. 237~241
Keywords	Scheduling, Logic, Branch and Bound, Constraint Programming

Title	A Fuzzy Algorithm for Scheduling Periodic Tasks on Multiprocessor Soft Real-Time Systems
Author	Mojtaba Sabeghi, Hossein Deldari
Citation	Vol. 6  No. 3  pp. 88-97
Keywords	Multiprocessor real-time scheduling, FGEDF, FGMLF, FPEDF, FPMLF.