-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=移动界程演算 "
共 条 记 录，以下是1-3

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
移动进程的蛰伏性及空间逻辑被引量：2
《计算机科学》2009年第3期173-178,共6页林荣德 奚建清 郭玉彬 
国家教育部项目(D4109029);广东省科技计划项目(2006B11301001);广东省工业科技攻关计划项目(2006B80407001);广东省国际科技合作计划项目(2007A050100026)资助
界程逻辑(Ambient Logic)定义了一个示范性的空间逻辑来描述移动界程演算中移动进程的空间性质。然而在某些移动计算系统中,界程逻辑对移动进程空间性质的描述粒度是不够的。分析移动进程的蛰伏性质,用蛰伏和活跃来描述移动进程的存在状...
关键词：移动界程演算 蛰伏进程 空间逻辑 
具有行为观察的移动界程演算空间逻辑被引量：1
《南京师范大学学报（工程技术版）》2011年第4期70-76,共7页陈江 林荣德 
华侨大学科研基金(11BS121)
界程逻辑中的并发模态副词是观察进程交互行为的关键因素之一,但引入并发模态副词又会导致模型检测的不可判定性.针对这一问题,提出了可判定的、描述移动界程演算进程的空间结构和行为性质的应用界程逻辑.该逻辑定义了空间模态词和行为...
关键词：移动界程演算 界程逻辑 空间和行为观察 模型检测 
移动界程演算理论及应用研究综述被引量：1
《计算机应用研究》2020年第3期648-654,共7页林荣德 江华 黄建新 
国家自然科学基金资助项目(11871259,61379021,11701258);福建省自然科学基金资助项目(2016J01304,2015J01269,2019J01751);福建省高校创新团队发展计划资助项目;泉州市高层次人才团队项目(2017ZT012)。
移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发...
关键词：移动界程演算 标号互模拟 上下文观察等价 界程逻辑 模型检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部