| 单词 | process algebra | ||||||||||
| 释义 | process algebra
更多释义 收起释义 例句释义: 进程代数,处理代数,过程代数 1. When using process algebra to model workflow, we only consider its formal semantics and its control flow. 在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。 www.fabiao.net 2. Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied. 其次，研究基于性能评估进程代数的系统生存性形式化建模方法。 www.say666.com 3. Auto-Transformation of the Process Algebra Specification of Security Protocols into Logic Programs 安全协议的进程代数规约到逻辑程序的自动转换 service.ilib.cn 4. Activity-attribute flow chart and process algebra based approach for business process expression 基于流程图及过程代数的流程表达方法 www.ilib.cn 5. Process Algebra Based Approach for Business Process Reengineering 基于过程代数的业务流程重组方法 www.ilib.cn 6. Abstract Security Properties in Process Algebra 进程代数上的抽象安全性质 service.ilib.cn 7. Represent and Analyse with Adaptive Workflow by Process Algebra 用进程代数描述可适应工作流的模型方法 service.ilib.cn 8. A Reduction Algorithm Based on Process Algebra for Security Protocol Verification 一种基于进程代数的安全协议验证消解算法 service.ilib.cn 9. Modeling security software architecture based on process algebra 基于进程代数的安全软件体系结构建模 scholar.ilib.cn 10. Elements of Security Process Algebra 安全进程代数基础 www.ilib.cn 1. Analysis and Verification of Security Protocols Based on Process Algebra 基于进程代数的安全协议分析与验证 service.ilib.cn 2. A Survey of Security Protocol Verification Based on Process Algebra 基于进程代数安全协议验证的研究综述 www.ilib.cn 3. Information Flow Models Based on Security Process Algebra 基于安全进程代数的信息流模型 www.ilib.cn 4. Modeling and implementing of DSS model system based on process algebra 基于进程代数的DSS模型系统建模与实现 service.ilib.cn 5. The Formal Semantics of UML Sequence Diagram Based on Process Algebra 基于进程代数的UML序列图的形式语义 www.ilib.cn |
||||||||||
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。