您的位置: 专家智库 > >

周文嘉

作品数:3 被引量:1H指数:1
供职机构:上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
发文基金:国家教育部博士点基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 3篇自动化与计算...

主题

  • 3篇形式化
  • 3篇形式化分析
  • 3篇普适计算
  • 2篇普适环境
  • 1篇形式化研究
  • 1篇分布式

机构

  • 3篇上海交通大学

作者

  • 3篇周文嘉
  • 2篇黄林鹏
  • 2篇陈俊清

传媒

  • 1篇微电子学与计...

年份

  • 3篇2011
3 条 记 录,以下是 1-3
排序方式:
普适环境中的动态更新模型被引量:1
2011年
致力于普适计算下的动态更新的研究,首先分析了普适计算下动态更新的场景,针对普适环境的动态性,我们提出了区别于传统更新方式的路径更新;通过分析集中式更新模型的局限性,提出了适合普适环境的分布式更新模型;最后使用类型与效果系统为更新模型做形式化分析.
周文嘉黄林鹏陈俊清
关键词:普适计算形式化分析
普适计算中动态更新及其形式化研究
随着传感器和移动计算设备的广泛使用,计算技术也得到了飞速发展,迫切需要与之相适应的计算模式,普适计算这一新兴的计算模式日渐走进了人们的生活。普适计算是一种以人为中心的计算,能够随时随地透明地给人们提供数字化的服务,这对系...
周文嘉
关键词:普适计算形式化分析
文献传递
普适环境中的动态更新模型
致力于普适计算下的动态更新的研究,首先分析了普适计算下动态更新的场景,针对普适环境的动态性,我们提出了区别于传统更新方式的路径更新;通过分析集中式更新模型的局限性,提出了适合普适环境的分布武更新模型;最后使用类型与效果系...
周文嘉黄林鹏陈俊清
关键词:普适计算形式化分析
共1页<1>
聚类工具0