【摘 要】
：
随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应
【机 构】
：
南京大学计算机软件新技术国家重点实验室
论文部分内容阅读
随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用.因此Web服务之间的集成组装就显得尤为重要.分析Web服务的交互和协同行为可以发现,分布性和并发性是基于软件服务分布计算系统的本质特征.这就往往使得组装的正确性难以得到保证,从而需要提供一定的手段加以支持;同时,基于软件服务分布计算系统的效率问题也值得关注.我们认为,利用偏序关系对这些问题加以处理是一种理想和有效的手段;而同
其他文献
目的探究针对性的综合护理干预在婴幼儿迁延性腹泻中的应用效果。方法选取我院2018年8月至2019年7月婴幼儿迁延性腹泻患儿77例,其中2018年8月至2019年1月38例患儿实施常规护
采用直流电弧等离子体蒸发法合成Fe纳米粒子,并与石蜡混合制备出Fe/石蜡纳米复合材料,测定在2—18 GHz频率范围内的复介电谱。结合普适介电理论、德拜弛豫理论及Cole-Cole方
如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM
以数据大集中为标志的新一轮银行信息化建设目前已初见成效,为各大银行初步实现数据大集中、提高核心竞争力以应对越来越激烈的市场竞争提供了广阔的技术平台,同时也为我国银
采用晶种原位形成与水热合成法，在SiO2大孔材料中原位生长出氧化锌纳米线（ZnO NWs）。纳米线是由六方纤锌矿型氧化锌晶体构成，在孔道内呈现无规纳米线团形貌，且分散良好、结构稳定，
新同城清算系统采用Linux系统，Linux是一种类Unix的操作系统。从理论上讲，Unix本身的设计并没有什么重大的安全缺陷，多年来，绝大多数在Unix操作系统上发现的安全问题主要存在于个
新闻摄影是摄影图片与新闻媒体结合的产物,是从新闻传播规则发展而来的一种媒体话语方式,今天被公认的新闻摄影概念、规律和社会作用是沿着新闻传播的行业规则发展形成的。然
本文从CMMI的体系结构出发,对CMMI中的软件测量进行了研究,分析了其测量的演进过程,总结分析了目前组织在实施CMMI时对测量的误解和存在的问题,最后,为帮助实施CMMI,给出了对实施效果进行评估的评价标准。
本文以新媒体短视频冲击下电视民生新闻的应对策略为研究对象,对新媒体短视频冲击下电视民生新闻的传播特点、发展面临的问题进行阐述,并根据存在的问题提出应对策略,希望对
国际开发科学与技术协会(The International Association of Science and Technologyfor Development)是设在美国的一个重要学术性组织,其宗旨主要是组织科研和开发人员进行