1. Preemptive semi-online scheduling with tightly-grouped processing times

   • Yong He
   • Yi-Wei Jiang

   Algorithms and Computational Complexity 11 October 2008 Pages: 733 - 739

2. New meta-heuristic for combinatorial optimization problems: Intersection based scaling

   • Peng Zou
   • Zhi Zhou
   • Jun Gu

   Algorithms and Computational Complexity 11 October 2008 Pages: 740 - 751

3. Image authentication based on digital signature and semi-fragile watermarking

   • Hong-Bin Zhang
   • Cheng Yang
   • Xiao-Mei Quan

   OriginalPaper 11 October 2008 Pages: 752 - 759

4. Optimal parallel algorithms for the knapsack problem without memory conflicts

   • Ken-Li Li
   • Ren-Fa Li
   • Qing-Hua Li

   OriginalPaper 11 October 2008 Pages: 760 - 768

5. Fault tolerant algorithm based on dynamic and active load balancing for redundant services

   • Jun-Feng Tian
   • Jun-Wei Zhang
   • Feng-Xian Wang

   Algorithms and Computational Complexity 11 October 2008 Pages: 769 - 775

6. Algorithm based on taboo search and shifting bottleneck for job shop scheduling

   • Wen-Qi Huang
   • Zhi Huang

   Algorithms and Computational Complexity 11 October 2008 Pages: 776 - 781

7. Approximation algorithm for weighted weak vertex cover

   • Yong Zhang
   • Hong Zhu

   Algorithms and Computational Complexity 11 October 2008 Pages: 782 - 786

8. Max-flow problem in undirected planar networks with node capacities being in NC

   • Xian-Chao Zhang
   • Ying-Yu Wan
   • Guo-Liang Chen

   Algorithms and Computational Complexity 11 October 2008 Pages: 787 - 790

9. Approximation algorithm for bottleneck Steiner tree problem in the Euclidean plane

   • Zi-Mao Li
   • Da-Ming Zhu
   • Shao-Han Ma

   Algorithms and Computational Complexity 11 October 2008 Pages: 791 - 794

10. Verifying mutual exclusion and liveness properties with split preconditions

    • Awadhesh Kumar Singh
    • Anup Kumar Bandyopadhyay

    Software Engineering 11 October 2008 Pages: 795 - 802

11. Symmetric structure in logic programming

    • Jin-Zhao Wu
    • Harald Fecher

    Software Engineering 11 October 2008 Pages: 803 - 811

12. Automatic generation of symbolic model for parameterized synchronous systems

    • Wei-Wen Xu

    Software Engineering 11 October 2008 Pages: 812 - 819

13. Geometry theorem proving by decomposing polynomial system into strong regular sets

    • Yong-Bin Li
    • Wu Liu
    • Xiao-Lin Xiang

    Software Engineering 11 October 2008 Pages: 820 - 827

14. Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement

    • Xiu-Li Sun
    • Wen-Yin Zhang
    • Jin-Zhao Wu

    Software Engineering 11 October 2008 Pages: 828 - 839

15. Practical type checking of functions defined on Context-Free languages

    • Hai-Ming Chen
    • Yun-Mei Dong

    Software Engineering 11 October 2008 Pages: 840 - 847

16. A model for slicing JAVA programs hierarchically

    • Bi-Xin Li
    • Xiao-Cong Fan
    • Jian-Jun Zhao

    Software Engineering 11 October 2008 Pages: 848 - 858

17. Measuring class cohesion based on dependence analysis

    • Zhen-Qiang Chen
    • Bao-Wen Xu
    • Yu-Ming Zhou

    Software Engineering 11 October 2008 Pages: 859 - 866

18. Extracting frequent connected subgraphs from large graph sets

    • Wei Wang
    • Qing-Qing Yuan
    • Bai-Le Shi

    Software Engineering 11 October 2008 Pages: 867 - 875

19. Efficient incremental maintenance of frequent patterns with FP-tree

    • Xiu-Li Ma
    • Yun-Hai Tong
    • Dong-Qing Yang

    Software Engineering 11 October 2008 Pages: 876 - 884

20. Striping and scheduling for large scale multimedia servers

    • Kyung-Oh Lee
    • Jun-Ho Park
    • Yoon-Young Park

    Computer Network and Internet 11 October 2008 Pages: 885 - 895

21. Integrated differentiated survivability in IP over WDM networks

    • Wei Wei
    • Qing-Ji Zeng

    Computer Network and Internet 11 October 2008 Pages: 896 - 908

22. DRMR: Dynamic-ring-based multicast routing protocol for Ad hoc networks

    • Yuan Zhou
    • Guang-Sheng Li
    • Yi-Bin Hou

    Computer Network and Internet 11 October 2008 Pages: 909 - 919

23. New approach to WLAN security with synchronized pseudo random

    • Qing-Hua Zheng
    • David L. Pepyne
    • Qing Wang

    Computer Network and Internet 11 October 2008 Pages: 920 - 927

24. Semantic and structural analysis of TV diving programs

    • Fei Wang
    • Jin-Tao Li
    • Shou-Xun Lin

    Computer Network and Internet 11 October 2008 Pages: 928 - 935

25. Memorizable interactive proof and zero-knowledge proof systems

    • Ning Chen
    • Jia-Wei Rong

    Computer Network and Internet 11 October 2008 Pages: 936 - 941

26. Distributed oblivious function evaluation and its applications

    • Hong-Da Li
    • Xiong Yang
    • Bao Li

    Computer Network and Internet 11 October 2008 Pages: 942 - 947

27. A novel framework for IP DiffServ over optical burst switching networks

    • Ke-Ping Long
    • Yun Li
    • Chong-Gang Wang

    Computer Network and Internet 11 October 2008 Pages: 948 - 954

28. A new classification of path-delay fault testability in terms of stuck-at faults

    • Subhashis Majumder
    • Bhargab B. Bhattacharya
    • Michael L. Bushnell

    Others 11 October 2008 Pages: 955 - 964

29. I/O performance of an RAID-10 style parallel file system

    • Dan Feng
    • Hong Jiang
    • Yi-Feng Zhu

    Others 11 October 2008 Pages: 965 - 972

30. Fast evaluation of Bounded Slice-line Grid

    • Song Chen
    • Xian-Long Hong
    • Jun Gu

    Others 11 October 2008 Pages: 973 - 980

31. Some results on the minimal coverings of precomplete classes in partialk-valued logic functions

    • Ren-Ren Liu
    • Song-Qiao Chen
    • Shu Li

    Others 11 October 2008 Pages: 981 - 985

32. Erratum to A framed temporal logic programming language

    • Zhen-Hua Duan

    Erratum 11 October 2008 Pages: 985 - 985