您的位置： 专家智库 > >

马军慧

作品数：2 被引量：5H指数：1
供职机构：西安电子科技大学计算机学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 1篇软件工程
  • 1篇时序逻辑
  • 1篇投影时序逻辑
  • 1篇命题投影时序...
  • 1篇服务质量
  • 1篇本体
  • 1篇QOS研究
  • 1篇WEB服务

机构

  • 2篇西安电子科技...
  • 1篇抚州职业技术...

作者

  • 2篇马军慧
  • 1篇马军德

传媒

  • 1篇电子科技

年份

  • 2篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
Web服务中的QoS研究被引量：5
2007年
在面向服务的应用中,如何从众多满足要求的Web服务中选取一个最能满足客户要求的服务已经成为人们越来越关心的热点话题。提出了一个新的QoS计算模型来为Web服务提供QoS保障,该模型使用基于QoS的方法来搜索最合适的服务和采用基于用户期望值的方法来计算质量属性和服务的QoS。
马军慧马军德
关键词：WEB服务服务质量本体
基于无穷模型命题投影时序逻辑的模型检查
目前软件工业界面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在复杂性增加的情况下仍能构造正确可靠的系统。为了达到上述目标，形式化方法在软件开发中得到了广泛的应用，特别是模型检查技术。...
马军慧
关键词：软件工程命题投影时序逻辑
文献传递
全选 清除 导出
共1页<1>
聚类工具0