2004年第28届COMPSAC:中国香港-研讨会论文
-
第28届国际计算机软件和应用会议(COMPSAC 2004),基于可信软件的系统的设计和评估,2004年9月27日至30日,中国香港,研讨会论文。 IEEE计算机学会 2004
快速摘要
软件设计与分析
哈桑·雷扎 , 伊曼纽尔·格兰特 :
面向模型的软件体系结构。 4-5 黄长琴 , 陈德仁(Deren Chen) , 胡华良 :
基于网格服务的工程计算体系结构。 6-7 弗兰克·夏 :
面向对象规范语义分析的通用面向对象体系结构语言。 8-9 Raihan Al-Ekram公司 , Kostas Kontogiannis公司 :
基于XML的语言中立程序表示和泛型分析框架。 10-11 彭丽 , 比诺伊·拉文德兰 , E.道格拉斯·詹森 :
使用时间/效用函数的自适应时间关键型资源管理:过去、现在和未来。 12-13 康拉德·米勒 :
寻址:所有编程恶魔的根源。 14-15
软件质量保证
费夫齐·贝利 , 克里斯托夫·巴德尼克 :
面向交互式系统覆盖测试的优化。 18-19 曾慧 , 大卫·雷恩 :
使用神经网络估计软件缺陷修复工作量。 20-21 弗兰克·夏 , Praveen Srikanth公司 :
用于预测源代码可维护性的更改影响依赖性度量。 22-23 克里斯托弗·福尔曼 , 爱德加多·帕尔扎 , Kim Loan Do公司 :
优化成熟组织中软件独立验证与确认(IV&V)的规划和执行。 24-25 斯特凡·戈森 , 马里奥·达尔辛 :
基于视图的控制流度量。 26-27 周建云 , 托尔斯特哈内 :
使用FMEA对基于Web的系统进行早期鲁棒性分析。 28-29 盖里·科尔曼 :
极限编程(XP)作为“最小”软件过程:一个扎根的理论。 30-31 佐藤·阿苏塔 , 松浦圣子 :
分布式环境中的eXtreme编程支持工具。 32-33
安全、信息检索和基于代理的软件
张宁(Ning Zhang) , 杰·钦(Jay Chin) , 艾伦·L·雷克托 , 卡罗尔·高布尔 , Y.Li(李彦宏) :
支持无处不在的Web访问的身份验证中间件。 36-38 托马斯·霍尔兹 :
一种高效的分布式入侵检测方案。 39-40 托尼·阿布·阿萨勒 , 尼克·塞尔科内 , 弗拉多·凯塞尔吉 , 雷·斯威登 :
基于N-Gram的新恶意代码检测。 41-42 胡善丽 , 吴海燕 :
具有内部状态的智能Agent决策模型。 43-44 沈志琦 , 罗伯特·K·L·盖伊 , 袁淼 , 苗春燕 :
目标自治代理体系结构。 45-46 顾明阳 , 新通 :
基于对话CBR的智能构件检索系统。 47-48 李奥·袁 , 马修·张 , Ying Kit Lai(英吉莱) , 钟强彬(Chung Keung Poon) :
Excalibur:一个个性化的元搜索引擎。 49-50 Edmund Hon Chung Mak先生 , 赤卫丰 , 李青(音) :
对象XML框架中的富媒体检索:使用结构连接索引层次结构的Flash电影案例研究。 51-52
软件应用程序
于应忠(Yuk Ying Chung) , 孙勇(音) , 王鹏浩 , 陈晓明 :
使用高性能定制计算机的新型电子购物系统。 54-55 基米·阿金贝欣 , 尼勒什·帕特尔 :
混合型汽车无线线束的开发。 56-57 俞平 , 慧余 :
从移动健康应用程序开发实践中吸取的教训。 58-59 梁芳怡 , 姚忠凡 :
使用LCS压缩反转文件。 60-61 李平东 , 陈嘉明 , 徐伟芬 , 石维宽 :
降低便携设备闪存功耗的不精确计算模型。 62-63 胡安·帕尔多 , 何塞·卡洛斯·坎佩罗 , 胡安·何塞·塞拉诺 :
工业应用嵌入式操作系统的鲁棒性研究。 64-65
研讨会
地理和生物数据管理讲习班I
裴全金 , 李华岳 , 余昌宫 :
一种表示连续运动区域的新方法。 70-73 拉克希米·N·斯里帕达 , 长田路 , 吴伟力 :
评估GML对空间数据库的支持。 74-77 罗伯特·劳里尼 , 卢卡·保利诺 , 莫妮卡·塞比洛 , 热那维法·托托拉 , 朱利安娜·维蒂埃洛 :
用于连续字段查询的空间SQL扩展。 78-81 罗杰·齐默尔曼 , 魏新库 , 王浩君(Haojun Wang) :
对等系统中的空间数据查询支持。 82-85 熊刘 , 哈桑·卡里米 , 李伟阳 , 伊维特·巴哈尔 :
蛋白质功能运动查询和可视化。 86-89
软件控制论I研讨会
沈俊荣 , 王千祥 , 洪梅 :
自适应软件:控制论视角和应用服务器支持的框架。 92-95 F.T.Chan(陈冯富珍) , K.P.Chan先生 , 曾月珍(Tsong Yueh Chen) , 邱明耀 :
CG约束下的自适应随机测试。 96-99 刘燕(Yan Liu) , 桑帕特·耶拉马拉 , 埃德加·富勒 , 博扬·库基奇 , 斯里坎思·古鲁拉扬 :
自适应控制软件:我们能保证安全吗? 100-103
基于Web的应用程序的质量保证和测试研讨会I
奥法特 , 叶武 , 杜晓晨 , 洪晃 :
Web应用程序绕过测试。 106-109 洪朱 :
质量保证和测试Web软件的合作代理方法。 110-113 刘建宏 :
Java服务器页面的数据流分析和测试。 114-119 Nik Looker公司 , 马尔科姆·蒙罗 , 徐杰(音译) :
WS-FIT:Web服务可靠性分析工具。 120-123
地理和生物数据管理讲习班二
王路生 , 赵浩 , 郭竹东 , 李建平 :
关于发现新兴模式的复杂性。 126-129 罗英伟 , 刘新鹏 , 王文军(Wenjun Wang) , 王晓林 , 徐卓群 :
Web服务和地理信息集成。 130-133 杨国辉 , 周春光 , 胡成泉 , 浙江余 , 杨洪记 :
基于改进贝叶斯推理网络模型和隐马尔可夫模型的蛋白质二级结构预测方法。 134-137 克里斯汀·艾克霍斯特 , 阿里·克罗托鲁 , 佩吉·阿古利斯 , 安东尼·斯特凡尼迪斯 :
环境数据建模的时空螺旋。 138-141 巴瓦尼·阿鲁纳萨拉姆 , 桑贾伊·朝拉 , 裴荪 , 罗伯特·芒罗 :
挖掘SDSS SkyServer空间数据库中的复杂关系。 142-145 张中南 , 吴伟力 , 黄耀春 :
局部尺度天气预报的动态多维关联规则挖掘。 146-149
研讨会软件控制论II
弗兰克·帕德伯格 :
将软件过程建模与马尔可夫决策理论联系起来。 152-155 斯科特·米勒 , 雷蒙德·德卡洛 , 阿迪蒂亚·马图尔 :
增量软件测试过程的建模和控制。 156-159 加法里·阿布 , 李尼壁虎 , 乔昂·W·坎古苏 :
软件测试过程控制:现状和未来方向。 160-163
基于Web的应用程序的质量保证和测试研讨会II
王千香 , 里宁泉 , 傅成英 :
基于Web的应用程序的在线测试。 166-169 蔡伟泰(Wei-Tek Tsai) , 陈一农 , 雷蒙德·保罗 , 辽宁 , 海黄 :
动态组合Web服务验证中的协作测试和组测试。 170-173 大卫·陈浩(David Chenho Kung) :
用于测试Web应用程序的基于代理的框架。 174-177 J.珍妮·李 , 豪厄尔·耶伊 :
代码覆盖引导的优先测试生成。 178-181