摘要：本论文摘要已被删除，因为它包含未经许可分发的专有信息。
作者：Giancarlo Crocetti
论文ID：cs/0108012
分类：Other Computer Science
分类简称：cs.OH
提交时间：2007-10-16
PDF 下载： 英文版 中文版pdf翻译中