简介：随着计算机及软件系统逐步渗透到社会生活的方方面面，对软件可靠性、安全性和保密性的要求也越来越高．本文阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约方法，以及演绎证明和模型检测等形式验证方法。

简介：由于故意的安全攻击所引起的网络服务宕机事件越来越频繁，这些事件以往则多半是由于系统故障所引起的。根据Gartner的调查报告，对于那些不采取主动安全防护措施的公司而言，由于软件系统故障所引起的系统宕机事件将在2008年增加至三倍。

简介：文章分析了目前部分高职院校学生自主学习尤其是主动学习成效不明显的原因,从学校、教师和学生三个方面提出了针对性的解决思路和办法。学校教学资源的优化整合可以给学生创设一个积极的自主学习环境,教学过程中教师的课堂引领意识和教学方式的正确运用是促使学生主动学习的关键因素,而学生主动学习意识的培养也非常重要。

简介：如果说2004年之前的SP市场让很多手机用户为增值业务凭添了许多担心和烦恼,那么2004年开始的一系列变化,则让今天的手机用户对实用丰富的增值业务有了更多的期待和放心.

简介：重庆管局通过主动上门到企业征求意见等形式，全方位、多层次、多途径征求各服务对象以及广大党员干部群众的意见，为不断改进机关工作作风、提高工作效率、提升通信监管水平和服务质量奠定了坚实基础。

简介：随着互联网应用的深入，计算机系统安全问题和网络安全受到的威胁日益增加。本文介绍了主动防御技术的概念和原理，分析了当前主动防御的现状和基本技术体系，最后对主动防御技术的发展趋势作出了展望。

简介：对于运营商而言，其不仅仅要提供网络支撑、收费通道，更重要的是应该充分调动价值链各个环节的积极性，推动建立良陛运营和协作机制，引导价值链健康发展。

简介：高职院校学生干部是教师的得力助手,发挥着上传下达的桥梁纽带作用,选拔一支高素质的学生干部队伍,是高职院校学生管理工作中非常重要的一环,加强高校学生干部队伍建设,是高职院校学生管理一项重要工作,文章是根据作者在学生管理上的工作经历,结合在高职院校学生干部队伍建设当中出现的问题,探索更为合适学生干部选拔、培养的路径。

简介：文章在对L职业大学近两年退学情况进行调查的基础上,辅之深度访谈与参与式观察相结合的质性研究方法,透析了大学生主动退学的深层次原因,提出“以生为本”的教育管理理念及柔性干预策略。

简介：信息产业部147号文件明确规定：运营商必须在2004年3月底实现全国范围内短消息互通，但时至今日，手机与小灵通短信互联仍然是雾中花、水中月。

简介：

简介：自1984年推出世界上第一台手持式蜂窝电话以来，摩托罗拉公司一直领导著世界蜂寓电话的发展不断为用户提供最小、最轻、性能蛀佳的蜂窝电话产品。现任手机部中国区总经理的李之柏介绍说，自1990年以来，摩托罗拉左手机生产方面走在前列，首元在无津建立了摩托罗拉的工厂，在杭州也建成了摩托罗拉电话的生产基地。在这期间里，摩托罗拉蜂窝电话的业务以200％的年增长递增，手机生产占有率在全球三达40％以上。