2014年第25卷第11期目录

   
浏览其它刊期:  
  

本期目录

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