University of California San Diego;
University of California San Diego;
University of California San Diego;
verification; model checking; arithmetic; data dependencies; data-aware; integrity constraints; IBM; business process; business entity with lifecycles; business artifacts; workflows;
机译:具有数据依赖性和算法的工件系统
机译:系统工程工件的逻辑方法:超越可追溯性的语义关系和依赖关系-从需求到功能和架构视图
机译:在超低功耗DSP算法中利用数据相关性
机译:具有数据依赖性和算术*的工件系统
机译:使用算法和数据依赖性验证业务流程规范。
机译:非符号算术训练对符号算术和近似数系统的影响
机译:具有数据依赖性和算法的工件系统
机译:利用数据中误差协方差的估计减少高光谱图像数据分析中的系统伪像。