In proc . workshop on formal methods and security protocols fmsp 99 , trento , italy , 1999 , http : citeseer 而且spv直接对输入的协议进行处理,不需要用户对协议理想化idealizations抽象后处理
2.
In proc . the 2005 symposium on applications and the internet , trento , italy , jan . 31 - feb . 4 , 2005 , ieee computer society , pp . 31 - 37 但是，对portlet的表示层特征的规范和有效描述对于门户却更为重要，因为门户的目标就在于表示层的集成。
3.
Yu zhou , yanqing he , and chengqing zong , the casia phrase - based statistical machine translation system for iwslt 2007 . in proceedings of the international workshop on spoken language translation ( iwslt ) , october 15 - 16 , 2007 , trento , italy 周可艳，宗成庆，汉英统计翻译系统中未登录词的处理方法，见：孙茂松、陈群秀主编，内容计算的研究与应用前沿（第九届全国计算语言学学术会议论文集） ，北京：清华大学出版社，第356 361页。
