简介：互联网上有的网站需要注册才能看到上面的一些文章，但是注册比较麻烦，浪费时间不说，登记我们的邮箱地址也容易被大量的垃圾邮件骚扰。有没有办法解决这个问题呢?Firefox有一个非常不错的插件，名为“BugMeNot”。当网站提示你登录时，

简介：

简介：

简介：

简介：

简介：

简介：《电脑高手》至今的50期中经典文章数不胜数，仅这曾有的50个专题中，大部分就都具有很大的影响。然而，同为好文章，总也有高下之分，所以我们评出下面的十篇文章，它们不仅仅在《电脑高手》的如星文章中是佼佼者，而且在当时都引起了很大的轰动，并且对IT行业与媒体产生了延续多年的影响。我们一一列回这些曾经熟悉的名字，并给大家讲出当年文章背后的故事。

简介：该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cationandDescriptionLanguage）以及树表结合表示法（TTCN：TreeandTabularCombinedNotation））探讨了协议的形式化描述与一致性验证问题．给出了协议形式化描述与一致性验证的一般方法.

简介：本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。

简介：随着计算机和互联网的迅猛发展和广泛应用，知识内在的异质性和分布性已经严重地阻碍了知识在多主体和软件实体之间的共享和重用，而形式本体已被认为是很有前途的解决方法。作为一门专业领域知识，考古学知识是人类知识的重要组成部分，在自然语言处理、知识系统、信息检索、信息提取和智能教学等知识密集型应用中是必不可少的。