傅城
- 作品数：6 被引量：10H指数：2
- 供职机构：上海交通大学电子信息与电气工程学院信息安全工程学院更多>>
- 发文基金：国家自然科学基金上海市科学技术委员会科研基金上海市科学技术发展基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 安全移动资源的语义、类型系统及其代数性质的研究
- 移动资源演算(MR)是一种用于描述携带资源的移动系统及其交互的形式化方法，它隶属于灰箱演算的一支。灰箱演算由Cardelli提出，最初被称为移动灰箱演算(MA)，本文将绝大部分由灰箱演算发展而形成的进程代数系统称为类灰箱...
- 傅城
- 关键词：代数性质
- 文献传递
- 一种Linux智能手机的Java图形平台的设计及实现被引量：5
- 2005年
- 智能手机对硬件和软件都有较高的要求。在软件方面要求必须具备支持Java功能的GUI平台。QT/Embedded作为较好的嵌入式GUI与J2ME相结合,能够为智能手机提供一个良好的软件平台。着重介绍Linux智能手机的Java GUI平台的实现原理和方法。
- 高娟傅城尤晋元
- 关键词：智能手机GUIJ2MEMIDP
- 类型化移动资源(英文)被引量：2
- 2005年
- 在移动资源演算(MR)中发现了一种干扰现象,称为直接访问干扰,该现象比移动灰箱演算(MA)中的墙干扰现象更具破坏力,因为在MR中恶意的环境或上下文可以不受限制地访问进程内部的敏感资源.因而该干扰问题当被视为一种程序运行错误.为了控制直接干扰现象,提出了一种MR的变体:安全移动资源演算(SR).它使用了一种类型系统来避免所有的直接访问干扰的发生.基于该研究,MA中的强干扰现象实际上是直接访问干扰的一种特殊形式,自然地,在SR中也得到了相应的控制.最后给出一些用例,说明如何使用新设计的演算系统,以及它的健壮性.
- 傅城尤晋元
- 关键词：并发移动计算移动计算
- 嵌入式Java虚拟机中高精度定时器的实现被引量：1
- 2006年
- 定时器是J2ME中实现多任务调度执行的程序框架,由Timer和TimerTask组成,它维护着一个任务队列,管理一个后台线程,任务的调度由后台线程完成。文章简要介绍了定时器,分析其实现机制,探讨了影响其精确度的因素。通过利用虚拟机本地方法调用、事件处理等技术,改进了定时器的计时机制,同时提高了其精确度,并在基于Linux的KVM中实现。
- 敖翔饶若楠傅城
- 关键词：JAVA虚拟机定时器J2ME程序框架
- 一种面向分布组件的协调引擎实现框架被引量：1
- 2001年
- 针对现有的协调模型,提出了一种面向分布组件的协调引擎实现框架,它将模型中的协调问题转化为独立的计算性代码,Concerto以便于系统在设计阶段就可以分析并解决协调问题。由于引擎本身具有分布特性,因此针对一些现有的协调问题,运行在引擎上的协调模型可以相当接近现实中出现的问题。
- 傅城严莉萍尤晋元
- 关键词：分布组件软件开发
- 一种Internet计算中的事件观察与通知机制设计框架被引量：1
- 2001年
- 提出了一个事件机制设计的框架,定义了事件的各个方面特性。这个框架将事件用个模型来描述:对象模型、事件模型、命名模7型、观察模型、时间模型、通知模型、资源模型。对每个模型进行了详细的讨论。并讨论了与环境中事件机制相关的工作,提出了可Internet能出现的研究热点问题。
- 赖明志陈英傅城尤晋元
- 关键词：INTERNET
