External Links

    Journal: Comput. J.

    Volume 49, Issue 6

    631 -- 633Fairouz Kamareddine. Capsule Reviews
    634 -- 649Yi-Sheng Huang. Design of Traffic Light Control Systems Using Statecharts
    650 -- 656Frank Land. Leo II and the Model T Ford
    657 -- 664Jorma Rissanen. The Structure Function and Distinguishable Models of Data
    665 -- 669Dick den Hertog, P. B. Hulshof. Solving Rummikub Problems by Integer Linear Programming
    670 -- 684Alexander Thomasian, Lijuan Zhang. Persistent Semi-Dynamic Ordered Partition Index
    685 -- 709Samir M. Koriem. Development, Analysis and Evaluation of Performance Models for Mobile Multi-Agent Networks
    710 -- 730Vlad Rusu. Verifying an ATM Protocol Using a Combination of Formal Techniques
    731 -- 743Betül Demiröz, Haluk Rahmi Topcuoglu. Static Task Scheduling with a Unified Objective on Time and Resource Domains
    744 -- 761Carlos A. G. Assis, Edil S. Tavares Fernandes, Valmir C. Barbosa. Modeling the Input History of Programs for Improved Instruction-Memory Performance
    runs on