To search, Click below search items.

 

All Published Papers Search Service

Results for ; Total 10576

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


[1] ... [prev] [2491] [2492] [2493] [2494] [2495] [2496] [2497] [2498] [2499] [2500] [next] ... [2644]