关键词： 移动计算   进程代数   移动环境演算   模态逻辑   内涵性   同余关系  

摘要： 环境演算(MA)的模态逻辑AL进行了研究.在考虑了复制操作和限制操作的情况下,提出了逻辑等价的协归纳操作描述,并利用协归纳关系与进程结构同余关系进行比较,证明了若对MA加上约束条件得到子集MAsynIF,此时逻辑等价(=L)与结构同余关系是等价的,即AL在MAsynIF中是内涵的.同时发现由于复制操作的存在,AL的内涵性受到了影响,使得AL的区分能力被削弱,但通过对复制公式的构造验证了AL的表达能力.

关键词： 创新科技公司   移动计算   笔记本电脑   英特尔公司   中国移动通信公司  

关键词： 迁移工作流   移动计算   停靠站服务器   任务派遣机制  

摘要： 在基于移动计算范型的迁移工作流系统犤1犦中,停靠站服务器是连接内部工作机与外部节点的桥梁。该文首先给出了停靠站服务器的基本结构及对应的功能,重点讨论了基于串并行子任务下的任务派遣机制,然后给出了迁移实例的排序实验。实验表明,停靠站服务器模型结构清晰合理,运行可靠,基于J2EE规范保证了系统能与其他基于Java环境的移动agent系统进行集成。

关键词： 蜂窝基站   数字电子技术   模拟电子技术   通信设备   模拟技术   移动计算   驱动力   发展趋势   支持  

摘要： 目前,移动计算与通信设备已很普遍,数字电子技术正是支持这一发展的驱动力,不过模拟电子技术发展也同样重要,二者缺一不可.

关键词： 英特尔公司   迅驰技术   移动计算技术   笔记本电脑   无线功能   Wi-Fi  

关键词： Intel公司   迅驰移动计算   处理器   产品价格  

关键词： 方正科技公司   英特尔公司   中国移动   移动计算应用体验   随e行  

关键词： CDMA2000   802.11x   GPRS   CDPD   无线上网   神州数码   电池使用时间   笔记本电脑   移动计算   在线  

摘要： 笔记本电脑价格的不断下降、性能的进一步提升以及电池使用时间的不断进步使得移动计算变得越来越惬意,无论是802.11x、GPRS、CDMA2000 1X甚至是CDPD,多种无线上网解决方案使得“时刻在线”成为可能。在众多的无线联网解决方案中,802.11x主要应用于无线局域网、CDPD则由于速度?（共1页)

关键词： 企业   解决方案   科技公司   EPC   移动软件   系统   全球   移动计算   新一代   扫描设备  

摘要： 美国讯宝(Symbol)科技公司是一家提供企业移动解决方案的企业,目前全球有4.5万个场所安装了讯宝科技的WLAN解决方案,部署了700多万台扫描设备和移动计算系统.Symbol企业移动解决方案集成了先进的数据采集技术、坚固强大的移动计算系统、无线系统、移动软件和世界级的Symbol企业移动服务.Symbol提供的端到端、实时的企业移动解决方案,可以提高员工生产力、降低运营成本、改进运营效率并增强竞争优势.

关键词： Intelligent Agents   Mobile computing   Distributed Multimedia   Context-sensitive service delivery   intelligent precaching  

摘要： Poor data rates often hinder the timely dissemination of multimedia content to users in a mobile computing environment. We describe an approach, based on dynamic and proactive precaching, to overcome these limitations. This approach, which we term intelligent precaching,is realized through the innovative deployment of intelligent agents on mobile devices.