• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search

Formal Verification Techniques in Workflow Process Modeling
Zhou Jiantao, Shi Meilin, Ye Xinming
2005, 42(1): 1-9.
Abstract PDF
VAR-Tree—A New High-Dimensional Data Index Structure
Dong Daoguo, Liang Liuhong, and Xue Xiangyang
2005, 42(1): 10-17.
Abstract PDF
A Concurrency Control Protocol for Scheduling Mixed Real-Time Transactions
Wang Qiang, Wang Hongan, Jin Hong, Fu Yong, and Dai Guozhong
2005, 42(1): 18-29.
Abstract PDF
DTD-Based XML Indexing
Lu Yan, Zhang Liang, Duan Qiyang, Shi Baile
2005, 42(1): 30-37.
Abstract PDF
LDPChecker—A Model Checking Tool for Real-Time and Hybrid System
Pei Yu, Li Xuandong, and Zheng Guoliang
2005, 42(1): 38-46.
Abstract PDF
A Weight Adjustment Technique with Feature Weight Function Named TEF-WA in Text Categorization
Tang Huanling, Sun Jiantao, Lu Yuchang
2005, 42(1): 47-53.
Abstract PDF
Belief Characteristic's Research of BDI Model
Liu Yong, Pu Shuzhen, Cheng Daijie, Cao Zehan
2005, 42(1): 54-59.
Abstract PDF
Improvement of Local Research in SAT Problem
Yang Jinji, Su Kaile
2005, 42(1): 60-65.
Abstract PDF
Identification of Taste Signals of Tea Based on Minimal Uncertainty Neural Networks
Wang Yan, Zhou Chunguang, Huang Yanxin, and Feng Xiaoyue
2005, 42(1): 66-71.
Abstract PDF
Data Mining Based on Segmented Time Warping Distance in Time Series Database
Xiao Hui and Hi Yunfa
2005, 42(1): 72-78.
Abstract PDF
An Improved Model for Adaptive Text Information Filtering
Ma Liang, Chen Qunxiu, and Cai Lianhong
2005, 42(1): 79-84.
Abstract PDF
A Simple and Efficient Algorithm to Classify a Large Scale of Texts
Wang Jianhui, Wang Hongwei, Shen Zhan, Hu Yunfa
2005, 42(1): 85-93.
Abstract PDF
Using Maximum Entropy Model for Chinese Text Categorization
Li Ronglu, Wang Jianhui, Chen Xiaoyun, Tao Xiaopeng, and Hu Yunfa
2005, 42(1): 94-101.
Abstract PDF
Transport Mechanism Applied to Computer Network Protocol Conformance Testing
Zhang Yujun, Li Zhongcheng, Zheng Hongxia, Tian Ye, and Sun Jingbo
2005, 42(1): 102-108.
Abstract PDF
A Peer-to-Peer DHT Algorithm Based on Small-World Network
Zhou Jin and Li Yanda
2005, 42(1): 109-117.
Abstract PDF
A Fast and Effective Static Task Scheduling Algorithm in Homogeneous Computing Environments
Li Qinghua, Han Jianjun, Abbas A. Essa
2005, 42(1): 118-125.
Abstract PDF
The Model and Adaptive Configuration Management Strategy for a Distributed Database Server System
Tian Junfeng, Liu Yuling, Du Ruizhong
2005, 42(1): 126-133.
Abstract PDF
Genetic Algorithm-Based Least Square Fitting of B-Spline and Bézier Curves
Zhou Minghua, Wang Guozhao
2005, 42(1): 134-143.
Abstract PDF
Recognition and Understanding of Architectural Drawings: Model and Algorithm
Lu Tong, Xi Xiaopeng, Rui Ming, Cai Shijie, and Dou Wanchun
2005, 42(1): 144-152.
Abstract PDF
Design-for-Testability and Test Technologies for System-on-a-Chip
Hu Yu, Han Yinhe, Li Xiaowei
2005, 42(1): 153-162.
Abstract PDF
Overview of Wireless Sensor Networks
Cui Li, Ju Hailing, Miao Yong, Li Tianpu, Liu Wei, Zhao Ze
2005, 42(1): 163-174.
Abstract PDF
Email Alert RSS
微信订阅号<br/>（实时资讯）

微信订阅号
（实时资讯）

微信服务号<br/>（同步网站）

微信服务号
（同步网站）

微信视频号<br/>（视频分享）

微信视频号
（视频分享）

CCF<br/>（扫码入会）

CCF
（扫码入会）

Copyright © Editorial Department of Computer Research and Development

Supported by: Beijing Renhe Information Technology Co., Ltd.  Baidu Analytics