《软件学报杂志》2009年08期计算机论文

软件学报

编辑出版：软件学报杂志编辑部
主办：中国科学院软件研究所
出版周期：月刊出版地：北京市
语种：中文　　ISSN：1000-9825

相关推荐

《软件学报杂志》2009年08期目录

有界模型检测的优化
杨晋吉; 论文QQ81995535 苏开乐;骆翔宇;林瀚;肖茵茵;
ETL的符号化模型检验
刘万伟;王戟;王昭飞;
直觉线性μ-演算中的合成推理(英文)
KAZMI Syed Asad Raza;张文辉;
用于指针逻辑的自动定理证明器(英文)
王振明;陈意云;王志芳;
基于分离逻辑的程序验证技术
黄达明;曾庆凯;
一种Web Service的服务质量预测方法
邵凌霜;周立;赵俊峰;谢冰;梅宏;
基于时序逻辑证明编译优化程序变换的保义性
陶秋铭;赵琛;郭亮;
一种基于图转换的模型重构描述语言
刘辉;麻志毅;邵维忠;
基于BPEL的Web Service组合的数据流分析测试方法(英文)
董文莉;胡建华;
以体系结构为中心的模型转换的语义描述框架(英文)
侯金奎;王海洋;马军;万建成;杨潇;
复述技术研究
赵世奇;刘挺;李生;
无监督词义消歧研究
王瑞琴;孔繁胜;
一种解决大规模数据集问题的核主成分分析算法
史卫亚;郭跃飞;薛向阳;
基于机器学习的自动协商决策模型
程昱;高济;古华茂;傅朝阳;
一种多足步行机器人行走状态分析模型
徐凯;陈小平;
一种研讨模型
熊才权;李德华;
基于表情相似性的人脸表情流形
续爽;贾云得;
应用于移动互联网的Peer-to-Peer关键技术
李伟;徐正全;杨铸;
深度包检测中一种高效的正则表达式压缩算法
徐乾;鄂跃鹏;葛敬国;钱华林;
延迟容忍移动传感器网络中基于选择复制的数据传输
朱金奇;刘明;龚海刚;陈贵海;许富龙;宋超;
一种基于拓扑势的网络社区发现方法
淦文燕;赫南;李德毅;王建民;
并行下载最优机制
王正;罗万明;阎保平;
基于遗传算法的网络编码优化
邓亮;赵进;王新;
别名解析中的别名过滤技术
赵洪华;白华利;陈鸣;魏镇韩;
一种交错编码的多重门限调度算法
伊鹏;汪斌强;陈庶樵;李挥;
行为驱动的基于角色的信任管理
李斓;范磊;回红;
《软件学报》投稿指南

计算机论文导航: 北大核心统计源核心 CSCD CSCD扩展国家级期刊省级期刊杂志见刊

有界模型检测的优化

ETL的符号化模型检验

直觉线性μ-演算中的合成推理(英文)

用于指针逻辑的自动定理证明器(英文)

基于分离逻辑的程序验证技术

一种Web Service的服务质量预测方法

基于时序逻辑证明编译优化程序变换的保义性

一种基于图转换的模型重构描述语言

基于BPEL的Web Service组合的数据流分析测试方法(英文)

以体系结构为中心的模型转换的语义描述框架(英文)

复述技术研究

无监督词义消歧研究

一种解决大规模数据集问题的核主成分分析算法

基于机器学习的自动协商决策模型

一种多足步行机器人行走状态分析模型

一种研讨模型

基于表情相似性的人脸表情流形

应用于移动互联网的Peer-to-Peer关键技术

深度包检测中一种高效的正则表达式压缩算法

延迟容忍移动传感器网络中基于选择复制的数据传输

一种基于拓扑势的网络社区发现方法

并行下载最优机制

基于遗传算法的网络编码优化

别名解析中的别名过滤技术

一种交错编码的多重门限调度算法

行为驱动的基于角色的信任管理

《软件学报》投稿指南