主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2019-2020年专刊出版计划 微信服务介绍 最新一期:2019年第3期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2008年第19卷第1期目录

   
浏览其它刊期:  
  

本期目录

量子程序设计语言NDQJava
  徐家福,宋方敏,钱士钧,戴静安,张云洁
  2008,19(1):1-8 [摘要(5403)]  [PDF 419.28 K (4591)]
  
量子程序设计语言NDQJava处理系统
  钱士钧,戴静安,张云洁,徐家福
  2008,19(1):9-16 [摘要(3913)]  [PDF 411.41 K (3260)]
  
变量极小不可满足在模型检测中的应用
  陈振宇,陶志红,KLEINE BüNING Hans,王立福
  2008,19(1):39-47 [摘要(3224)]  [PDF 424.62 K (3047)]
  
基于层次划分的最佳聚类数确定方法
  陈黎飞,姜青山,王声瑞
  2008,19(1):62-72 [摘要(4895)]  [PDF 633.53 K (5944)]
  
一种从不完备关系数据中学习PRM的方法
  李小琳,周志华
  2008,19(1):73-81 [摘要(3573)]  [PDF 920.43 K (3630)]
  
基于区分类别能力的高性能特征选择方法
  徐 燕,李锦涛,王 斌,孙春明
  2008,19(1):82-89 [摘要(4717)]  [PDF 442.59 K (7361)]
  
无线传感器网络中自适应数据存取
  蔚赵春,周水庚,肖 斌
  2008,19(1):103-115 [摘要(4277)]  [PDF 839.94 K (3831)]
  
无线网状网基于不确定性度量极小化信任模型
  丁旭阳,范明钰,朱大勇,王佳昊
  2008,19(1):116-124 [摘要(3628)]  [PDF 425.17 K (3516)]
  
高带宽延时网络中一种协同式拥塞控制协议
  王建新,龚 皓,陈建二
  2008,19(1):125-135 [摘要(4529)]  [PDF 567.53 K (3821)]
  
分布式信息检索中文档集合划分问题的评价
  张 刚,谭建龙
  2008,19(1):136-143 [摘要(3147)]  [PDF 429.30 K (3274)]
  
基于博弈论的域间组播计费模型
  赵金晶,朱培栋,卢锡城
  2008,19(1):144-155 [摘要(4031)]  [PDF 787.05 K (3250)]
  
一种用于无线网络中实时业务的跨层调度算法
  郝丹丹,邹仕洪,程时端
  2008,19(1):156-166 [摘要(3463)]  [PDF 766.23 K (3679)]
  
SE-BGP:一种BGP安全机制
  胡湘江,朱培栋
  2008,19(1):167-176 [摘要(3921)]  [PDF 493.80 K (3478)]
  

综述文章

基于抽象解释理论的程序验证技术
  李梦君,李舟军,陈火旺
  2008,19(1):17-26 [摘要(8199)]  [PDF 521.14 K (6460)]
  
谓词抽象技术研究
  屈婉霞,李 暾,郭 阳,杨晓东
  2008,19(1):27-38 [摘要(5459)]  [PDF 583.01 K (5128)]
  
聚类算法研究
  孙吉贵,刘 杰,赵连宇
  2008,19(1):48-61 [摘要(19429)]  [PDF 671.39 K (47137)]
  
超三代移动通信系统的QoS体系结构
  林 闯,曾荣飞,雷 蕾,肖圳莎
  2008,19(1):90-102 [摘要(5805)]  [PDF 964.58 K (4969)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利