搜索筛选:
搜索耗时0.9368秒,为你在为你在102,285,761篇论文里面共找到 9 篇相符的论文内容
发布年度:
[期刊论文] 作者：陆晶晶,骆翔宇,,
来源：桂林电子科技大学学报 年份：2011
为了验证Web服务的正确性和可靠性等性质以及提高Web服务流程验证的自动化程度,提出了一种适合构造BPEL4WS（Web服务的业务流程执行语言）结构模型的输入输出标记迁移系统（I/OLTS）...
[期刊论文] 作者：吴立军,骆翔宇,,
来源：计算机应用研究 年份：2011
在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测。...
[期刊论文] 作者：骆翔宇,王昆,王凤钗,,
来源：小型微型计算机系统 年份：2011
由于Web服务及其协同的动态性,开放多变的互联网运行环境,以及松耦合的服务开发模式所导致的开发和运行过程不确定性,使得Web服务组合的正确性和可靠性等可信性质难以得到保...
[期刊论文] 作者：吴立军, 骆翔宇, 陈清亮,,
来源：计算机科学 年份：2011
模型检测是并发系统验证的主要形式化方法之一,但其存在因状态空间爆炸而导致内存不够的问题,这也是大规模并发系统验证的瓶颈。很多研究人员尽管做了很多相关研究,但仍然没...
[期刊论文] 作者：骆翔宇,轩爱成,沙宗鲁,,
来源：小型微型计算机系统 年份：2011
传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服...
[期刊论文] 作者：骆翔宇,谭征,苏开乐,吴立军,,
来源：计算机学报 年份：2011
近几年Web服务组合的形式化验证逐渐成为研究热点.模型检测作为形式化验证的一种主流技术,可以克服传统软件测试用例生成不完备的不足,同时具有验证自动化的优点.该文提出并...
[期刊论文] 作者：王飞明,董荣胜,胡元闯,骆翔宇,,
来源：计算机工程与应用 年份：2011
优化选取服务是动态web服务组合的关键技术之一。在对分层组合算法研究的基础上，利用产生式规则和接口语义规则对WebN．务建模，引入了备选服务的QoS性能指标和用户请求对响应时间......
[期刊论文] 作者：轩爱成,骆翔宇,沙宗鲁,董荣胜,,
来源：微电子学与计算机 年份：2011
在Web服务无回溯反向链动态框架基础上,提出一个较小执行代价的反向链动态合成方法.该算法根据用户的输入、输出和Web服务的执行代价,在合成过程中的每一步都找到执行代价最...
[期刊论文] 作者：骆翔宇,李文芳,金雪莉,曾令可,,
来源：硅酸盐学报 年份：2011
用流阻法和显微分析法定量表征材料的孔隙状况,研究以陶粒为主要骨料的多孔吸声材料在不同有效孔隙率和中值孔径下的吸声性能。结果表明陶粒吸声材料的NRC随着流阻的增加先增...
相关搜索：
