2014年第25卷第11期目录

   
浏览其它刊期:  
  

本期目录

带Mismatch算子的高阶π演算
  徐贤
  2014,25(11):2433-2451 [摘要(2809)]  [PDF 1.06 M (5127)]
  
使用事件自动机规约的C语言有界模型检测
  阚双龙,黄志球,陈哲,徐丙凤
  2014,25(11):2452-2472 [摘要(3460)]  [PDF 1.14 M (5183)]
  
一种综合考虑主客观权重的Web服务QoS度量算法
  马友,王尚广,孙其博,杨放春
  2014,25(11):2473-2485 [摘要(3689)]  [PDF 831.32 K (6269)]
  
基于指向更新的优先权指针分析算法
  刘鹏,赵荣彩,庞建民,姚远
  2014,25(11):2486-2498 [摘要(2826)]  [PDF 856.52 K (5164)]
  
面向细粒度源代码变更的缺陷预测方法
  原子,于莉莉,刘超
  2014,25(11):2499-2517 [摘要(3813)]  [PDF 1.93 M (5680)]
  
双极信息的聚合与分解
  王国俊,段景瑶
  2014,25(11):2518-2527 [摘要(2606)]  [PDF 650.48 K (4815)]
  
平行推理机制:一种隐式篇章关系检测方法
  洪宇,严为绒,车婷婷,梁颖红,姚建民,朱巧明,周国栋
  2014,25(11):2528-2555 [摘要(3044)]  [PDF 1.53 M (5411)]
  
一种基于移动用户位置的网络服务推荐方法
  刘树栋,孟祥武
  2014,25(11):2556-2574 [摘要(4079)]  [PDF 1.12 M (7185)]
  
一种闪存敏感的多级缓存管理方法
  王江涛,赖文豫,孟小峰
  2014,25(11):2575-2586 [摘要(2942)]  [PDF 820.94 K (5760)]
  
时态拟序数据结构研究及应用
  叶小平,汤庸,林衍崇,陈钊滢,张智博
  2014,25(11):2587-2601 [摘要(3405)]  [PDF 991.15 K (5206)]
  
信息网络中一个有效的基于链接的结点相似度度量
  张应龙,李翠平,陈红
  2014,25(11):2602-2615 [摘要(3198)]  [PDF 855.51 K (5787)]
  
一种采用混合切分法的报文分类算法
  韩伟涛,伊鹏,张霞
  2014,25(11):2616-2626 [摘要(3058)]  [PDF 764.76 K (4737)]
  
传感网中的四锚点节点定位实解个数分析
  姬靖,刘桂雄,郁文生
  2014,25(11):2627-2635 [摘要(2666)]  [PDF 658.68 K (6865)]
  
一种基于支持向量回归的802.11无线室内定位方法
  石柯,陈洪生,张仁同
  2014,25(11):2636-2651 [摘要(3189)]  [PDF 1.53 M (5096)]
  
基于仿生模式识别的未知推荐攻击检测
  周全强,张付志,刘文远
  2014,25(11):2652-2665 [摘要(2958)]  [PDF 904.70 K (5294)]
  
动态时延的非均匀Ad Hoc网络MAC设计和分析
  魏小龙,李建海,徐浩军,杨海东
  2014,25(11):2666-2674 [摘要(3272)]  [PDF 814.24 K (5382)]
  
基于粗糙集与差分免疫模糊聚类算法的图像分割
  马文萍,黄媛媛,李豪,李晓婷,焦李成
  2014,25(11):2675-2689 [摘要(3346)]  [PDF 1.68 M (5582)]
  
计算资源受限的视频编码多模式决策
  陆寄远,侯昉,黄承慧,刘宇熹,朝红阳
  2014,25(11):2690-2701 [摘要(3600)]  [PDF 1.10 M (5408)]
  
一种基于隐马尔可夫模型的虚拟机失效恢复方法
  张建华,张文博,徐继伟,魏峻,钟华,黄涛
  2014,25(11):2702-2714 [摘要(3043)]  [PDF 919.98 K (5412)]
  
一种基于算子的可扩展复杂事件处理模型
  孟由,栾钟治,谢明,钱德沛
  2014,25(11):2715-2730 [摘要(2885)]  [PDF 1.30 M (5136)]