Ausgabe 6/2004
Inhalt (32 Artikel)
Preemptive semi-online scheduling with tightly-grouped processing times
Yong He, Yi-Wei Jiang
New meta-heuristic for combinatorial optimization problems: Intersection based scaling
Peng Zou, Zhi Zhou, Ying-Yu Wan, Guo-Liang Chen, Jun Gu
Image authentication based on digital signature and semi-fragile watermarking
Hong-Bin Zhang, Cheng Yang, Xiao-Mei Quan
Optimal parallel algorithms for the knapsack problem without memory conflicts
Ken-Li Li, Ren-Fa Li, Qing-Hua Li
Fault tolerant algorithm based on dynamic and active load balancing for redundant services
Jun-Feng Tian, Jun-Wei Zhang, Feng-Xian Wang
Algorithm based on taboo search and shifting bottleneck for job shop scheduling
Wen-Qi Huang, Zhi Huang
Approximation algorithm for weighted weak vertex cover
Yong Zhang, Hong Zhu
Max-flow problem in undirected planar networks with node capacities being in NC
Xian-Chao Zhang, Ying-Yu Wan, Guo-Liang Chen
Approximation algorithm for bottleneck Steiner tree problem in the Euclidean plane
Zi-Mao Li, Da-Ming Zhu, Shao-Han Ma
Verifying mutual exclusion and liveness properties with split preconditions
Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay
Automatic generation of symbolic model for parameterized synchronous systems
Wei-Wen Xu
Geometry theorem proving by decomposing polynomial system into strong regular sets
Yong-Bin Li, Wu Liu, Xiao-Lin Xiang
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
Practical type checking of functions defined on Context-Free languages
Hai-Ming Chen, Yun-Mei Dong
A model for slicing JAVA programs hierarchically
Bi-Xin Li, Xiao-Cong Fan, Jun Pang, Jian-Jun Zhao
Measuring class cohesion based on dependence analysis
Zhen-Qiang Chen, Bao-Wen Xu, Yu-Ming Zhou
Extracting frequent connected subgraphs from large graph sets
Wei Wang, Qing-Qing Yuan, Hao-Feng Zhou, Ming-Sheng Hong, Bai-Le Shi
Efficient incremental maintenance of frequent patterns with FP-tree
Xiu-Li Ma, Yun-Hai Tong, Shi-Wei Tang, Dong-Qing Yang
Striping and scheduling for large scale multimedia servers
Kyung-Oh Lee, Jun-Ho Park, Yoon-Young Park
Integrated differentiated survivability in IP over WDM networks
Wei Wei, Qing-Ji Zeng
DRMR: Dynamic-ring-based multicast routing protocol for Ad hoc networks
Yuan Zhou, Guang-Sheng Li, Yong-Zhao Zhan, Qi-Rong Mao, Yi-Bin Hou
New approach to WLAN security with synchronized pseudo random
Qing-Hua Zheng, David L. Pepyne, Qing Wang
Semantic and structural analysis of TV diving programs
Fei Wang, Jin-Tao Li, Yong-Dong Zhang, Shou-Xun Lin
Memorizable interactive proof and zero-knowledge proof systems
Ning Chen, Jia-Wei Rong
Distributed oblivious function evaluation and its applications
Hong-Da Li, Xiong Yang, Deng-Guo Feng, Bao Li
A novel framework for IP DiffServ over optical burst switching networks
Ke-Ping Long, Yun Li, Rodney S. Tucker, Chong-Gang Wang
A new classification of path-delay fault testability in terms of stuck-at faults
Subhashis Majumder, Bhargab B. Bhattacharya, Vishwani D. Agrawal, Michael L. Bushnell
Fast evaluation of Bounded Slice-line Grid
Song Chen, Xian-Long Hong, She-Qin Dong, Yu-Chun Ma, Chung-Kuan Cheng, Jun Gu
Some results on the minimal coverings of precomplete classes in partialk-valued logic functions
Ren-Ren Liu, Song-Qiao Chen, Jian-Er Chen, Shu Li