...
机译:使用约束编程方法实现业务流程风险处理的自动和最佳选择
Department of Computer Languages and Systems, ETS Ingenieria Informatica, University of Seville, Avda. Reina Mercedes S/N, 41012 Sevilla, Spain;
Department of Computer Languages and Systems, ETS Ingenieria Informatica, University of Seville, Avda. Reina Mercedes S/N, 41012 Sevilla, Spain;
Business process; Business process management systems; Security; Risk treatments; Constraint programming; Feature model;
机译:在授权约束下基于动作的形式规范和业务流程的自动分析方法
机译:具有目标约束不确定性折衷分析的优化风险显式区间线性规划方法,用于最佳分水岭减轻负荷
机译:具有目标约束不确定性折衷分析的优化风险显式区间线性规划方法,用于最佳分水岭减少
机译:用于多级批处理流程的最佳调度的MILP约束规划方法
机译:离散选择约束下投资组合选择的进展:混合整数编程方法和启发式方法。
机译:在强KKT型上具有消失的多目标半无限规划问题的充分最优条件
机译:授权约束下业务流程的形式化规范和自动分析:基于行动的方法?