不是开玩笑的CIBAI与GBuy

2009年5月22日星期五

CIBAI:
An abstract interpretation-based static analyzer for modular analysis and verification of Java classes

"We introduce Cibai a generic static analyzer based on abstract interpretation for the modular analysis and verification of Java classes. We present the abstract semantics and the underlying abstract domain, a combination of an aliasing analysis and octagons.

We discuss some implementation issues, and we compare Cibai with similar tools, showing how Cibai achieves a higher level of automation and precision while having comparable performances..."

Microsoft Research

-----------------------------------

2006年前，

GBuy:
Google's online payment system, is expected to launch June 28, further pitting the Internet giant against industry titan and rival eBay, according to a research note released Friday by a Wall Street analyst.

"Google is able to gather the data when users click on a merchant's Gbuy feature. Consumers are then transferred to Google's Gbuy site, where they complete the transaction.

Google's payment system, as a result, holds the potential to monitor which paid-search results users click on and of that group, which ones turn into actual sales. With that information, Google may find itself in the enviable position of being able to identify which categories bring in the highest return on investment for advertisers, Rohan stated...."

Google's GBuy

注:Google现在用的Google's Checkout就是以前的Google's GBuy.

------------------------------------

开玩笑吗？
什么名字来的？
什么资讯工艺？
是华人也懂，这名字肯定会让人尴尬，更让人难以启齿。
资讯工艺的两个巨头真的没有华人提醒他们（那些老外）选名字要小心某些译音。
华语、方言多得很，同音异字繁多。
这个词该怎么念啦！
我可不想“粗口”横飞。
不过我们工作的领域，有可能会遇上这两个“咚咚”。
不过，这两个“咚咚”得到蛮多外界的注目。
或许，
是一种推广策略。
我们就一笑置之吧。