基于工作流模式的BPMN过程模型验证方法

本栏热门下载

• 基于仿射和复合混沌的图像加密新算法
• 基于分布内存的层次短语机器翻译并行化算
• 基于改进的免疫克隆支持向量机网页分类研
• 基于非合作动态博弈的网络安全主动防御技
• 科学工作流中面向不确定数据源图的受限可
• 基于概率的无监督缺陷预测方法
• 考虑外集卡的混堆集装箱码头多场桥调度
• 基于隐写编码和Markov模型的自适应图像隐
• 扩展SCA绑定实现SCA组件间的高效率通信
• 雷达侦察中数字荧光技术的应用研究
• 基于学习分类器的多机器人路径规划收敛性
• 一种面向空地一体化组网的体系架构
• 一种可配置双向链路的片上网络容错偏转路
• 一种增量发现条件函数依赖的算法
• 云制造环境下的生产加工服务监控
• 自然场景中多类目标识别的算法研究
• 云环境中基于分解的多目标工作流调度算法
• 移动存储信息的信任链动态跟踪技术研究
• 针对SoC系统的Cache攻击方法及建模分析
• 制造云服务的按需供应模式及其关键技术
• 资源约束情况下随机性联合采购模型的差分
• 支持分布式存储删冗的相似文件元数据集合
• 一种求解线性方程组的SOR并行算法
• 指导cache静态划分的程序性能profiling优
• 抑制非线性扰动的迭代学习控制系统研究
• 一种检查点感知的文件恢复算法
• 一种新的微博短文本特征词选择算法
• 一种支持B∕S模式的网络摄像机的实现
• 中文自然语言驱动的自动几何建模方法
• 一种求解最小双费用流问题的算法
• 作业车间类型多机器人制造单元调度算法
• 忆阻器存储研究与展望
• 云计算课程内容体系的建设与实践
• 职业技术教育背景下计算机课程教学改革与
• 一种支持通用θ-Join的并行查询处理机制
• 移动P2P中基于惩罚培育的拓扑构造算法