To search, Click below search items.
All Published Papers Search Service
Title
Diagram-Based Verification of Real-Time Systems using Timed Predicate Diagrams
Author
Cecilia E. Nugraheni
Vol. 6 No. 12 pp. 18-27
Keywords
Reactive systems, real-time systems, verification, TLA, predicate diagrams.
Real-time Decision Making of Agents to Realize Decentralized Autonomous FMS by Anticipation
Hidehiko Yamamoto, Rizauddin Bin Ramli
Vol. 6 No. 12 pp. 7-17
Hypothetical reasoning, Intelligent system, Autonomous decentralized system, FMS.
Multicriterion Genetic Programming for Trajectory Planning of Underwater Vehicle
Jerzy Balicki
Vol. 6 No. 12 pp. 1-6
Genetic programming, remote operating vehicle, multi-criterion optimization.
A New Roll-Forward Checkpointing / Recovery Mechanism for Cluster Federation
B. Gupta, S. Rahimi, R. Ahmad
Vol. 6 No. 11 pp. 292-298
Cluster Computing, Checkpoints, Recovery