咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 软件工程

主题

  • 3 篇 移动界程演算
  • 2 篇 界程逻辑
  • 2 篇 模型检测
  • 1 篇 空间和行为观察
  • 1 篇 空间逻辑
  • 1 篇 蛰伏进程
  • 1 篇 标号互模拟
  • 1 篇 上下文观察等价

机构

  • 3 篇 华侨大学
  • 1 篇 华南农业大学
  • 1 篇 惠州学院
  • 1 篇 华南理工大学
  • 1 篇 闽南师范大学

作者

  • 3 篇 林荣德
  • 1 篇 guo yu-bin
  • 1 篇 lin rong-de
  • 1 篇 jiang hua
  • 1 篇 奚建清
  • 1 篇 xi jian-qing
  • 1 篇 江华
  • 1 篇 huang jianxin
  • 1 篇 郭玉彬
  • 1 篇 黄建新
  • 1 篇 陈江
  • 1 篇 lin rongde

语言

  • 3 篇 中文
检索条件"主题词=移动界程演算"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
移动界程演算理论及应用研究综述
收藏
分享
引用
计算机应用研究 2020年 第3期37卷 648-654页
作者： 林荣德 江华 黄建新 华侨大学数学科学学院计算科学福建省高校重点实验室 福建泉州362000 惠州学院计算机科学与工程学院 广东惠州516007 闽南师范大学粒计算省重点实验室 福建漳州363000
移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发... 详细信息
来源： 评论
具有行为观察的移动界程演算空间逻辑
收藏
分享
引用
南京师范大学学报（工程技术版） 2011年 第4期11卷 70-76页
作者： 陈江 林荣德 华侨大学网络信息中心 福建泉州362021
界程逻辑中的并发模态副词是观察进程交互行为的关键因素之一,但引入并发模态副词又会导致模型检测的不可判定性.针对这一问题,提出了可判定的、描述移动界程演算进程的空间结构和行为性质的应用界程逻辑.该逻辑定义了空间模态词和行为... 详细信息
来源： 评论
移动进程的蛰伏性及空间逻辑
收藏
分享
引用
计算机科学 2009年 第3期36卷 173-178页
作者： 林荣德 奚建清 郭玉彬 华南理工大学计算机科学与工程学院 广州510640 华侨大学数学科学学院 泉州362021 华南农业大学信息学院 广州510640
界程逻辑(Ambient Logic)定义了一个示范性的空间逻辑来描述移动界程演算中移动进程的空间性质。然而在某些移动计算系统中,界程逻辑对移动进程空间性质的描述粒度是不够的。分析移动进程的蛰伏性质,用蛰伏和活跃来描述移动进程的存在状... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件