软件学报
来源:本站原创 更新:2016/8/30 字体:
大 小
描述逻辑εL混合循环术语集的LCS和MSC推理
蒋运承;王驹;周生明;汤庸;支持模糊隶属度比较的扩展模糊描述逻辑
康达周;徐宝文;陆建江;李言辉;跨平台C/C++解释计算平台(Ch)及其应用研讨会通知
传名调用演算的二值传递CPS变换
喻钢;柳欣欣;面向复杂网络存储系统的元胞自动机动力学分析方法
陈进才;何平;葛雄资;一种解决构件连接死锁问题的方法
毛斐巧;齐德昱;林伟伟;基于设计演算的形式化用例分析建模框架
陈鑫;李宣东;C代码API一致性检验中的等值分析
孟策;贺也平;罗宇翔;基于FJ的多版本类动态更新演算
张仕;黄林鹏;内存数据库在TPC-H负载下的处理器性能
刘大为;栾华;王珊;覃飙;挖掘数据流任意滑动时间窗口内频繁模式
李国徽;陈辉;可信关联规则及其基于极大团的挖掘算法
肖波;徐前方;蔺志青;郭军;李春光;基于权重查询词的XML结构查询扩展
万常选;鲁远;一种考虑QoS数据可信性的服务选择方法
李研;周明辉;李瑞超;曹东刚;梅宏;ServLoc:无线传感反应网络的安全位置服务机制
马建庆;钟亦平;张世永;基于网络编码的无线传感网多路径传输方法
李姗姗;廖湘科;朱培栋;肖侬;基于邻居信息交换的组播快速切换算法
张晖;张宏科;对DES的Rectangle攻击和Boomerang攻击
张蕾;吴文玲;敬告作者
一种支持海量跨媒体检索的集成索引结构
庄毅;庄越挺;吴飞;自适应笔式用户界面开发的概念框架
徐礼爽;周明骏;邓昌智;田丰;刘媛媛;戴国忠;2007年中国计算机大会推荐优秀论文介绍
郑纬民;基于U-tree的不确定移动对象索引策略
丁晓锋;卢炎生;潘鹏;洪亮;魏琼;基于P2P的Wleb搜索技术
方启明;杨广文;武永卫;郑纬民;一种构造代码安全性证明的方法
郭宇;陈意云;林春晓;高性能的XML解析器OnceXMLParser
金蓓弘;曹冬磊;任鑫;余双;戴蓓洁;基于ID的门限多重秘密共享方案
庞辽军;裴庆祺;焦李成;王育民;一种基于攻击图的 论文QQ81995535 入侵响应方法
石进;郭山清;陆音;谢立;基于协商的跨社区访问的动态角色转换机制
付长胜;肖侬;赵英杰;陈涛;基于分组到达率的802.11DCF性能分析
杨卫东;马建峰;李亚辉;基于Markov决策过程用交叉熵方法优化软件测试
张德平;聂长海;徐宝文;协作笔式用户界面开发工具研究
周明骏;徐礼爽;田丰;戴国忠;《软件学报》投稿指南
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)