教学课程资源库 更多>>

关键词： 手机   JAVA技术   移动通信   互联网  

摘要： 继“彩信”以后，中国移动无线JAVA服务掀起一个新的高潮。目前在中国移动的带领下，包括手机厂商和内容提供商在内，各路人马正在为无线JAVA服务的正式商用做最后的冲刺。

关键词： 数字签名   互联网   信息安全技术   安全管理  

摘要： 数字签名是现代互联网中应用十分广泛的一种信息安全技术,用于保证在不安全的公共网络中,信息传输过程的完整性以及信息发送的不可抵赖性。本文结合Java2特有的安全体系结构,详细讨论了数字签名的定义、作用和基本原理,并给出了一个Java2中数字签名的具体实例。

关键词： QUALCOMM公司   Java技术   移动站   调制解调器   J2ME技术  

关键词： Java程序   逆向工程   形式化方法   Hoare  

摘要： 在程序不断演化的过程中,变得越来越难于理解,软件的维护也成为软件工程师的难题.最后,如果对程度进行了非常多的改变,那么就有必要用逆向工程和设计恢复技术来理解系统的当前行为.对程序代码的逆向工程是建立关于系统的更高级抽象的过程,以便能够更好的理解那些遗产系统或者处于老年状态的系统.体系结构的改变和编程方法的改进(包括在软件开发中使用形式化方法和面向对象编程技术)都促进了对程序代码进行逆向工程和再工程的需求.同时,还有一些需求,像保持现有系统的功能和推理修改后代码的正确性等需求,都可以从通过逆向工程产生的形式化规约中得到帮助.该文提出了一种对Java程序在较低级别上进行逆向工程的方法.这个方法先用前端程序对源代码进行词法分析,给出抽象语法树,从中找出系统的关键方法,并用形式化方法对这些关键部分的语义进行说明,从而帮助维护人员和再工程人员对程序和系统进行理解.该文用到的形式化方法是基于Hoare逻辑的,采用最强后件谓词转换技术及Hoare理论中的部分正确性语义.最后,该文描述一个实验性的工具JavaSpec,并对它的应用进行了简单的介绍.

关键词： Java语言   图像处理   面向对象   图像文件   图像过滤  

摘要： Java作为面向对象的多媒体网络程序设计语言,对图像处理技术的强大支持是它的特色之一.Java的图像处理技术是Java实现网络交互功能的前提和基础,也为实现Java强大的动画功能提供了技术铺垫.

关键词： JAVA技术   科技新闻数据库   WEB   多层体系结构   多媒体数据   SQL数据库  

摘要： 科技新闻栏目是科技信息网站的重要组成部分 ,对于新闻数据库的 WEB操作过去较多采用的是ASP结合数据库的方法 ,实现网页的动态刷新、后台管理等功能 ,本文提出了用 JAVA技术实现基于 SQL数据库的 WEB功能 ,突出 JAVA跨平台和增强数据库安全的优势。

关键词： 手机   JAVA技术   互联网   娱乐游戏  

摘要： 坦克大战、地下寻宝、扫雷、走迷宫……这些游戏你都玩过吗?有没有曾经想过在未来的某一天能在自己的手机上也一样轻松玩转这些游戏。

关键词： Java语言   业务集成   技术规范   Web服务   Sun公司  

关键词： 韩国   无线Internet平台   Java技术   无线Internet标准化论坛   KWISF  

关键词： Java   数字电视   图形显示模型   框架结构   模型设计   类库轻量化改造   类库配置   多媒体图形库   中间件标准  

摘要： 图形显示模型设计是数字电视中间件系统开发中的关键。提出了一种基于Java技术的数字电视图形显示模型方案,介绍了该模型的框架结构以及实现该模型所需的类库轻量化改造、类库重新配置、本地窗口系统适配、多媒体图形库等关键技术。实验证明了设计的可行性。