退出
我的积分:
中文文献批量获取
外文文献批量获取
刘永利; 白晓颖; 陈光; 王立军;
清华大学计算机科学与技术系,北京100084;
Web服务; 实时监测; 服务性能评价; 策略执行;
机译:一种尺寸不能满足所有需求:基于逻辑的群集可实时进行Web服务组合和验证
机译:用于Web服务组合和验证的基于位的索引和启发式驱动的实时方法
机译:验证基于策略的Web服务安全
机译:从小到大:使用实时模型检查和基于逻辑的群集进行有效的Web服务组合和验证
机译:开发一种新的控制策略并通过实时混合仿真考虑大型MR阻尼器装置动力学的新控制策略的实验验证。
机译:基于强化学习的混合动力电动汽车实时能源管理策略的实现与仿真验证
机译:Web服务组合和验证的基于位的索引和启发式驱动的实时方法
机译:词汇链接分析Web服务在大规模自动化,验证,发现,可视化和实时程序感知方面的应用。
机译:基于模型的Web服务组合安全策略验证方法
机译:Web服务组合安全策略的基于模型的验证方法
机译:基于时间策略,许可证信息以及车辆实时时钟的验证和准确性,将电话作为关键的车辆访问
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。