Title	Diagram-Based Verification of Real-Time Systems using Timed Predicate Diagrams
Author	Cecilia E. Nugraheni
Citation	Vol. 6  No. 12  pp. 18-27
Keywords	Reactive systems, real-time systems, verification, TLA, predicate diagrams.

Title	Real-time Decision Making of Agents to Realize Decentralized Autonomous FMS by Anticipation
Author	Hidehiko Yamamoto, Rizauddin Bin Ramli
Citation	Vol. 6  No. 12  pp. 7-17
Keywords	Hypothetical reasoning, Intelligent system, Autonomous decentralized system, FMS.

Title	Multicriterion Genetic Programming for Trajectory Planning of Underwater Vehicle
Author	Jerzy Balicki
Citation	Vol. 6  No. 12  pp. 1-6
Keywords	Genetic programming, remote operating vehicle, multi-criterion optimization.

Title	A New Roll-Forward Checkpointing / Recovery Mechanism for Cluster Federation
Author	B. Gupta, S. Rahimi, R. Ahmad
Citation	Vol. 6  No. 11  pp. 292-298
Keywords	Cluster Computing, Checkpoints, Recovery