刘磊

作品数：2被引量：1H指数：1
导出分析报告
供职机构：广东工业大学更多>>
发文主题：ANDROID安全体系安全防范恶意软件入侵检测更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《电脑与电信》更多>>
所获基金：广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
时序逻辑在有效性控制中的应用研究
《电脑与电信》2010年第5期23-25,共3页刘磊 
广东省自然科学基金;项目编号:07001802
工作流系统中的活动是与时间有着紧密联系的,如何保证恰当的活动在恰当时间被执行是工作流系统中的关键问题。探讨了如何利用时序逻辑来解决上述问题,提出了工作流系统中有效性的概念,给出了基于时序逻辑的有效性约束模型,并利用模型检...
关键词：工作流 时序逻辑 模型检测 
几种分布式软件体系结构的可重用性比较被引量：1
《现代计算机》2010年第1期113-115,118,共4页管贤春 刘长有 林泗明 刘磊 
概述软件体系结构研究的重要性,描述软件可重用性的定义,主要对当前几种流行的分布式软件的体系结构CORBA、DCOM、移动Agent及SOA的可重用性的3个特征方面(耦合性、移植性、复用粒度)进行详细地分析和阐述,得出它们之间的比较关系。
关键词：软件体系结构 分布式系统 面向服务的架构 可重用性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部