监控服务是分布式计算平台的一个重要部分,它能提供一些关于计算平台的重要信息,帮助用户或者开发者查看计算平台的资源使用状况同时基于大量的监控信息,用户可以对正在运行
近年来,移动服务进行了爆炸式发展,特别是智能手机的应用。针对有限的容量和移动计算能力,有研究表明所实现的大部分云服务实例都是计算密集型任务,本文中,我们重点研究服务实
面向方面的规范描述在软件体系结构建模和分析中起着重要的作用,但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持,也缺乏行之有效的方法对方面的
复杂事件处理是支持大数据处理的流式计算平台的核心技术之一.CEStream语言作为一种新型的事件流处理语言,支持分布式环境下的复杂事件处理.该语言以XML等层次化数据作为
大数据时代要求软件代码设计走向自动化,关于新一代软件复用技术的研究值得关注。本文提出从上而下设计系统级可复用程序模块的课题,希望能促使软件设计更加快捷高效、质量
目的:了解兰州地区成年女性感染人乳头瘤病毒(humanpapillomavirus,HPV)及其基因类型分布状况,为本地区HPV分子流行病学研究提供理论依据。方法:利用PCR技术分别对100例妇科
适航认证对机载软件来说至关重要,DO-178C是重要的机载软件安全标准,但是目前还未建立成熟的面向DO-178C标准的目标符合性论证模型。本文基于DO-178C标准中针对软件测试
基于模型的测试是软件测试中一个重要分支,但随着模型规模的增大,测试生成也变得越来越困难。扩展有限状态机(EFSM)模型是一种广泛应用的模型,它是对有限状态机(FSM)模型的
对移动自组网路由中存在的路由效率和可扩展性问题,提出了一种基于Kademlia的移动自组网路由模型。通过分布式散列表技术将系统中的物理节点映射到基于异或度量的覆盖网拓