退出
我的积分:
中文文献批量获取
外文文献批量获取
骆翔宇; 轩爱成; 沙宗鲁;
桂林电子科技大学计算机与控制学院;
桂林541004;
清华大学软件学院;
北京100084;
模型检测; Web服务; 时间自动机; UPPAAL;
机译:基于Web 2.0的以政府为中心的服务模型
机译:基于通用属性的RBAC Web服务模型
机译:基于语义上下文的土地覆盖变化检测服务模型
机译:Web服务注册和路由系统和Web Inter Web代理服务模型可防止消息改建攻击,中间攻击
机译:SensorWebIDS:具有基于滥用和异常的数据挖掘技术的传感器,用于Web入侵检测
机译:基于深度学习的目标检测和基于Weber对比度的图像比较的基于图像的铁路智能检查系统
机译:使用马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证:基于马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证模型
机译:pathosphere.org:通过基于Web的开源信息学平台进行病原体检测和表征。
机译:基于服务模型基于Web的安全管理应用程序的方法和装置。
机译:基于机器学习的Web服务模型共享方法
机译:用于安全管理的基于Web的应用程序服务模型的设备和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。