2011年第22卷第1期目录
一种形式化的组件化软件过程建模方法翟健,杨秋松,肖俊超,李明树2011,22(1):1-16 [摘要(9587)] [PDF(9710)809.46 K][HTML()]一种支持软件可信演化的构件模型丁博,王怀民,史殿习,李骁2011,22(1):17-27 [摘要(7748)] [PDF(10952)1.21 M][HTML()]利用规划命题关系图构建目标议程和宏动作蒋志华,饶东宁,姜云飞,朱慧泉2011,22(1):44-56 [摘要(6312)] [PDF(5948)667.91 K][HTML()]一组提高存储效率的深度包检测算法于强,霍红卫2011,22(1):149-163 [摘要(6057)] [PDF(7714)1.17 M][HTML()]面向分层移动IPv6 网络的动态指针推进机制杨怡,董永强2011,22(1):164-176 [摘要(6008)] [PDF(5776)655.36 K][HTML()]
半监督降维方法的实验比较陈诗国,张道强2011,22(1):28-43 [摘要(9501)] [PDF(14960)825.89 K][HTML()]云计算安全研究冯登国,张敏,张妍,徐震2011,22(1):71-83 [摘要(29830)] [PDF(54964)781.42 K][HTML()]互联网域间路由可扩展性张威,毕军,吴建平2011,22(1):84-100 [摘要(8755)] [PDF(9686)840.81 K][HTML()]无线网络协作MAC 机制李云,杜杨,曹傧,尤肖虎2011,22(1):101-114 [摘要(10797)] [PDF(10233)787.24 K][HTML()]Internet 流量模型分析与评述张宾,杨家海,吴建平2011,22(1):115-131 [摘要(13635)] [PDF(28200)845.91 K][HTML()]网络程序设计中的并发复杂性李慧霸,田甜,彭宇行,李东升,卢锡城2011,22(1):132-148 [摘要(9517)] [PDF(16469)852.82 K][HTML()]
基于派生谓词的STRIPS 领域知识提取策略边芮,姜云飞,吴向军,梁瑞仕2011,22(1):57-70 [摘要(6224)] [PDF(6366)675.87 K][HTML()]