论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2008年第5期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2008年5期页码:摘要：
-
刊名： 软件学报发表期刊： 2008年5期页码:摘要： 从主动服务、需求驱动、自主聚合的角度,提出了需求驱动的主动网构实体聚合模型.在该模型中,主动网构实体形成服务Agent,这些服务Agent主动发现需求并向需求聚集.针对同一需求聚集形成的服务...
-
刊名： 软件学报发表期刊： 2008年5期页码:摘要： 针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在...
-
刊名： 软件学报发表期刊： 2008年5期页码:摘要： 网构软件代表了Internet环境下的一种新型的软件形态,但仍然面临着外部环境显式化、软件实体主体化、运行机制自适应等问题.从构件的角度出发,提出了EBDI(electronic busin...
-
5. 志愿计算模型形式化方法刊名： 软件学报发表期刊： 2008年5期页码:摘要： 旨在从形式化抽象的角度来认识移动计算的本质特点.分析了志愿计算平台的特征,提出并分析了志愿计算中的3种角色以及志愿计算中资源和构件的概念,介绍了一种关于志愿计算的形式化模型和方法.对系统中的...
-
刊名： 软件学报发表期刊： 2008年5期页码:摘要： 现代构件系统通常包含多个并发执行的主动构件,这使得验证构件系统的正确性变得十分困难.通过对构件演算进行扩展,提出了一种主动构件的精化方法.在构件接口层引入契约.契约使用卫式设计描述公共方法和...
-
7. 构件组合的抽象精化验证刊名： 软件学报发表期刊： 2008年5期页码:摘要： 针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度.提出了在构件组合情况下基于等价关...
-
刊名： 软件学报发表期刊： 2008年5期页码:摘要： 网构软件不确定的数据需求导致了其数据语用(data pragmatics,简称DP)的不确定性,进而要求数据语用的支撑机制具备动态适应能力,即应用的对象属性与数据表之间的对应关系可以按需动态...
-
刊名： 软件学报发表期刊： 2008年5期页码:摘要： 提出了网构软件环境下一种基于非确定性推理的构件服务质量动态评估方法.该方法基于贝叶斯网络,其主要特点在于考虑了用户对构件的QoS需求,可以预测在用户多种QoS需求下采用分级策略的构件服务能力...
-
刊名： 软件学报发表期刊： 2008年5期页码:摘要： 针对基于构件的网构软件系统对环境资源变化的自适应性特征的可信分析与验证展开研究.具体工作包括:在网构软件的系统模型层次,使用带资源语义信息的接口自动机对软件构件的行为进行形式化建模,其包含了...
-
11. 基于OSGi的服务动态演化刊名： 软件学报发表期刊： 2008年5期页码:摘要： 提出一种解决OSGi平台上服务动态演化的方法.针对OSGi平台的服务动态演化提出了重定向方法,解决了服务类定义的动态更新,较好地满足了演化中服务的透明性问题;提出了实现和数据相分离的方法,解...
-
12. 自适应组件副本选择模型及算法刊名： 软件学报发表期刊： 2008年5期页码:摘要： 提出了一个基于域的自适应副本选择模型DARSM(domain based adaptive replica selection model).该模型将组件副本划分为强一致性域和弱一致性域,域...
-
刊名： 软件学报发表期刊： 2008年5期页码:摘要： 介绍了一种面向电信增值业务领域的流程描述语言XPL(extended-calling process language)以及支持该语言的业务生成系统.XPL拥有较强的语音类业务描述能力和数据...
-
14. 可用带宽度量系统中的若干基本问题刊名： 软件学报发表期刊： 2008年5期页码:摘要： 结合过去3年中设计、开发和部署BNeck系统的经验,分析了13个可用带宽度量系统的工作原理及软件实现,并在此基础上总结了可用带宽度量系统中存在的若干基本问题.对这些问题的研究,不仅有利于设计...
-
15. 对一种新的序列密码结构的密码分析刊名： 软件学报发表期刊： 2008年5期页码:摘要： 对新提议的一种基于线性反馈移位寄存器、非线性反馈移位寄存器和过滤布尔函数的序列密码结构的安全性进行了研究,对这种结构给出了一种区分攻击.举例子说明了此攻击的有效性.这种新的攻击表明,此种新的...
-
16. 《软件学报》投稿指南刊名： 软件学报发表期刊： 2008年5期页码:摘要：
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1000-9825 | CN | 11-2560/TP |
| 邮编 | 100190 | 电子邮箱 | jos@iscas.ac.cn |
| 电话 | 010-62562563 | 网址 | www.jos.org.cn |
| 地址 | 北京8718信箱 |
软件学报评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 文摘杂志(俄) |
| 5. | 科学文摘(英) |
| 6. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 百种中国杰出学术刊物 |
软件学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
