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

2007年第18卷第7期目录

   
浏览其它刊期:  
  

本期目录

基于逻辑电路的Petri网化简方法
  叶剑虹,宋文,孙世新
  2007,18(7):1553-1562 [摘要(3277)]  [PDF 734.05 K (3535)]
  
支持术语公理约束的扩展模糊描述逻辑推理
  康达周,徐宝文,陆建江,李言辉
  2007,18(7):1563-1572 [摘要(3462)]  [PDF 479.43 K (2795)]
  
命题线性时序逻辑的对偶模型问题的复杂性
  吴志林,张文辉
  2007,18(7):1573-1581 [摘要(3159)]  [PDF 598.30 K (2623)]
  
特征模型驱动的Web Services组装方案及其工具支持
  邢岩,谷放,梅宏
  2007,18(7):1582-1591 [摘要(3023)]  [PDF 564.42 K (2952)]
  
基于序列模式的Servlet容器缓存替换
  李洋,张文博,魏峻,钟华,黄涛
  2007,18(7):1592-1602 [摘要(3556)]  [PDF 699.64 K (3325)]
  
基于动态反馈的标志位线性分析算法
  唐锋,武成岗,冯晓兵,张兆庆
  2007,18(7):1603-1611 [摘要(3335)]  [PDF 562.14 K (2832)]
  
基于MDA的TRISO-Model模型管理方法及应用
  袁峰,李明树
  2007,18(7):1612-1625 [摘要(3610)]  [PDF 758.25 K (3374)]
  
基于扩展状态任务网的制造供应链计划
  苏生,战德臣,徐晓飞
  2007,18(7):1626-1638 [摘要(2655)]  [PDF 971.52 K (3238)]
  
异构无线网络中垂直切换算法的评测与改进
  刘敏,李忠诚,过晓冰,张德魁
  2007,18(7):1652-1659 [摘要(3485)]  [PDF 535.17 K (4413)]
  
基于在线模型评估的动态Web系统性能保障
  张勇,黄涛,陈宁江,金蓓弘
  2007,18(7):1660-1671 [摘要(3282)]  [PDF 787.71 K (3293)]
  
与位置无关的无线传感器网络连通性覆盖协议
  毛莺池,冯国富,陈力军,陈道蓄
  2007,18(7):1672-1684 [摘要(3991)]  [PDF 862.84 K (3548)]
  
基于影响集的协作过滤推荐算法
  陈健,印鉴
  2007,18(7):1685-1694 [摘要(3704)]  [PDF 669.61 K (4281)]
  
面向卫星网络的TCP代理
  曾斌,李之棠,徐帆江
  2007,18(7):1695-1704 [摘要(3256)]  [PDF 671.08 K (3617)]
  
门户环境中基于语义数据协作应用集成方法
  宋靖宇,魏峻,万淑超
  2007,18(7):1705-1714 [摘要(2789)]  [PDF 529.10 K (3000)]
  
基于安全操作系统的电子证据获取与存储
  丁丽萍,周博文,王永吉
  2007,18(7):1715-1729 [摘要(3567)]  [PDF 762.96 K (3684)]
  
基于灰色系统理论的信誉报告机制
  徐兰芳,胡怀飞,桑子夏,徐凤鸣,邹德清
  2007,18(7):1730-1737 [摘要(3468)]  [PDF 538.32 K (3083)]
  
Dixon结式在密码学中的应用
  唐樨瑾,冯勇
  2007,18(7):1738-1745 [摘要(3288)]  [PDF 673.01 K (3011)]
  
一种改进的密码协议形式化模型
  张畅,王亚弟,韩继红,郭渊博
  2007,18(7):1746-1755 [摘要(3020)]  [PDF 824.71 K (3323)]
  
一种可并行的消息认证码
  王大印,林东岱,吴文玲
  2007,18(7):1756-1764 [摘要(3883)]  [PDF 505.24 K (2865)]
  
移动Ad Hoc网络中保证覆盖的准确计时可靠链路方法
  张治国,刘聪,张鹏
  2007,18(7):1765-1773 [摘要(2575)]  [PDF 536.53 K (2899)]
  
构造有限域上具有给定阶点的椭圆曲线
  王鲲鹏,李宝
  2007,18(7):1774-1777 [摘要(3434)]  [PDF 250.29 K (3318)]
  
DHT网络基于债务关系的公平文件交换
  于坤,吴国新,许立波,陈刚
  2007,18(7):1778-1785 [摘要(3340)]  [PDF 505.20 K (3060)]
  
大规模移动自主网络中基于簇的QoS多路径路由
  卢锡城,安辉耀,彭宇行,彭伟
  2007,18(7):1786-1798 [摘要(3125)]  [PDF 887.59 K (3160)]
  
椭圆曲线Tate对的压缩
  胡磊
  2007,18(7):1799-1805 [摘要(3438)]  [PDF 466.54 K (2963)]
  
龙芯2号同时多线程处理器的软硬件接口设计
  李祖松,许先超,胡伟武,唐志敏
  2007,18(7):1806-1817 [摘要(3234)]  [PDF 591.80 K (2967)]
  
基于NPV广义超立方体最佳容错路由算法
  田绍槐,陆应平,张大方
  2007,18(7):1818-1830 [摘要(3133)]  [PDF 1.35 M (2596)]
  
支持截止期敏感应用的数据流任务调度方法
  于戈,李晓静,杨晓春,欧征宇,邓庆绪
  2007,18(7):1831-1843 [摘要(3103)]  [PDF 527.59 K (2841)]
  
一种静态最少优先级分配算法
  邢建生,王永吉,刘军祥,曾海涛,NASRO Min-Allah
  2007,18(7):1844-1854 [摘要(2909)]  [PDF 734.26 K (3097)]
  

综述文章

基于特征选择的轻量级入侵检测系统
  陈友,程学旗,李洋,戴磊
  2007,18(7):1639-1651 [摘要(5776)]  [PDF 845.09 K (5628)]
  
 

京公网安备 11040202500064号

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