退出
我的积分:
中文文献批量获取
外文文献批量获取
刘书雷; 唐桂芬; 刘云翔; 陈荦; 景宁;
国防科技大学,电子科学与工程学院,湖南,长沙,410073;
服务聚合; 流程建模; WSCP/R-net; BPEL4WS;
机译:基于扩展Petri网的语义网络知识表示新方法
机译:校正至:一种基于动态规划的QoE约束的IoT服务聚合方法
机译:基于动态规划的QoE约束物联网服务聚合方法
机译:基于UML活动图与BPEL4WS网格服务工作流程规范的基于同型映射的模型转换方法
机译:通过中间Petri网表示将动态编程问题自动转换为JAVA代码及其解决方案。
机译:利用扩展大型方法对高分辨率遥感图像检索的扩展大型方法的低尺寸鉴别表示完全连接的层特征
机译:基于高级Petri网络的动态面向对象建模方法的扩展和形式验证
机译:基于概念的表示查询扩展方法探讨。
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:将BPEL4WS过程转换为有色Petri网的方法和装置
机译:BPEL4WS过程转换为彩色Petri网的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。