Preemptive semi-online scheduling with tightly-grouped processing times Yong HeYi-Wei Jiang Algorithms and Computational Complexity 11 October 2008 Pages: 733 - 739
New meta-heuristic for combinatorial optimization problems: Intersection based scaling Peng ZouZhi ZhouJun Gu Algorithms and Computational Complexity 11 October 2008 Pages: 740 - 751
Image authentication based on digital signature and semi-fragile watermarking Hong-Bin ZhangCheng YangXiao-Mei Quan OriginalPaper 11 October 2008 Pages: 752 - 759
Optimal parallel algorithms for the knapsack problem without memory conflicts Ken-Li LiRen-Fa LiQing-Hua Li OriginalPaper 11 October 2008 Pages: 760 - 768
Fault tolerant algorithm based on dynamic and active load balancing for redundant services Jun-Feng TianJun-Wei ZhangFeng-Xian Wang Algorithms and Computational Complexity 11 October 2008 Pages: 769 - 775
Algorithm based on taboo search and shifting bottleneck for job shop scheduling Wen-Qi HuangZhi Huang Algorithms and Computational Complexity 11 October 2008 Pages: 776 - 781
Approximation algorithm for weighted weak vertex cover Yong ZhangHong Zhu Algorithms and Computational Complexity 11 October 2008 Pages: 782 - 786
Max-flow problem in undirected planar networks with node capacities being in NC Xian-Chao ZhangYing-Yu WanGuo-Liang Chen Algorithms and Computational Complexity 11 October 2008 Pages: 787 - 790
Approximation algorithm for bottleneck Steiner tree problem in the Euclidean plane Zi-Mao LiDa-Ming ZhuShao-Han Ma Algorithms and Computational Complexity 11 October 2008 Pages: 791 - 794
Verifying mutual exclusion and liveness properties with split preconditions Awadhesh Kumar SinghAnup Kumar Bandyopadhyay Software Engineering 11 October 2008 Pages: 795 - 802
Symmetric structure in logic programming Jin-Zhao WuHarald Fecher Software Engineering 11 October 2008 Pages: 803 - 811
Automatic generation of symbolic model for parameterized synchronous systems Wei-Wen Xu Software Engineering 11 October 2008 Pages: 812 - 819
Geometry theorem proving by decomposing polynomial system into strong regular sets Yong-Bin LiWu LiuXiao-Lin Xiang Software Engineering 11 October 2008 Pages: 820 - 827
Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement Xiu-Li SunWen-Yin ZhangJin-Zhao Wu Software Engineering 11 October 2008 Pages: 828 - 839
Practical type checking of functions defined on Context-Free languages Hai-Ming ChenYun-Mei Dong Software Engineering 11 October 2008 Pages: 840 - 847
A model for slicing JAVA programs hierarchically Bi-Xin LiXiao-Cong FanJian-Jun Zhao Software Engineering 11 October 2008 Pages: 848 - 858
Measuring class cohesion based on dependence analysis Zhen-Qiang ChenBao-Wen XuYu-Ming Zhou Software Engineering 11 October 2008 Pages: 859 - 866
Extracting frequent connected subgraphs from large graph sets Wei WangQing-Qing YuanBai-Le Shi Software Engineering 11 October 2008 Pages: 867 - 875
Efficient incremental maintenance of frequent patterns with FP-tree Xiu-Li MaYun-Hai TongDong-Qing Yang Software Engineering 11 October 2008 Pages: 876 - 884
Striping and scheduling for large scale multimedia servers Kyung-Oh LeeJun-Ho ParkYoon-Young Park Computer Network and Internet 11 October 2008 Pages: 885 - 895
Integrated differentiated survivability in IP over WDM networks Wei WeiQing-Ji Zeng Computer Network and Internet 11 October 2008 Pages: 896 - 908
DRMR: Dynamic-ring-based multicast routing protocol for Ad hoc networks Yuan ZhouGuang-Sheng LiYi-Bin Hou Computer Network and Internet 11 October 2008 Pages: 909 - 919
New approach to WLAN security with synchronized pseudo random Qing-Hua ZhengDavid L. PepyneQing Wang Computer Network and Internet 11 October 2008 Pages: 920 - 927
Semantic and structural analysis of TV diving programs Fei WangJin-Tao LiShou-Xun Lin Computer Network and Internet 11 October 2008 Pages: 928 - 935
Memorizable interactive proof and zero-knowledge proof systems Ning ChenJia-Wei Rong Computer Network and Internet 11 October 2008 Pages: 936 - 941
Distributed oblivious function evaluation and its applications Hong-Da LiXiong YangBao Li Computer Network and Internet 11 October 2008 Pages: 942 - 947
A novel framework for IP DiffServ over optical burst switching networks Ke-Ping LongYun LiChong-Gang Wang Computer Network and Internet 11 October 2008 Pages: 948 - 954
A new classification of path-delay fault testability in terms of stuck-at faults Subhashis MajumderBhargab B. BhattacharyaMichael L. Bushnell Others 11 October 2008 Pages: 955 - 964
I/O performance of an RAID-10 style parallel file system Dan FengHong JiangYi-Feng Zhu Others 11 October 2008 Pages: 965 - 972
Fast evaluation of Bounded Slice-line Grid Song ChenXian-Long HongJun Gu Others 11 October 2008 Pages: 973 - 980
Some results on the minimal coverings of precomplete classes in partialk-valued logic functions Ren-Ren LiuSong-Qiao ChenShu Li Others 11 October 2008 Pages: 981 - 985
Erratum to A framed temporal logic programming language Zhen-Hua Duan Erratum 11 October 2008 Pages: 985 - 985