退出
我的积分:
中文文献批量获取
外文文献批量获取
毛昕怡; 钮俊; 丁雪儿; 张开乐;
宁波大学信息科学与工程学院 浙江宁波315211;
微服务组合; 连续时间Markov链; 连续随机回报逻辑; 模型检测; PRISM;
机译:嵌入式无线传感器网络的基于模型的QoS评估和验证
机译:QoS约束的网络化微服务的服务选择
机译:云平台中的用户QoS增强型Web服务组合框架
机译:微服务验证:Mjolnirr平台案例研究
机译:Verificare:一个可组合验证的平台,可将其应用到支持SDN的系统。
机译:面向微服务的大数据分析互联网平台:概念验证
机译:基于模型的动态QoS驱动的服务组合
机译:基于模型的自治系统的验证和验证。
机译:关于移动平台或实体的远程信息收集,情境意识和自适应响应系统(RICSAARS),用于改进提前威胁意识和危险风险回避,包括旅行,包括验证的系统和方法,以及结合的方法关于移动平台或实体的路径或预期路径的,与移动平台或实体有关的检测信号和其他元素的比较
机译:用于部署控制器和工作节点的验证微服务,用于验证路径
机译:基于模型的Web服务组合安全策略验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。