云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=标号互模拟 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

移动界程演算理论及应用研究综述被引量：1: 《计算机应用研究》2020年第3期648-654,共7页林荣德江华黄建新; 国家自然科学基金资助项目(11871259,61379021,11701258);福建省自然科学基金资助项目(2016J01304,2015J01269,2019J01751);福建省高校创新团队发展计划资助项目;泉州市高层次人才团队项目(2017ZT012)。; 移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发...; 关键词：移动界程演算标号互模拟上下文观察等价界程逻辑模型检测

全选清除导出

共1页<1>