正确性分析相关论文
近年来，随着互联网产业的快速发展，每天数以万计的数据从各类应用中产生。而物联网、工业4.0以及机器智能等技术的不断成熟，更使得数......
Web服务技术日趋成熟，它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术，能够快速、灵活地满足复杂多变的业......
周福才等利用组合阶双线性群理论和非交互式零知识证明理论构建了一个基于BMW模型的高效组签名方案,解决了传统组签名方案通信效率......
设计了一种基于Petri网扩展的、用于复杂工作流模型设计的建模方法及其相关规则。并且通过电子政务系统的网上审批子系统为例，详细......
当前，复杂工作流建模和动态工作流建模成为工作流研究中的重点。该文详细论述了一种基于Petri网的、用于复杂工作流模型设计的层次......
