|
|
 |
| 软件学报 | | Journal of Software | | 主办： 中国科学院软件研究所 | | 周期： 月刊 | | 出版地：北京市 | | 语种： 中文 | | 开本： 16开 |
ISSN 1000-9825 | | CN 11-2560/TP | | 邮发代号 82-367 | | 创刊年：1990 | | 中国期刊方阵来源刊 | | 中国期刊网来源刊 | | 2004版核心期刊 | |
|
 |
 |
同类杂志推荐 |
|
 |
|
 |
|
 |
| 2000年02期 |
| 目 录 |
 | 用语言云模型发掘关联规则(英文)
Mining Association Rules with Linguistic Cloud Models | | 李德毅,邸凯昌,李德仁,史雪梅 | | 第 35届面向对象语言与系统技术国际会议 ( TOOLSAsia＇2 0 0 0 ) 暨第 4届中国面向对象技术及应用学术会议 ( OOT China＇2 0 0 0 )征 文 通 知 | | | | 自适应区间配置在关联规则并行采掘中的作用(英文)
Effect of Adaptive Interval Configuration on Parallel Mining Association Rules | | 胡侃,张伟荦,夏绍玮 | | Java编译程序技术与Java性能(英文)
Java Compiler Technology and Java Performance | | 冀振燕,程虎 | | 宽带IP路由器的体系结构分析
Analysis of Broadband IP Router Architecture | | 徐恪,熊勇强,吴建平 | | 用计算函数模型增强数据流分析
Enhancing Dataflow Analysis with Computation Function Model | | 胡世亮,臧斌宇,朱传琪 | | 第8届全国青年计算机工作者会议(NCYCS＇00)征文通知 | | | | 汉语最长名词短语的自动识别
Automatic Identification of Chinese Maximal Noun Phrases | | 周强,孙茂松,黄昌宁 | | 2000年演化计算国际研讨会通知 | | | | LOKI97的线性密码分析
Linear Cryptanalysis of LOKI97 | | 吴文玲,李宝,冯登国,卿斯汉 | | 2000年全国数据库学术会议征文通知 | | | | 基于协议集成测试系统的IPv4协议一致性测试
Conformance Testing on Internet IP v4 Based on Protocol Integrated Test System | | 王建国,吴建平,陈修环,冯晓东 | | 安全协议的验证逻辑
The Verification Logic for Secure Protocols | | 白硕,隋立颖,陈庆锋,付岩,庄超 | | 异构数据源集成系统查询分解和优化的实现
Query Decomposition and Optimization in Heterogeneous Data Integration System | | 王宁,王能斌 | | 一类并发实时系统的自动验证
Automatic Verification of a Class of Concurrent Real-Time Systems | | 赵建华,郑国梁,Dan Van Hung | | 基于故障敏感图的回卷算法和故障恢复
Rollback Algorithm and Crash Recovery Based on Fault-Sensitive Graphs | | 柳颖,陈道蓄,谢立,曹建农 | | 电子商务安全协议及其非单调动态逻辑验证
The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic | | 陈庆锋,白硕,王驹,张师超,隋立颖 | | 一种被用于网络管理的性能分析模型和实现
A Performance Analysis Model and Its Implementation for Network Management | | 李木金,王光兴 | | k-着色问题及其均场退火求解算法
A Mean Field Annealing-Based Algorithm for k-Colorable Problem | | 胡卫明,徐俊华,何志均 | | 近乎最佳的Manhattan型Steiner树近似算法
A Near-Optimal Approximation Algorithm for Manhattan Steiner Tree | | 马军,杨波,马绍汉 | | 2000年中国计算机学会体系结构学术年会征文通知 | | | | 空间查询和路径搜索的集成处理策略
Integrated Processing Strategies for Spatial Query and Path Search | | 吴京,景宁,陈荦 | | 基于三音子模型的语料自动选择算法
Automatic Corpus Selecting Algorithm Based on Triphone Models | | 吴华,徐波,黄泰翼 | | 第7届中国机器学习学术会议(CMLW＇2000)征文通知 | | | | 文本规划中焦点移动控制算法的研究
Research on the Shift Controlling Algorithm of Global and Immediate Focuses in Text Planning | | 姚天昉,汤学彦 |
 |
往期检索 |
 |
共194期 |
|