论文录用信息

经会议评委严格评审，NASAC2009录用长文20篇，短文62篇，详细的录用信息如下。

一、长文录用信息

经会议评委评审，以下20篇论文被会议以全文形式录用。请各位作者按照评审意见认真修改论文，并严格按照《电子学报》要求正确排版。为确保论文按时印刷，请务必在7月10日之前提交修改后的论文，否则视自动放弃。修改后的论文提交到nasac2009@gmail.com。如被期刊选中发表，将按期刊要求自付版面费。另外，大会要求，每篇论文必须至少有一个作者注册，并有作者到会宣读论文。有关注册的具体细节，我们将另发邮件通知。有关会议的最新消息，请随时关注会议网站。

序号	PaperID	PaperTitle	PaperAuthor
1	9	一个可扩展企业应用系统安全模型的设计与实现	柳玉辉 刘德辉 赵大哲
2	25	基于信任值的动态角色定义和管理语言	冯冲 罗军 王小峰 陈迪
3	34	自适应网构软件的集成开发环境SADE	毛新军 李学斯 董孟高 胡翠云 吴斌
4	36	基于GPU的体绘制算法研究	杨金柱 赵大哲 栗伟 耿欢 王艳飞
5	42	基于软件体系结构的Web应用自适应	郭卿 曹春 马晓星
6	44	基于环扇区的无线传感器网络K近邻查询处理算法	刘亮 秦小麟 戴华 杨丰
7	47	A Privacy Policy Mechanism Based on Granular Computing	Zhen Qin,Tao Wu, Xianping Tao, Jian Lu
8	48	SOArTester:一个基于精简用例的服务组合自动化测试系统	金若凡 孙海龙 李翔 周超
9	57	基于TPM构建可信Hash树	周洪伟 石文昌
10	91	基于模型检验的Java测试用例自动生成方法的研究与实现	邓小琴 刘超
11	94	一种基于领域知识模板的网构中间件动态伸缩方法	杨杰 李影 邱杰 黄罡
12	97	基于相似性度量的面向对象程序方法级克隆侦测	于冬琦 彭鑫 赵文耘
13	98	一种构件标签自动提取方法及其实现	刘飞 王立杰 李戈 赵俊峰
14	102	基于策略的Web服务实时性能评价与验证	刘永利 白晓颖 王立军
15	105	支持MDD的建模语言体系结构框架研究	李晋 战德臣 聂兰顺 徐晓飞
16	111	一种基于消息传递机制的语义Web服务组合方法	崔华 应时
17	119	基于动态代理的上下文感知编程模型EIPM研究	任蓓丽 齐勇 张俊斌 李明 牛玉洁 赵万贺
18	124	基于Tropos模型的需求风险分析	李晓红 刘强
19	133	一种Web Service 响应时间的动态预测方法	郑晓霞 赵俊峰 程志文 谢冰
20	139	基于环境知识的软件可信性需求获取	刘春 王越 金芝

二、短文录用信息
        
经会议评委评审，以下62篇论文被会议以短文形式录用。请各位作者按照评审意见认真修改论文，并严格按照《计算机科学》的版面格式排版。为确保论文质量，会议要求短文论文5页/篇，版面费600元/篇。超出5页的，增加100元/页。为确保论文按时印刷，请务必在7月10日之前提交修改后的论文，否则视自动放弃。请将修改后的论文提交到nasac2009@gmail.com。另外，大会要求，每篇论文必须至少有一个作者注册，并在会议期间将论文张贴介绍。张贴介绍模板稍后发出。有关注册的具体细节，我们将另发邮件通知。有关会议的最新消息，请随时关注会议网站。

序号	PaperID	PaperTitle	PaperAuthor
1	2	一种基于PLSA的网页推荐方法	张卫丰 徐宝文 许蕾
2	6	一种新的元级规划算子构造算法	奇洁 刘亚清 陈荣
3	8	支持领域特征和qos约束的网构软件构件组装方法	马华 张红宇 杨路明
4	12	一个基于上下文的信任管理系统的设计与实现	辛显龙 徐锋 吕建
5	13	基于用户兴趣度的Web服务发现研究	李双庆 李士果 罗希意
6	17	一种基于证据理论的信任传递方法	邱翔 张莉 姜巍
7	19	向量空间模型和聚类检索相结合的追踪关系自动产生方法的研究	狄方舒 张茂林
8	21	一种基于行为的应用程序动态度量模型	周晓东 王丹
9	22	用规约增强J2ME的GUI测试：Jesat获得的实验体会	侯莹 杜振军 陈荣
10	23	基于语义空间向量模型的语义Web服务匹配排序机制	曾志浩 应时 陈锐 赵楷
11	24	一种混合完整性控制的设计与实现	袁欢 陈松政
12	28	一种基于特征的访问控制需求建模方法	孙连山 黄罡
13	29	基于行为的构件适应方法研究	谢兄 张维石
14	30	动态图软件水印技术与实现	余盛季 王晓斌
15	31	基于AADL的构架抽象工具设计	覃杨森 董云卫 王庚
16	35	基于Flex的Web流程建模工具的设计与实现	周进刚 刘长虹 纪勇 于超 赵大哲
17	37	面向用户的软件柔点测试	赵承霞 申利民 彭思维 李建光 刘惠
18	38	基于THP+2PC的竞争性Web服务组合	高正 马晓星 蔡璟
19	39	一种基于包围盒的非线性透明显示算法	杨金柱 牛纪朋 赵大哲
20	43	支持动态演化的组合服务执行引擎的设计与实现	纪一鹏 刘旭东 孙海龙 曾晋
21	45	面向地震资料处理的内存访问模型及优化方法研究	王政 王雷 李子星
22	49	一种图文法驱动的可视化软件建模工具构建方法	徐胜强 马晓星 曹春 吕建
23	50	一种扩展的EJB构件框架的实现*	陈祥 谢德平 曹春 马晓星
24	52	异构分布式系统中实时非周期任务的容错调度算法	蒋新剑 张莉 高晖 路红
25	53	中间件管理服务化的实例研究	陈星 刘钊 刘儇哲 文沛 孙大伟 黄罡
26	54	一种可用于软件自适应的体系结构本体建模方法	匡宏宇 余萍 马晓星 曹春
27	55	一种基于XML 的自适应对象建模方法	严坤 姜劲松 倪桂强
28	58	一种基于节点备份的网格调度容错方法	马锋明 朱巧明 李培峰 孙中友
29	59	J2WS：一种JAVA遗留系统的服务化重构和封装工具	高鹏 李翔 孙海龙 朱蒋俊
30	62	基于规则注入的自主构件协作框架的设计与实现	马剑竹 焦文品 黄冀渝
31	67	基于关注点关联图的需求追踪	张晶 金英 郝伟平 马鹏飞 张燕 李泽鹏
32	69	需求关注点建模方法及在嵌入式系统中应用	郝伟平 金英 李泽鹏 刘磊
33	72	Chu空间进程代数	杜旭涛 刑春晓 周立柱
34	74	基于反馈控制论的软件质量运行时动态优化	陈碧欢 彭鑫 赵文耘
35	75	OSGi服务虚拟提供机制的ASM模型研究	徐成 黄林鹏 徐小辉
36	79	基于UML 的软件体系结构模型重配置冲突分析	吕书田 周宇 马晓星
37	81	一种面向移动平台的用户定制服务模型	刘晗 郭耀 陈向群
38	84	软件演化模型研究综述	原子 王晓博 刘超 于莉莉
39	89	上下文感知系统中一种传感器故障诊断方法	徐初 陶先平
40	92	测试系统通用模型调试研究与实现	刘迪 吴际 刘超 沙安澜
41	93	基于隐藏证书技术的分布式认证方法	陈迪 罗军 王小峰 冯冲
42	95	基于双边意愿的委托授权协商模型	高荣瑞 孙宇清
43	99	面向业务流程执行可靠性的服务选择	周丽 孙宇清
44	101	基于体系结构级依赖分析的变更影响分析方法	张夏 彭鑫 赵文耘
45	108	一种分布式实时工作流执行引擎的设计和实现	范曌 高晖 张莉 樊志强
46	115	面向JBoss应用服务器的软件老化监测模型	刘宏磊 杜小智 侯迪 齐勇
47	117	基于体系结构的软件产品线开发支持工具	祝家意 彭鑫 沈立炜 赵文耘
48	120	面向可变性的Java 代码增量自动重构	谭曦 彭鑫 赵文耘
49	123	基于本体的RFID应用层事件处理的研究与设计	应俊 何晖 齐勇 候迪
50	125	一个面向遗产代码的复用代码集合抽取工具的实现	黄艺燕 王立杰 古亮 李戈 赵俊峰
51	126	SyncTest：一种模型驱动的软件测试方法	刘涛 白晓颖 迟剑
52	127	基于QoS信息的Web服务的检索机制及其实现	敬丹 赵俊峰 邵凌霜 谢冰
53	128	基于Pi-Logic约束的服务组合验证与分析	李祥 黄志球 袁敏
54	129	软件再生实验平台的设计与实现	陈鹏飞 杜小智 赵静 齐勇
55	132	QoS驱动的Web服务软件建模方法	刘冬梅 邵志清 陈丽琼 范贵生
56	134	一种P2P网络中基于局域网代理的搜索算法	刘孝男 房至一 唐焕焕
57	135	基于商空间粒度计算理论的服务组合方法	沈林峰 齐勇 侯迪 陈莹 罗元盛 徐东红
58	137	服务网络中的风险传播建模与分析	房烨 刘璘
59	138	一种基于建构主义的需求抽取方法	张鹤 刘璘
60	140	OWL-S到Z规格说明的转换	王毅俊 缪淮扣 许庆国 曹晓夏
61	141	Web应用功能交互的建模与测试用例生成	周晓康 缪淮扣 陈圣波
62	143	一个基于类图描述与验证非功能属性的工具	何慧虹 麻志毅