退出
我的积分:
中文文献批量获取
外文文献批量获取
董云卫; 郝克刚;
西北工业大学计算机学院,西安710072;
西北大学计算机科学系,西安710069;
乐观嵌套工作流事务模型; 工作流事务; 形式化描述;
机译:嵌套事务存储:模型和体系结构草图
机译:一个开放和安全的嵌套事务模型的并发控制算法:形式化和正确性
机译:任务网:基于彩色Petri网的事务性工作流模型
机译:LDAP事务的嵌套事务模型
机译:多主体工作流模型(MAWM):专为中国业务流程设计的工作流模型。
机译:基于重新参数化的多性状动物模型中遗传参数的嵌套嵌套拉普拉斯综合估计
机译:工作流体系结构中的事务工作流或高级事务的高级体系结构
机译:嵌套分布式事务的乐观并发控制。
机译:使用远程事务数据的本地副本和乐观锁定来支持分布式环境中的事务
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
机译:使用合适的本体从功能/模态数据重构过程的形式化描述模型的方法,系统和软件装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。