Issue 1/2010
Content (12 Articles)
Review Article
Recent advances in program verification through computer algebra
Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia
Research Article
Static worst-case execution time analysis of the μC/OS-II real-time kernel
Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Yi Wang
Research Article
A semantic model of confinement and Locality theorem
Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu
Research Article
TRainbow: a new trusted virtual machine based platform
Yuzhong Sun, Haifeng Fang, Ying Song, Lei Du, Kai Zhang, Hongyong Zang, Yaqiong Li, Yajun Yang, Ran Ao, Yongbing Huang, Yunwei Gao
Research Article
Formal verification of concurrent programs with read-write locks
Ming Fu, Yu Zhang, Yong Li
Research Article
A new model for model checking: cycle-weighted Kripke structure
Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu, Chunxiang Xu
Research Article
Mining non-redundant diverse patterns: an information theoretic perspective
Chaofeng Sha, Jian Gong, Aoying Zhou
Research Article
A constraint-based topic modeling approach for name disambiguation
Feng Wang, Jie Tang, Juanzi Li, Kehong Wang
Research Article
Improved feedback modeling of transport in enlarging urban areas of developing countries
Xuesong Feng, Junyi Zhang, Akimasa Fujiwara, Yoshitsugu Hayashi, Hirokazu Kato
Research Article
Efficient distributed location verification in wireless sensor networks
Qiyuan Zhang, Xuehai Zhou
Review Article
An effective scheduling scheme for multi-hop multicast in wireless mesh networks
Zheng Liu, Heng Dai, Farouk Alkadhi, Jufeng Dai
Research Article
A MANET accessing Internet routing algorithm based on dynamic gateway adaptive selection
Xin Li, Zhe Li