机译:关于带有Guard-Stage-Milestone生命周期的业务构件的增量语义和定点语义的等效性
University of California, San Diego, California, United States;
IBM T.J. Watson Research Center, New York, United States;
IBM T.J. Watson Research Center, New York, United States;
business artifacts; business entities with lifecycles; business process management; case management; declarative semantics;
机译:企业间电子商务合同前生命周期的语义Web支持
机译:合并组织间业务流程的协作流程以进行工件生命周期综合的方法
机译:使用工件生命周期建模和查询业务数据
机译:带有保护阶段-里程碑生命周期的业务工件的增量语义和定点语义的等效性
机译:评估语义对等以增进对国际文件的理解:语义网络分析在《世界人权宣言》的多语言翻译中的应用。
机译:物联网中服务和产品的闭环生命周期管理:知识集成的语义框架
机译:企业间电子商务合同前生命周期的语义Web支持
机译:真理维护系统的构造性Fixpoint语义