退出
我的积分:
中文文献批量获取
外文文献批量获取
陈波; 曾国荪; 李莉;
同济大学计算机科学及工程系;
上海;
201804;
国家高性能计算机工程技术中心同济分中心;
约束逻辑; 否定推理; 属性访问控制; 代理; 授权;
机译:将非单调推理纳入约束逻辑编程的框架
机译:基于可扩展的属性基于访问控制方案,具有灵活的委托查阅云存储访问权限的分享
机译:边缘计算中具有安全委托的部分基于策略隐藏的基于属性的广播加密
机译:基于时间和非单调描述逻辑的动态委托
机译:基于非单调的逻辑和规则的法律推理
机译:具有非单调线搜索以进行约束约束优化的有效集截断牛顿法的数据和性能
机译:用Unscented卡尔曼滤波结合逻辑推理进行稀疏探测的非单调,部分非确定性软件的状态估计。
机译:基于集成属性的组签名处理方法,基于集成属性的基于组签名认证处理方法,基于集成属性的基于组签名跟踪处理方法,基于集成属性的基于组签名处理系统,以及程序
机译:密码系统,基于属性等级方法基于密码学的属性生成方法来生成用于密码系统的用户的密钥的方法,基于密码学的属性分层方法的密码系统中用于密码系统的消息基于层次属性的计算机程序
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。