HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 期刊 软件学报杂志 软件学报杂志介绍(非官网)
软件学报杂志

软件学报杂志北大期刊CSCD期刊统计源期刊

主管单位:中国科学院  主办单位:中国科学院软件研究所;中国计算机学会

人气 14819

软件学报 2015年第08期杂志 文档列表

软件学报杂志系统软件与软件工程
面向随机模型检验的模型抽象技术第1853-1870页
关键词: 随机模型检验;  状态空间爆炸;  模型抽象;  定量抽象精化;  
基于事件处理函数的GUI测试用例集约简技术第1871-1885页
关键词: gui测试用例;  测试用例集约简;  事件处理函数;  冗余测试用例;  
一种高效的基于服务功能规约的服务选择方法第1886-1906页
关键词: 服务选择;  of;  服务功能规约;  组合优化;  遗传算法;  非冗余集合覆盖;  
多用户服务器程序自恢复系统第1907-1924页
关键词: 虚拟化;  自恢复;  多线程;  一致性;  
测试含有标志变量程序的占优语句(集)选择第1925-1936页
关键词: 软件测试浠句覆盖;  标志变量;  可测试性转化;  占优语句;  
软件学报杂志模式识别与人工智能
溯因推理问题的碰集求解方法第1937-1945页
关键词: 极小碰集;  溯因推理;  本原蕴含式;  素蕴含;  
基于信任网络的C2C电子商务信任算法第1946-1959页
关键词: c2c电子商务;  信任网络;  信任属性;  信任计算;  
一种进行稀疏编码的复数数据词典快速训练方法第1960-1967页
关键词: 复数词典训练;  在线学习;  交换乘子方向方法;  
一个命题投影时序逻辑符号模型检测器第1968-1982页
关键词: 符号模型检测;  时序逻辑;  模型检测器;  嵌入式系统验证;  
软件学报杂志计算机网络与信息安全
一维传感网中混合数据传输的能量均衡第1983-2006页
关键词: 无线传感器网络;  混合数据传输;  全网能量均衡;  传输概率;  能量均衡条件;  
基于向量空间的多子网复合复杂网络模型动态组网运算的形式描述第2007-2019页
关键词: 复杂网络;  多子网复合复杂网络模型;  子网加载运算;  子网退缩运算;  向量复合网;  
物联网感知层局域按需簇维护模型与算法第2020-2040页
关键词: 物联网感知层;  簇维护;  事件驱动;  局域;  按需;  
基于传输时延预测的多路径并发传输数据分配算法第2041-2055页
关键词: 多路径并发传输;  数据分配;  性能优化;  
软件学报杂志操作系统
MapReduce集群环境下的数据放置策略第2056-2073页
关键词: 数据放置;  mapreduce;  编程模型;  能耗;  负载均衡;  
一种基于硬件计数器的虚拟机性能干扰估算方法第2074-2090页
关键词: 云计算;  虚拟化;  性能干扰;  硬件计数器;  性能建模;