Journal: Comput. Syst. Sci. Eng.

Volume 22, Issue 4

0 -- 0Kinh Nguyen, Tharam S. Dillon. Obligation nets: a rigorous object-oriented technique for modeling the behavioural semantics of information systems
0 -- 0Haiping Xu, Yi-Tsung Cheng. Model checking bidding behaviors in internet concurrent auctions
0 -- 0Garrett Camp, Mihaela Ulieru. InOrder: enhancing Google via stigmergic query refinement
0 -- 0Rung Ching Chen, Cheun-Chieh Liao. A genetic algorithm with fuzzy selection and local search for multicast routing problem on the QoS constraint