1. A graphical μ-calculus and local model checking

   • Lin Huimin

   Regular Papers Pages: 665 - 671

2. Aqueous computing: A survey with an invitation to participate

   • Tom Head
   • Xia Chen
   • Susannah Gal

   Regular Papers Pages: 672 - 681

3. Structure of weakly invertible semi-input-memory finite automata with delay 2

   • Tao Renji
   • Chen Shihua

   Regular Papers Pages: 682 - 688

4. Checking Temporal Duration Properties of timed automata

   • Li Yong
   • Dang Hung

   Regular Papers Pages: 689 - 698

5. An optimum placement search algorithm based on extended Corner Block List

   • Dong Sheqin
   • Zhou Shuo
   • Cai Yici

   Regular Papers Pages: 699 - 707

6. Automatic generation of interprocedural data-flow analyzers and optimizers

   • Lian Ruiqi
   • Zhang Zhaoqing
   • Qiao Ruliang

   Regular Papers Pages: 708 - 717

7. Lower bound estimation of hardware resources for scheduling in high-level synthesis

   • Shen Zhaoxuan
   • Jong Ching Chuen

   Regular Papers Pages: 718 - 730

8. BIST design for detecting multiple stuck-open faults in CMOS circuits using transition count

   • Hafizur Rahaman
   • Debesh K. Das
   • Bhargab B. Bhattacharya

   Regular Papers Pages: 731 - 737

9. SPMH: A solution to the Problem of Malicious Hosts

   • Zhou Chong
   • Sun Yongqiang

   Regular Papers Pages: 738 - 748

10. Multiparty authentication services and key agreement protocols with semi-trusted third party

    • Zheng Dong
    • Chen Kefei
    • You Jinyuan

    Regular Papers Pages: 749 - 756

11. A model-based approach to object-oriented software metrics

    • Mei Hong
    • Xie Tao
    • Yang Fuqing

    Correspondence Pages: 757 - 769

12. Behavior relativity of Petri nets

    • Jiang Changjun
    • Wang Huaiqing
    • Liao Shaoyi

    Correspondence Pages: 770 - 780

13. Semi-online scheduling with machine cost

    • He Yong
    • Cai Shengyi

    Correspondence Pages: 781 - 787

14. Distributing and scheduling divisible task on parallel communicating processors

    • Li Guodong
    • Zhang Defu

    Correspondence Pages: 788 - 796

15. Variables bounding based retiming algorithm

    • Lu Zongwei
    • Lin Zhenghui
    • Chen Houpeng

    Correspondence Pages: 797 - 806

16. Clustering DTDs: An interactive two-level approach

    • Zhou Aoying
    • Qian Weining
    • Jin Wen

    Correspondence Pages: 807 - 819

17. Efficient non-repudiation multicast source authentication schemes

    • Li Xianxian
    • Huai Jinpeng

    Correspondence Pages: 820 - 829

18. Fair electronic cash based on double signatures

    • Chen Xiaofeng
    • Wang Changjie
    • Wang Yumin

    Correspondence Pages: 830 - 835

19. Selection of secure hyperelliptic curves ofg=2 based on a subfield

    • Zhang Fangguo
    • Zhang Futai
    • Wang Yumin

    Correspondence Pages: 836 - 842

20. A tracing algorithm for surface-surface intersections on surface boundaries

    • Kyu-Yeul Lee
    • Doo-Yeoun Cho
    • Tae-Wan Kim

    Correspondence Pages: 843 - 850

21. Physics-based Loop surface modeling

    • Qin Kaihuai
    • Chang Zhengyi
    • Li Denggao

    Correspondence Pages: 851 - 858

22. Head tracking using shapes and adaptive color histograms

    • Liu Qingshan
    • Ma Songde
    • Lu Hanqing

    Correspondence Pages: 859 - 864

23. An image retrieval method using DCT features

    • Fan Yun
    • Wang Runsheng

    Correspondence Pages: 865 - 873

24. Optimistic voting for managing replicated data

    • Lin Huaizhong
    • Chen Chun

    Correspondence Pages: 874 - 881

25. Automatic mesh generation on a regular background grid

    • Lo S. H.
    • Liu Jianfei

    Correspondence Pages: 882 - 887

26. Coordinating mobile agents by the XML-based tuple space

    • Lu Zhengding
    • Li Chunlin
    • Li Layuan

    Correspondence Pages: 888 - 900

27. A personalized information dissemination system based on how-net

    • Zhang Lei
    • Du Xiaoyong
    • Wang Shan

    Correspondence Pages: 901 - 907

28. Internet Network Resource Information Model

    • Chen Chuanfeng
    • Li Zengzhi
    • Liu Kangping

    Correspondence Pages: 908 - 914

29. Combining trigram and automatic weight distribution in Chinese spelling error correction

    • Li Jianhua
    • Wang Xiaolong

    Correspondence Pages: 915 - 923

30. Spontaneous speech parsing in travel information inquiring and booking systems

    • Yan Pengju
    • Zheng Fang
    • Xu Mingxing

    Correspondence Pages: 924 - 932

31. Semantic computation in a Chinese Question-Answering system

    • Li Sujian
    • Zhang Jian
    • Liu Qun

    Correspondence Pages: 933 - 939