您的位置： 专家智库 > >

杜思奇

作品数：5 被引量：0H指数：0
供职机构：上海交通大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 3篇接口
  • 2篇代理
  • 2篇代理管理
  • 2篇对象代理
  • 2篇数组
  • 2篇普适计算
  • 2篇哈希
  • 2篇哈希表
  • 2篇服务注册
  • 2篇查询
  • 2篇查询接口
  • 1篇实时性
  • 1篇准确率
  • 1篇下载
  • 1篇接口类型
  • 1篇接口模块
  • 1篇进程代数
  • 1篇兼容性
  • 1篇分布式

机构

  • 5篇上海交通大学

作者

  • 5篇杜思奇
  • 4篇黄林鹏
  • 2篇沈飞
  • 2篇陈俊清
  • 1篇陈璐希
  • 1篇于程远

传媒

  • 1篇中国科技论文

年份

  • 2篇2012
  • 1篇2011
  • 2篇2010
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一种面向普适计算的动态更新模型
2012年
首先介绍了普适计算的特点,通过对更新对象及现有更新机制进行分析,评估了已有的动态更新方法的适用性;在此基础上,提出了一种分布式的更新模型,并使用进程代数FSP进行形式化建模,对更新机制进行刻画;最后结合FSP模型验证工具检验了模型具有无死锁隐患、客户透明性和服务器正确性等3个特性,从而保证了模型的有效性。
杜思奇黄林鹏陈俊清陈璐希
关键词：普适计算分布式进程代数
普适服务动态更新中服务对象状态转移系统及其方法
一种计算机应用技术领域的普适服务动态更新中服务对象状态转移系统及其方法，该系统包括：对象代理管理模块和对象状态转换模块，其中：对象代理管理模块包括：普适环境监听子模块、服务对象代理管理子模块和服务对象引用查询接口子模块，...
黄林鹏沈飞杜思奇
文献传递
普适服务的动态更新方法及其更新系统
一种计算机应用技术领域的普适服务的动态更新方法及其更新系统，系统包括：新版本输入模块、兼容性检测模块、更新模块和接口模块，其中：所述的兼容性检测模块包括：依赖类型检测子模块、接口类型检测子模块和实现类型检测子模块，所述的...
陈俊清黄林鹏杜思奇于程远
文献传递
普适服务动态更新中服务对象状态转移系统及其方法
一种计算机应用技术领域的普适服务动态更新中服务对象状态转移系统及其方法，该系统包括：对象代理管理模块和对象状态转换模块，其中：对象代理管理模块包括：普适环境监听子模块、服务对象代理管理子模块和服务对象引用查询接口子模块，...
黄林鹏沈飞杜思奇
面向普适计算的软件动态更新
随着移动数字设备和传感器的广泛使用，普适计算在人们的生活中起着越来越重要的作用。为了实现普适计算的随时随地提供服务能力的愿景，部署在普适计算环境下的软件系统需要利用动态更新技术来增强系统的可用性。动态更新是一种新型的软件...
杜思奇
关键词：普适计算
全选 清除 导出
共1页<1>
聚类工具0