| |
2008年第19卷第10期目录
本期目录 | | | 描述逻辑εL混合循环术语集的LCS和MSC推理 | | | 蒋运承,王 驹,周生明,汤 庸 | | | 2008,19(10):2483-2497 | | | [摘要](5101) [PDF 746.78 K](6697) | | | 支持模糊隶属度比较的扩展模糊描述逻辑 | | | 康达周,徐宝文,陆建江,李言辉 | | | 2008,19(10):2498-2507 | | | [摘要](4532) [PDF 674.26 K](6276) | | | 传名调用演算的二值传递CPS变换 | | | 喻 钢,柳欣欣 | | | 2008,19(10):2508-2516 | | | [摘要](5289) [PDF 551.95 K](6535) | | | 面向复杂网络存储系统的元胞自动机动力学分析方法 | | | 陈进才,何 平,葛雄资 | | | 2008,19(10):2517-2526 | | | [摘要](5435) [PDF 2.81 M](5795) | | | 一种解决构件连接死锁问题的方法 | | | 毛斐巧,齐德昱,林伟伟 | | | 2008,19(10):2527-2538 | | | [摘要](4861) [PDF 750.41 K](7209) | | | 基于设计演算的形式化用例分析建模框架 | | | 陈 鑫,李宣东 | | | 2008,19(10):2539-2549 | | | [摘要](4660) [PDF 647.03 K](6599) | | | C代码API一致性检验中的等值分析 | | | 孟 策,贺也平,罗宇翔 | | | 2008,19(10):2550-2561 | | | [摘要](4649) [PDF 644.93 K](6863) | | | 基于FJ的多版本类动态更新演算 | | | 张 仕,黄林鹏 | | | 2008,19(10):2562-2572 | | | [摘要](4905) [PDF 566.02 K](6267) | | | 内存数据库在TPC-H负载下的处理器性能 | | | 刘大为,栾 华,王 珊,覃 飙 | | | 2008,19(10):2573-2584 | | | [摘要](5664) [PDF 933.63 K](7760) | | | 挖掘数据流任意滑动时间窗口内频繁模式 | | | 李国徽,陈 辉 | | | 2008,19(10):2585-2596 | | | [摘要](5315) [PDF 627.59 K](7501) | | | 可信关联规则及其基于极大团的挖掘算法 | | | 肖 波,徐前方,蔺志青,郭 军,李春光 | | | 2008,19(10):2597-2610 | | | [摘要](5811) [PDF 812.22 K](7501) | | | 基于权重查询词的XML结构查询扩展 | | | 万常选,鲁 远 | | | 2008,19(10):2611-2619 | | | [摘要](5266) [PDF 531.52 K](7046) | | | 一种考虑QoS数据可信性的服务选择方法 | | | 李 研,周明辉,李瑞超,曹东刚,梅 宏 | | | 2008,19(10):2620-2627 | | | [摘要](6712) [PDF 604.18 K](7857) | | | ServLoc:无线传感反应网络的安全位置服务机制 | | | 马建庆,钟亦平,张世永 | | | 2008,19(10):2628-2637 | | | [摘要](5260) [PDF 603.00 K](6792) | | | 基于网络编码的无线传感网多路径传输方法 | | | 李姗姗,廖湘科,朱培栋,肖 侬 | | | 2008,19(10):2638-2647 | | | [摘要](6036) [PDF 1001.49 K](9412) | | | 基于邻居信息交换的组播快速切换算法 | | | 张 晖,张宏科 | | | 2008,19(10):2648-2658 | | | [摘要](4952) [PDF 494.90 K](6080) | | | 对DES的Rectangle攻击和Boomerang攻击 | | | 张 蕾,吴文玲 | | | 2008,19(10):2659-2666 | | | [摘要](5319) [PDF 521.93 K](7089) | | | 一种支持海量跨媒体检索的集成索引结构 | | | 庄 毅,庄越挺,吴 飞 | | | 2008,19(10):2667-2680 | | | [摘要](5019) [PDF 905.37 K](6650) | | | 自适应笔式用户界面开发的概念框架 | | | 徐礼爽,周明骏,邓昌智,田 丰,刘媛媛,戴国忠 | | | 2008,19(10):2681-2693 | | | [摘要](5577) [PDF 683.02 K](6730) | | | 2007年中国计算机大会推荐优秀论文介绍 | | | 郑纬民 | | | 2008,19(10):2694-2695 | | | [摘要](4617) [PDF 289.71 K](6318) | | | 基于U-tree的不确定移动对象索引策略 | | | 丁晓锋,卢炎生,潘 鹏,洪 亮,魏 琼 | | | 2008,19(10):2696-2705 | | | [摘要](5501) [PDF 763.32 K](7496) | | | 一种构造代码安全性证明的方法 | | | 郭 宇,陈意云,林春晓 | | | 2008,19(10):2720-2727 | | | [摘要](5385) [PDF 562.82 K](6741) | | | 高性能的XML解析器OnceXMLParser | | | 金蓓弘,曹冬磊,任 鑫,余 双,戴蓓洁 | | | 2008,19(10):2728-2738 | | | [摘要](5404) [PDF 624.07 K](8338) | | | 基于ID的门限多重秘密共享方案 | | | 庞辽军,裴庆祺,焦李成,王育民 | | | 2008,19(10):2739-2745 | | | [摘要](4812) [PDF 468.23 K](6985) | | | 一种基于攻击图的入侵响应方法 | | | 石 进,郭山清,陆 音,谢 立 | | | 2008,19(10):2746-2753 | | | [摘要](5393) [PDF 536.24 K](6614) | | | 基于协商的跨社区访问的动态角色转换机制 | | | 付长胜,肖 侬,赵英杰,陈 涛 | | | 2008,19(10):2754-2761 | | | [摘要](4842) [PDF 529.59 K](6184) | | | 基于分组到达率的802.11 DCF性能分析 | | | 杨卫东,马建峰,李亚辉 | | | 2008,19(10):2762-2769 | | | [摘要](5538) [PDF 727.91 K](7109) | | | 基于Markov决策过程用交叉熵方法优化软件测试 | | | 张德平,聂长海,徐宝文 | | | 2008,19(10):2770-2779 | | | [摘要](5894) [PDF 610.09 K](7414) | | | 协作笔式用户界面开发工具研究 | | | 周明骏,徐礼爽,田 丰,戴国忠 | | | 2008,19(10):2780-2788 | | | [摘要](5396) [PDF 956.66 K](6783) | |
综述文章
|
