ACSC 2008征集论文,要求在计算机科学研究的所有领域中做出贡献。今年的会议收到了来自澳大利亚,新西兰,中国,法国,印度,伊朗,牙买加,乔丹,马来西亚,巴基斯坦,南非,土耳其,英国和台湾的意见书。提交论文所涉及的主题说明了该学科的广泛性。作者将其提交的文章分为以下一个或多个主题: p>
-算法(9篇论文) p>
-人工智能(7篇论文) p>
-通信和网络(4篇论文) p>
-计算机体系结构(2篇论文) p>
-计算机视觉(4篇论文) p>
-数据库(5篇论文) p >
-分布式系统(6篇论文) p>
-电子商务(4篇论文) p>
-形式方法(6篇论文) p>
-图形( 6篇论文) p>
-高性能计算(7篇论文) p>
-人机交互(8篇论文) p>
-移动计算(6篇论文) p>
-多媒体(1篇论文) p>
-面向对象的系统(3篇论文) p>
-本体(1篇论文) p>
-操作系统( 5篇论文) p>
-编程语言(4篇论文) p>
-机器人技术(1篇论文) p>
-科学计算(5篇论文) p>
-安全和可信系统(5篇论文) p>
-模拟(6篇论文) p>
-软件工程(5篇论文) p>
-语音(1篇论文) p>
-理论(3 p apers) p>
-可视化(6篇论文) p>
-Web服务(3篇论文) p>
该程序委员会由来自全球的28位知名学者组成,包括澳大利亚,巴西,加拿大,日本,新西兰,新加坡和美国。所有论文均已发送给至少三名计划委员会成员进行审核,并且已竭尽全力获得至少三篇审核。在提交的47篇论文中,有16篇被选为会议论文。 p>
程序委员会邀请Joxan Jaffar教授就“程序分析的约束逻辑编程”作主旨演讲。 Jaffar教授最近在新加坡国立大学(National University of Singapore)担任计算机学院院长(2001-2007)。他的兴趣是编程语言和应用程序,重点是逻辑和约束编程范例。他的主要贡献是约束逻辑编程的原理以及广泛使用的CLP(R)系统。委员会还邀请了本杰明·伯顿博士和伊万·坦佩罗副教授作邀请演讲。伯顿斯博士的演讲题为“信息学奥林匹克:编程和算法设计的挑战”。坦佩罗斯(Temperos)副教授的演讲题目为“衡量Java软件”。
机译:关于一级代理交互协议的理性动态逻辑
机译:用于在多主体组织中规范交互协议的组成框架
机译:使用有色Petri网设计复杂的代理交互协议:云服务组合案例研究
机译:论一流代理交互协议的非法组成
机译:代理交互协议和约束满足问题的正式规范。
机译:非法实验室突袭期间执法人员的合成大麻素和三精子胺暴露—内华达州2014年
机译:关于一流代理交互协议推理的命题动态逻辑
机译:检查代理设计与早期缺陷定位的交互协议的一致性