1. Recent advances in program verification through computer algebra

   • Lu Yang
   • Chaochen Zhou
   • Bican Xia

   Review Article 05 February 2010 Pages: 1 - 16

2. Static worst-case execution time analysis of the μC/OS-II real-time kernel

   • Mingsong Lv
   • Nan Guan
   • Yi Wang

   Research Article 16 February 2010 Pages: 17 - 27

3. A semantic model of confinement and Locality theorem

   • Shuling Wang
   • Qin Shu
   • Zongyan Qiu

   Research Article 05 February 2010 Pages: 28 - 46

4. TRainbow: a new trusted virtual machine based platform

   • Yuzhong Sun
   • Haifeng Fang
   • Yunwei Gao

   Research Article 01 February 2010 Pages: 47 - 64

5. Formal verification of concurrent programs with read-write locks

   • Ming Fu
   • Yu Zhang
   • Yong Li

   Research Article 25 January 2010 Pages: 65 - 77

6. A new model for model checking: cycle-weighted Kripke structure

   • Jiaqi Zhu
   • Hanpin Wang
   • Chunxiang Xu

   Research Article 13 January 2010 Pages: 78 - 88

7. Mining non-redundant diverse patterns: an information theoretic perspective

   • Chaofeng Sha
   • Jian Gong
   • Aoying Zhou

   Research Article 25 January 2010 Pages: 89 - 99

8. A constraint-based topic modeling approach for name disambiguation

   • Feng Wang
   • Jie Tang
   • Kehong Wang

   Research Article 16 February 2010 Pages: 100 - 111

9. Improved feedback modeling of transport in enlarging urban areas of developing countries

   • Xuesong Feng
   • Junyi Zhang
   • Hirokazu Kato

   Research Article 28 January 2010 Pages: 112 - 122

10. Efficient distributed location verification in wireless sensor networks

    • Qiyuan Zhang
    • Xuehai Zhou

    Research Article 28 January 2010 Pages: 123 - 134

11. An effective scheduling scheme for multi-hop multicast in wireless mesh networks

    • Zheng Liu
    • Heng Dai
    • Jufeng Dai

    Review Article 27 January 2010 Pages: 135 - 142

12. A MANET accessing Internet routing algorithm based on dynamic gateway adaptive selection

    • Xin Li
    • Zhe Li

    Research Article 12 December 2009 Pages: 143 - 150