...库 -维普资讯 关键词: 移动计算 CCS 协议 进程通信 进程代数 随机过程 马尔可夫链[gap=801]Key words: mobile computation ; CCS ; protocol ; process communication ; process algebra ; stochastic process ..
基于40个网页-相关网页
It is an efficient way of combining the static analysis based on the security extended type system to solve the mobile computation security problems.
通过对移动计算安全框架的分析,指出考虑安全性要求的扩展类型系统这一静态分析方法是解决移动计算安全性问题的有效方法之一。
参考来源 - 一种基于程序语言的移动计算安全模型 in CBy utilizing the mobile communication and mobile computation technology,this paper put forward the concept of digital human(DM) and built DM prototype.
基于移动通信及移动计算技术,提出了车间数字化制造系统中"数字化人"的概念。
参考来源 - 基于数字化人的车间数字化制造系统·2,447,543篇论文数据，部分数据来源于NoteExpress
Embedded GIS based on PDA combined with GPS is promising in realizing the real display of the maps under the mobile computation situation.
基于PDA的嵌入式GIS与GPS相结合实现在移动计算环境下的地图的实时显示有很好的应用前景。
It is an efficient way of combining the static analysis based on the security extended type system to solve the mobile computation security problems.
通过对移动计算安全框架的分析，指出考虑安全性要求的扩展类型系统这一静态分析方法是解决移动计算安全性问题的有效方法之一。
By utilizing the mobile communication and mobile computation technology, this paper put forward the concept of digital human (DM) and built DM prototype.
基于移动通信及移动计算技术，提出了车间数字化制造系统中“数字化人”的概念。
应用推荐