...
机译:分散执行文档生命周期约束
Univ Quebec Chicoutimi, Lab Informat Formelle, 555 Boul Univ, Chicoutimi, PQ G7H 2B1, Canada;
Univ Quebec Chicoutimi, Lab Informat Formelle, 555 Boul Univ, Chicoutimi, PQ G7H 2B1, Canada;
Univ Quebec Chicoutimi, Lab Informat Formelle, 555 Boul Univ, Chicoutimi, PQ G7H 2B1, Canada;
Univ Grenoble Alpes, CNRS, INRIA, Grenoble INP,LIG, F-38000 Grenoble, France;
Univ Grenoble Alpes, CNRS, INRIA, Grenoble INP,LIG, F-38000 Grenoble, France;
Business artifact; Business process; Document lifecycle; Lifecycle policy; UML statechart; Business Process Modelling Language; Linear Temporal Logic; Finite-state automata; Trace validation; Policy enforcement; Public-key encryption; Hash functions; Tamper-proof history; Confidentiality; Distributed enforcement; Runtime monitoring; Smart cards; Portable Document Format; Artichoke-X;
机译:联邦制度的执法:分散执法努力的内源性时间
机译:早期生命周期工作:个体特征,方法约束和界面约束的影响
机译:里程碑:分散式生产和电力系统集成-电力系统中分散式生产集成的技术限制
机译:工件生命周期的分散执行
机译:转型经济中的行政权力下放,法律分散和法治:在中国,俄罗斯,台湾和捷克共和国执行知识产权法。
机译:培养研究生命周期透明度的分散框架
机译:分散执行文档生命周期约束