Everything You Wanted to Know about Privacy (But Were Afraid to Ask)

A review of the book, "Privacy: What Developers and IT Professionals Should Know," by J.C. Cannon.     

What You Always Wanted to Know about Rigid E-Unification

This paper solves an open problem posed by a number of researchers: the construction of a complete calculus for matrix-based methods with rigid E-unification. The use of rigid E-unification and simultaneous rigid E-unification for such methods was proposed by Gallier et al., in 1987. After our proof of the undecidability of simultaneous rigid E-unification in 1995. (Degtyarev and Voronkov, 1996d), it became clear that one should look for more refined techniques to deal with equality in matrix-based methods. In this article, we define a complete proof procedure for first-order logic with equality based on an incomplete but terminating procedure for rigid E-unification. Our approach is applicable to the connection method and the tableau method and is illustrated on the tableau method.     

Wireless LAN Security: Things You Should Know about WLAN Security

Given the well-publicised security holes in baseline wireless LAN (WLAN) standards, just how should security-conscious network managers proceed with safeguarding their wireless environments?     

Things to Know when Implementing KBO

The Knuth–Bendix ordering (KBO) is one of the term orderings in widespread use. We present a new algorithm to compute KBO, which is (to our knowledge) the first asymptotically optimal one. Starting with an ‘obviously correct’ version, we use program transformation to stepwise develop an efficient version, making clear the essential ideas, while retaining correctness. By theoretical analysis we show that the worst-case behavior is thereby changed from quadratic to linear. Measurements show the practical improvements of the different variants.     

以太网七要素

在工厂生产层使用以太网之前,必须了解它的七个要素。这里,我们以Profinet标准为例,为大家一一进行介绍。1.网络布局办公室的网络拓扑布局并不适用于工厂生产层,那里采用的是工厂/机器的以太网拓扑布局。办公室以太网的基础架构通常是由商业级的产品构建,它们在恒温的环境和星型拓扑构建的交换网络中可以很好地发挥作用;而与此不同,工业以太网架构常常要面对多变的意     

What You Need to Know About Software Contracts

Because the software industry is undergoing an accelerated rate of development, contract standardization is difficult, and contracts are frequently inconsistent. The MIS manager can contend with these discrepancies by understanding the fundamental software contract provisions and by protecting the rights of the organization while respecting the legitimate concerns of the software vendor.     

基于TLDA和SVSM的音乐信息检索模型

随着协同标注功能的普及,用户可以通过标注自己感兴趣的音乐实现个性化的分类管理,因此音乐共享系统中的社会化标签已成为互联网的重要资源。为了提高音乐检索系统的效率,综合考虑了社会化标签的特性及其对音乐检索模型的影响,利用了TLDA方法来进行标签聚类以获取更多的语义相关的标签,综合考虑了用户检索行为、歌词、音乐标签和音乐流行度来提高音乐信息检索系统的性能。实验表明,基于TLDA和SVSM的音乐检索模型相比于基于属性数据的音乐检索模型以及k-means标签聚类的模型,尤其是在音乐标签稀疏和非正规的情况下,能够在一定程度上提高音乐检索的性能。     

What You Need to Know About... Microsoft Virtual Server 2005 R2

微软一直致力于开发一款可以与EMC的VMware相媲美的服务器级别的虚拟机（VM）软件。结果是微软技高一筹，还是VMware继续领先？     

What You Need to Know About...Windows Small Business Server 2003 R2

Windows Small Business Server 2003 R2在安全性和管理性上做了一些重要的改进，比如：集成TWSUS，以及一个特别的“技术升级计划”。本文为你详细解读。     

Attention web designers: You have 50 milliseconds to make a good first impression!

Three studies were conducted to ascertain how quickly people form an opinion about web page visual appeal. In the first study, participants twice rated the visual appeal of web homepages presented for 500 ms each. The second study replicated the first, but participants also rated each web page on seven specific design dimensions. Visual appeal was found to be closely related to most of these. Study 3 again replicated the 500 ms condition as well as adding a 50 ms condition using the same stimuli to determine whether the first impression may be interpreted as a 'mere exposure effect' (Zajonc 1980). Throughout, visual appeal ratings were highly correlated from one phase to the next as were the correlations between the 50 ms and 500 ms conditions. Thus, visual appeal can be assessed within 50 ms, suggesting that web designers have about 50 ms to make a good first impression.     

Attention web designers: You have 50 milliseconds to make a good first impression!

Three studies were conducted to ascertain how quickly people form an opinion about web page visual appeal. In the first study, participants twice rated the visual appeal of web homepages presented for 500 ms each. The second study replicated the first, but participants also rated each web page on seven specific design dimensions. Visual appeal was found to be closely related to most of these. Study 3 again replicated the 500 ms condition as well as adding a 50 ms condition using the same stimuli to determine whether the first impression may be interpreted as a 'mere exposure effect' (Zajonc 1980). Throughout, visual appeal ratings were highly correlated from one phase to the next as were the correlations between the 50 ms and 500 ms conditions. Thus, visual appeal can be assessed within 50 ms, suggesting that web designers have about 50 ms to make a good first impression.