Volume 4, Number 1, March 2010
- Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia:
Recent advances in program verification through computer algebra.
1-16

- Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi:
Static worst-case execution time analysis of the µC/OS-II real-time kernel.
17-27

- Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu:
A semantic model of confinement and Locality theorem.
28-46

- Yuzhong Sun, Haifeng Fang, Ying Song, Lei Du, Kai Zhang, Hongyong Zang, Yaqiong Li, Yajun Yang, Ran Ao, Yongbing Huang:
TRainbow: a new trusted virtual machine based platform.
47-64

- Ming Fu, Yu Zhang, Yong Li:
Formal verification of concurrent programs with read-write locks.
65-77

- Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu, Chunxiang Xu:
A new model for model checking: cycle-weighted Kripke structure.
78-88

- Chaofeng Sha, Jian Gong, Aoying Zhou:
Mining non-redundant diverse patterns: an information theoretic perspective.
89-99

- Feng Wang, Jie Tang, Juanzi Li, Kehong Wang:
A constraint-based topic modeling approach for name disambiguation.
100-111

- Xuesong Feng, Junyi Zhang, Akimasa Fujiwara, Yoshitsugu Hayashi, Hirokazu Kato:
Improved feedback modeling of transport in enlarging urban areas of developing countries.
112-122

- Qiyuan Zhang, Xuehai Zhou:
Efficient distributed location verification in wireless sensor networks.
123-134

- Zheng Liu, Heng Dai, Farouk Y. M. Alkadhi, Jufeng Dai:
An effective scheduling scheme for multi-hop multicast in wireless mesh networks.
135-142

- Xin Li, Zhe Li:
A MANET accessing Internet routing algorithm based on dynamic gateway adaptive selection.
143-150

Volume 4, Number 2, June 2010
- Zhiying Liu, David Lorge Parnas, Baltasar Trancón-y-Widemann:
Documenting and verifying systems assembled from components.
151-161

- Ying Jin, Jing Zhang, Weiping Hao, Pengfei Ma, Yan Zhang, Haiyan Zhao, Hong Mei:
A concern-based approach to generating formal requirements specifications.
162-172

- Mircea Marin, Temur Kutsia:
On the computation of quotients and factors of regular languages.
173-184

- Shuo Bai, Shouyang Wang, Lean Yu, Aoying Zhou:
Financial information processing and development of emerging financial markets.
185-186

- Wai-Ki Ching, Ho-Yin Leung, Zhenyu Wu, Hao Jiang:
Modeling default risk via a hidden Markov model of multiple sequences.
187-195

- Lean Yu, Shouyang Wang, Kin Keung Lai:
Developing an SVM-based ensemble learning system for customer risk identification collaborating with customer relationship management.
196-203

- Niannian Jia, Changqing Jia, Wei Qiu:
A class of life insurance reserve model and risk analysis in a stochastic interest rate environment.
204-211

- Rui Liang, Yueshan Yu, Jinwu Gao, Zhi-Qiang Liu:
N-person credibilistic strategic game.
212-219

- Ling Zhang, Edward I. Altman, Jerome Yen:
Corporate financial distress diagnosis model and application in credit rating for listing firms in China.
220-236

- Xiujuan Zhao, Jianmin Shi:
Evaluation of mutual funds using multi-dimensional information.
237-253

- Dabin Zhang, Lean Yu, Shouyang Wang, Haibin Xie:
Neural network methods for forecasting turning points in economic time series: an asymmetric verification to business cycles.
254-262

- Guoxing Zhang, Ju'e Guo, Guorong Chai, Li Gong, Xuejun Wang:
Using jump-diffusion modeling for valuing real options in infrastructure projects.
263-270

- Zaigui Yang:
Partially funded public pension, human capital and endogenous growth.
271-279

- Ali Daud, Juanzi Li, Lizhu Zhou, Faqir Muhammad:
Knowledge discovery through directed probabilistic topic models: a survey.
280-301

- Xixiang Lv, Hui Li:
ID-based authenticated group key agreement from bilinear maps.
302-307

Volume 4, Number 3, September 2010
- Lionel M. Ni, Zhang Xiong:
Cognitive sense of China.
309-310

- Feng W. Zhu, Matt W. Mutka, Anish Bivalkar, Abdullah Demir, Yue Lu, Chockalingam Chidambarm:
Toward secure and private service discovery anywhere anytime.
311-323

- Qiang Yang:
Three challenges in data mining.
324-333

- Yunhao Liu, Guomo Zhou, Jizhong Zhao, Guojun Dai, Xiang-Yang Li, Ming Gu, Huadong Ma, Lufeng Mo, Yuan He, Jiliang Wang:
Long-term large-scale sensing in the forest: recent advances and future directions of GreenOrbs.
334-338

- Jiannong Cao, Hejun Wu, Xuefeng Liu, Yi Lai:
iSensNet: an infrastructure for research and development in wireless sensor networks.
339-353

- An Lu, Wenbin Fang, Chang Xu, Shing-Chi Cheung, Yu Liu:
Data-driven testing methodology for RFID systems.
354-364

- Ye Li, Honggang Li, Yuwei Zhang, Dengyu Qiao:
Packet transmission policies for battery operated wireless sensor networks.
365-375

- Lei Chen, Mitchell Tseng, Xiang Lian:
Development of foundation models for Internet of Things.
376-385

- Zhenyong Chen, Wei Fan, Zhang Xiong, Pingan Zhang, Lixin Luo:
Visual data security and management for smart cities.
386-393

- Biao Leng, Zhang Xiong, Xiangwei Fu:
A 3D shape retrieval framework for 3D smart cities.
394-404

- Ming C. Lin, Dinesh Manocha:
Virtual cityscapes: recent advances in crowd modeling and traffic simulation.
405-416

- Weifeng Lv, Bowen Du, Dianfu Ma, Tongyu Zhu, Chen Wang:
Applied research of data sensing and service to ubiquitous intelligent transportation system.
417-426

Volume 4, Number 4, December 2010
- Guoliang Chen:
Petaflop supercomputers of China.
427

- Xianghui Xie, Xing Fang, Sutai Hu, Dong Wu:
Evolution of supercomputers.
428-436

- Yunquan Zhang, Jiachang Sun, Guoxing Yuan, Linbo Zhang:
Perspectives of China's HPC system development: a view from the 2009 China HPC TOP100 list.
437-444

- Xuejun Yang, Xiangke Liao, Weixia Xu, Junqiang Song, Qingfeng Hu, Jinshu Su, Liquan Xiao, Kai Lu, Qiang Dou, Juping Jiang, Canqun Yang:
TH-1: China's first petaflop supercomputer.
445-455

- Fei Chen, Zheng Cao, Kai Wang, Xuejun An, Ninghui Sun:
HPP controller: a system controller for high performance computing.
456-465

- Qiang Li, Bo Li, Zhigang Huo, Ninghui Sun:
Design and implementation of communication system of the Dawning 6000 supercomputer.
466-474

- Mingfa Zhu, Limin Xiao, Li Ruan, Qinfen Hao:
DeepComp: towards a balanced system design for high performance computer systems.
475-479

- Zeyao Mo, Aiqing Zhang, Xiaolin Cao, Qingkai Liu, Xiaowen Xu, Hengbin An, Wenbing Pei, Shaoping Zhu:
JASMIN: a parallel software infrastructure for scientific computing.
480-488

- Jianxi Fan, Kenli Li, Shukui Zhang, Wujun Zhou, Baolei Cheng:
One-to-one communication in twisted cubes under restricted connectivity.
489-499

- Ye Tian, Bangchuan Liu, Zhenhua He:
PopCap: popularity oriented proxy caching for peer-assisted Internet video-on-demand streaming services.
500-515

- Jiqiang Liu, Xun Chen, Zhen Han:
Full and partial deniability for authentication schemes.
516-521

- Xinguang Tian, Xueqi Cheng, Miyi Duan, Rui Liao, Hong Chen, Xiaojuan Chen:
Network intrusion detection based on system calls and data mining.
522-528

- Zhixiong Chen, Xiaoni Du:
Linear complexity and autocorrelation values of a polyphase generalized cyclotomic sequence of length pq.
529-535

- Ruochen Liu, Licheng Jiao, Yangyang Li, Jing Liu:
An immune memory clonal algorithm for numerical and combinatorial optimization.
536-559

- Yong Feng, Zhongfu Wu, Jiang Zhong, Chunxiao Ye, Kaigui Wu:
An enhanced swarm intelligence clustering-based RBFNN classifier and its application in deep Web sources classification.
560-570

- Zhipin Deng, Kebin Jia, Yui-Lam Chan, Chang-Hong Fu, Wan-Chi Siu:
Fast motion and disparity estimation for multiview video coding.
571-579

- Jiangtao Wang, Debao Chen, Jingyu Yang:
Human behavior classification by analyzing periodic motions.
580-588

Last update Wed May 22 17:35:34 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page