搜索结果: 1-4 共查到“计算机科学技术基础学科 CSP”相关记录4条 . 查询时间(0.116 秒)
基于CSP的能耗高效云计算资源调度模型与算法
云计算 资源分配 能耗效率 约束满足问题
2013/9/15
利用约束满足问题对异构云数据中心的能耗优化资源调度问题建模，通过求解建立的约束模型可以获得能耗最优的资源分配方式，并在此基础上提出了能耗优化的资源分配算法dynamicpower (DY)。与已有的算法MinPM、FFD、BFD相比，算法DY考虑了资源的异构性，能够降低云数据中心物理服务器的能耗。最后，利用Choco实现了提出的算法DY，并将DY与MinPM、FFD、BFD进行实验比较，实验结果表...
基于CSP和动态博弈的电子支付系统模型
通信顺序进程 动态博弈 系统模型
2009/7/31
分析电子支付系统的安全问题，提出基于通信顺序进程和动态博弈的电子支付系统模型。该模型对协议主体的各种不诚实行为和3种质量的通信媒介建模，可以用于分析协议主体和通信媒介之间的合作和竞争行为。对进程失效和由于消息丢失或消息延迟导致的通信失效建模，能分析各种失效情况下协议的安全属性。
工作流建模语言XPDL到CSP进程的转化研究
工作流 XPDL CSP进程
2009/2/11
针对工作流定义标准语言XPDL缺乏形式化语义，提出了将XPDL描述转化为通信顺序进程(CSP)的方法，从而可以利用进程代数CSP理论以加强对工作流模型的语义描述分析检测。通过实例分析具体说明转化方法的有效性。
Analysing the Woo-Lam Protocol Using CSP and Rank Functions
Analysing the Woo-Lam Protocol CSP Rank Functions
2005/4/12
Designing security protocols is a challenging and deceptive exercise. Even small protocols providing straightforward security goals, such as authentication, have been hard to design correctly, leading...