搜索筛选:
搜索耗时2.0702秒,为你在为你在102,285,761篇论文里面共找到 81 篇相符的论文内容
发布年度:
[期刊论文] 作者：许满武,,
来源：Journal of Computer Science and Technology 年份：1993
Many reduction systems have been presented for implementing functional programming languages.We propose here an extension of a reduction architecture to realiz...
[期刊论文] 作者：孙雷,许满武,
来源：现代情报 年份：2008
介绍了Web服务和工作流技术，提出了一个基于web服务和工作流技术的高校图书馆信息化平台架构,以建立江苏广播电视大学图书馆信息化平台为实例，设计了基于Web Services的图书馆...
[期刊论文] 作者：许满武,陆剑锋,
来源：计算机学报 年份：1996
本文从ＮＵＭＬ函数式部分实现中遇到的类型检测问题着手，讨论类型检测问题到半合一问题的转化，给出半合一的转换式求解机制和该转换规则集的可靠性和完备性定理。...
[期刊论文] 作者：严悍,许满武,
来源：计算机学报 年份：2000
目前多数访问控制主要解决应用后台的数据保护问题，不适合大型复杂的多用户分布式应用，已有的基本角色访问控制模型忽视了激活角色的动态性能。对象技术已成为应用系统开发的主......
[期刊论文] 作者：陈博,许满武,
来源：计算机应用研究 年份：2003
首先指出了传统面向对象技术和组件技术局限性 ,然后介绍了WebService的概念 ,分析了它的特征及优点 ,并对WebService的重用机制和构成机制进行了探讨...
[期刊论文] 作者：许满武,刘凤玉,
来源：计算机学报 年份：1992
本文主要描述采用归约式计算机体系结构来支持知识推理描述语言MLND中函数式和逻辑式风格结合的程序设计,内容包括MLND的概要,基语言设计,系统运行和功效分析等。...
[期刊论文] 作者：杨群,谭建,许满武,,
来源：电子学报 年份：2007
随着Internet的迅速发展,Web服务在满足数量巨大而日益增长的社会需求中所起的作用越来越大,应用对Web服务器提出了更高的QoS（Quality of Service,服务质量）要求,特别是,要求其...
[期刊论文] 作者：许满武,潘光睿,
来源：软件学报 年份：1999
文章讨论一阶反合一问题以及求反合一子完备集的算法。在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进行求解的方法。在研究反合一问题的过程中，人......
[期刊论文] 作者：崔琳,许满武,杨群,
来源：计算机科学 年份：2004
近年来,面向对象成为软件设计和开发的主流技术,然而基于继承的类结构的面向对象语言越来越显示出难以满足系统中动态应用的需求.本文就我们在实际工作中所遇到的问题,在分析...
[期刊论文] 作者：高炜,杨群,许满武,
来源：计算机科学 年份：2006
随着网络的迅速发展，服务器集群技术得到了广泛的应用，对负载均衡策略的研究也变得越来越必要，但当前的分布式负栽均衡策略始终存在性能和开销不能兼顾的问题。本文将软件抗衰思......
[期刊论文] 作者：陈光浩,许满武,
来源：计算机应用研究 年份：2001
软件体系结构设计是研究与开发软件的重要内容，中间件是大型分布式应用的软件体系结构的关键成分。概述了几种常见的中间件，并依据其基本功能提出了一种更灵活的、可定制和扩展的中间件构筑方式。......
[期刊论文] 作者：李正, 万群丽, 许满武,,
来源：计算机科学 年份：2003
Recently, the phenomenon of "software aging", one in which the state of a software system gradually de-grades with time and eventually leads to performance degr...
[期刊论文] 作者：杨群,陈宏兵,许满武,
来源：计算机科学 年份：2007
随着研究与应用的深入，传统的基于类的面向对象语言对动态变化要求的支持不足越来越明显。而且，由于软件系统复杂性的不断提高，这个问题变得更加突出。近年来，人们一直在进行着各......
[期刊论文] 作者：郑贤福,杨群,许满武,
来源：计算机科学 年份：2006
近年来，软件抗衰技术已被证实是解决软件衰老问题的有效途径。本文针对构件系统特点，将Micro-Reboot思想引入到软件抗衰技术中，也即将单个构件作为抗衰技术中检测和措施的对象，一......
[期刊论文] 作者：杨群,杨献春,许满武,
来源：计算机科学 年份：2006
随着应用的深入，计算系统对性能的要求越来越高。另一方面，软件规模也越来越大，使得日益庞大的软件与有限的硬件资源之间的矛盾逐渐显现出来。在嵌入式系统、移动计算以及实时控......
[期刊论文] 作者：王平涛,许满武,刘志军,
来源：计算机科学 年份：2009
软件在长期运行过程中由于资源消耗、数据损坏、数值错误累积而引起性能下降的现象被称为软件老化。在软件失效前选择合适时机通过预反应的技术来保持软件性能的方法称作软件...
[期刊论文] 作者：严悍,张宏,许满武,
来源：计算机学报 年份：2004
目前多数访问控制主要解决应用后台的数据保护问题,不适合大型复杂的多用户分布式应用.已有的基于角色访问控制模型忽视了激活角色的动态性质.对象技术已成为应用系统开发的...
[会议论文] 作者：徐建,许满武,严悍,
来源：2009中国计算机大会 年份：2009
该文采用多重分形分析方法，对系统资源参数时间序列的波动规律进行研究，提出一种定性和定量相结合的分析方法，预测资源消耗和软件衰退的趋势.首先借鉴分形理论对影响软件性能的系统资源参数的分形结构进行分析，发现参数的波动具有分形特性：且其多重分形谱特征能定性......
[期刊论文] 作者：张琨, 许满武, 刘凤玉,,
来源：计算机科学 年份：2008
主体服务能力描述和能力匹配是实现自主单元自配置的关键，也是基于主体的自主计算技术中的核心内容。在简要介绍自主计算基础上，重点对主体服务描述语言和主体服务匹配算法的研......
[期刊论文] 作者：吕晓炜,陈博,许满武,
来源：计算机工程 年份：2004
在详细讨论基于角色访问控制概念及模型的基础上,探讨了CORBA安全服务如何支持基于角色的访问控制模型.结果表明这种控制模型可以减轻应用级的负担....
相关搜索：
