188体育app官网_188体育投注

返回首页

《中国计算机学会通信》2010年第2期出版

阅读量:12
2010-02-23
2010年第2期专题是《可信计算(Trusted Computing)》 。随着计算成为人们生活中不可或缺的基础设施,对计算的安全性和可靠性也提出了更高的要求。可信计算(国内有学者建议将Trusted Computing译成信任计算,以区别于Dependable Computing,希望广大学者展开讨论,名词委员会再做决定)作为一种能开发出按照人们预期操作的软硬件技术,被赋予了新的意义,也面临着新的挑战。本期组织的可信计算专题,从其现状和未来进行了阐述,相信会对广大读者了解这个领域有所帮助。
 
专栏栏目刊登了3篇文章,其中中科院计算所韩燕波教授等人撰写的《物联网与云计算》一文对“物联网”“云计算”两个当前热点及其关系,进行了研究,提出了自己的观点。上海交通大学的曹健教授撰写的《从软件服务组合到软件服务自主协同》一文,对软件服务组合、软件服务自主协同进行了阐述。武汉大学何炎祥教师撰写的《“编译原理”课程的思考》,讨论了“编译原理”课程在计算机专业课程教学中的作用,并结合新形势下编译技术的应用前景,对我国计算机专业“编译原理”课程设置改革提出了一些思考。
 
学会论坛栏目刊登了《访问英国工程与技术学会报告》,学习借鉴国际同行的先进理念,是中国计算机学会发展的必修课;和国际同行进行交流合作,是中国计算机学会发展的重要渠道。2009年中国计算机学会了访问英国工程与技术学会。本期将此次访问的收获刊登出来与会员一同分享。本期还刊登了王千祥教授编译的《英国工程技术学会实行会员导师制》,旨在对CCF下一步开展的导师制提供学习研究的材料。
 
目录:
专题
可信计算(Trusted Computing) 金海 李克秋                  
我国可信计算研究与进展 张焕国 何炎祥 赵波              
软件可信性:互联网带来的挑战 梅宏 曹东刚               
网络时代的软件可信演化 王怀民 尹刚                    
可信网络体系结构与关键技术 林闯 陈震 张闰华 罗安安 黄石海 姜欣 伍超 李国栋 邓法超         
TCG的可信计算技术 李俊 毛文波              
 
专栏
物联网与云计算 韩燕波 赵卓峰 王桂玲 刘晨         
从软件服务组合到软件服务自主协同 曹健              
“编译原理”课程的思考 何炎祥 伍春香                
 
动态
第22届高阶定理证明国际会议 王金双 杨华兵 张兴元               
 
译文
可扩展的同步队列(下) 威廉•N•施莱尔 都格•李  迈克尔•L•斯科特(译者 滕达 徐云)
 
学会论坛
访问英国工程与技术学会报告 刘志勇 杜子德               
英国工程技术学会实行会员导师制    王千祥
 
《中国计算机学会通讯》编辑部
cccf@ict.ac.cn
读完这篇文章后,您心情如何?