发布求助
文献互助 智能选刊 最新文献

Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.最新文献

筛选
英文 中文
Adaptive control software: can we guarantee safety? 自适应控制软件:我们能保证安全吗?
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342686
Yan Liu, S. Yerramalla, Edgar Fuller, B. Cukic, S. Gururajan
{"title":"Adaptive control software: can we guarantee safety?","authors":"Yan Liu, S. Yerramalla, Edgar Fuller, B. Cukic, S. Gururajan","doi":"10.1109/CMPSAC.2004.1342686","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342686","url":null,"abstract":"The appeal of including adaptive components in complex computational systems, such as flight control, is in their ability to cope with a changing environment. Continual changes induce uncertainty that limits the applicability of conventional verification and validation (V&V) techniques. In safety-critical applications, the mechanisms of change must be observed, diagnosed, accommodated and well understood prior to deployment. We present a nonconventional V&V approach suitable for online adaptive systems. We applied this approach to an adaptive flight control system that employs neural network learning for online adaptation. Presented methodology consists of a Novelty Detection technique and Online Stability Monitoring tools. The Novelty Detection technique is based on support vector data description that detects novel (abnormal) data patterns. The Online Stability Monitoring tools based on Lyapunov's stability theory detect unstable learning behavior in neural networks.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133067983","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
Embedded software in real-time pervasive computing environments 实时普适计算环境中的嵌入式软件
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342871
S. Yau
{"title":"Embedded software in real-time pervasive computing environments","authors":"S. Yau","doi":"10.1109/CMPSAC.2004.1342871","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342871","url":null,"abstract":"The characteristics and requirements of embedded software in real-time pervasive computing environments are considered. Enabling techniques for such embedded software, and research challenges in developing these techniques are discussed.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133546040","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
An intelligent component retrieval system using conversational CBR 基于会话式CBR的智能构件检索系统
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342670
Mingyang Gu, Xin Tong
{"title":"An intelligent component retrieval system using conversational CBR","authors":"Mingyang Gu, Xin Tong","doi":"10.1109/CMPSAC.2004.1342670","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342670","url":null,"abstract":"One difficulty in component retrieval comes from users' incapability to well define their queries. In this paper, we propose a conversational component retrieval model (CCRM) to alleviate this difficulty. In CCRM, a knowledge-intensive conversational case-based reasoning method is adopted to infer potential knowledge from current known knowledge, calculate the context-based semantic similarities between users' queries and stored components, and prompt users the most discriminative questions to extract more information to refine their component queries interactively and incrementally.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126121046","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
An imprecise computation model in reducing power consumption of flash memory for portable devices 一种降低便携式设备快闪存储器功耗的不精确计算模型
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342677
Li-Ping Tung, Jia-Ming Chen, Wei-Fen Hsu, W. Shih
{"title":"An imprecise computation model in reducing power consumption of flash memory for portable devices","authors":"Li-Ping Tung, Jia-Ming Chen, Wei-Fen Hsu, W. Shih","doi":"10.1109/CMPSAC.2004.1342677","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342677","url":null,"abstract":"A methodology is proposed to transform the power consumption problem for flash memory storage of a hard real-time embedded system into an imprecise computation model. Also, based on imprecise computation models, two scheduling algorithms have been developed to minimize the total power consumptions of the online service requests (i.e., tasks) for a flash memory of a hard real-time embedded system. To the best of our knowledge, it is the first idea to solve the power consumption problem of a hard real-time embedded system using imprecise computation models.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130277937","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A secure mobile agent system model based on extended elementary object system 基于扩展基本对象系统的安全移动代理系统模型
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342830
Lu Ma, J. Tsai, T. Murata
{"title":"A secure mobile agent system model based on extended elementary object system","authors":"Lu Ma, J. Tsai, T. Murata","doi":"10.1109/CMPSAC.2004.1342830","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342830","url":null,"abstract":"Mobile agent technology has received a large amount of attention throughout recent years because of its salient merits and promising future. But it also brings significant new security problems. Little work has been done to solve these problems through intuitive formal methods. In this paper, we proposed a new formal model of a secure mobile agent system based on an extended elementary object system (EEOS) which combines object oriented technology with Petri nets. This model has three hierarchical levels: mobile agent platform level, mobile agent level and security mechanism level. We also proposed a security mechanism - synchronous firing security mechanism to detect malicious host attacks on mobile agent code or execution flow. This paper also discusses how to translate our EEOS model to a coloured Petri Net model supported by Design/CPN and presents the simulation-based analysis of our EEOS model","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130377404","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Codifying a service architectural style 编写服务体系结构风格
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342800
D. Budgen, P. Brereton, M. Turner
{"title":"Codifying a service architectural style","authors":"D. Budgen, P. Brereton, M. Turner","doi":"10.1109/CMPSAC.2004.1342800","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342800","url":null,"abstract":"We discuss what constitutes a 'software service model' and propose a framework that can accommodate both component-based and service-based systems, while also distinguishing between 'static' and 'dynamic' forms of service delivery. We then draw upon this, and upon our own experiences of developing service-based forms, to consider what characteristics a service architecture might possess","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127953973","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
POP beyond SODA, reaching the new horizon of service cooperation POP超越SODA，达到服务合作的新境界
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342844
Shaohua Liu, Dan Ye, Jun Wei, Gang Xu, Yonglin Xia, Yu Liu
{"title":"POP beyond SODA, reaching the new horizon of service cooperation","authors":"Shaohua Liu, Dan Ye, Jun Wei, Gang Xu, Yonglin Xia, Yu Liu","doi":"10.1109/CMPSAC.2004.1342844","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342844","url":null,"abstract":"As we have been gaining more experiences in services provision, online services are becoming increasingly complex. They have moved from simple service provision and invocation to very sophisticated service interaction and cooperation. As presented in this paper, service cooperation will be a promising computation model to achieve overall goals beyond individual capabilities. Based on the supreme wide spread of service-oriented development (SODA), the process-oriented platform (POP), with favourable flexibility derived from late binding, will be the optimum approach to this end. The PI production developed by us is such a system implementation, in which architecture, components, and functionalities are also introduced in detail. We believe that the service cooperation paradigm is a hopeful solution to future service evolution, and the PI system will be an instructive explorer to reach this new horizon","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130130535","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Dynamic real-time scheduling for multi-processor tasks using genetic algorithm 基于遗传算法的多处理器任务动态实时调度
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342820
Shu-Chen Cheng, Yueh-Min Huang
{"title":"Dynamic real-time scheduling for multi-processor tasks using genetic algorithm","authors":"Shu-Chen Cheng, Yueh-Min Huang","doi":"10.1109/CMPSAC.2004.1342820","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342820","url":null,"abstract":"With the exponential growth of time to obtain an optimal solution, the job-shop scheduling problems have been categorized as NP-complete problems. The time complexity makes the exhaustive search for a global optimal schedule infeasible or even impossible. Recently, genetic algorithms have shown the feasibility to solve the job-shop scheduling problems. However, a pure GA-based approach tends to generate illegal schedules due to the crossover and the mutation operators. It is often the case that the gene expression or the genetic operators need to be specially tailored to fit the problem domain or some other schemes may be combined to solve the scheduling problems. This paper presents a GA-based approach with a feasible energy function to generate good-quality schedules. This work concentrates mainly on dynamic real-time scheduling problems with constraint satisfaction. In our work, we design an easy-understood genotype to generate legal schedules and induce that the proposed approach can converge rapidly to address its applicability","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129226051","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Protein functional motion query and visualization 蛋白质功能运动查询和可视化
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342683
Xiong Liu, H. Karimi, Lee-Wei Yang, I. Bahar
{"title":"Protein functional motion query and visualization","authors":"Xiong Liu, H. Karimi, Lee-Wei Yang, I. Bahar","doi":"10.1109/CMPSAC.2004.1342683","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342683","url":null,"abstract":"Function is a dynamic property closely related to the conformational mechanisms of the protein structure in its physiological environment. Efficient methods and tools for predicting collective motions at the molecular level are becoming increasingly important for understanding and controlling the function of target proteins. The molecular motions of proteins in different mode types are determined in the present study using the Gaussian network model (GNM). Based on GNM, we present a system that enables efficient query and visualization of protein dynamic behaviors such as mode shapes and 3D mobility structures.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"203 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123016283","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Computer supported cooperative work in software engineering 软件工程中计算机支持的协同工作
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342852
J. J. Li, Tangqiu Li, Zongkai Lin, A. Mathur, K. Kanoun
{"title":"Computer supported cooperative work in software engineering","authors":"J. J. Li, Tangqiu Li, Zongkai Lin, A. Mathur, K. Kanoun","doi":"10.1109/CMPSAC.2004.1342852","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342852","url":null,"abstract":"Summary form only given. The explosive growth of Internet and wireless infrastructure allows software development collaboratively from multiple locations. Technology and standards have evolved to the point where it is feasible to perform full life cycle software development through multiple site cooperation. In fact, most large software corporations have distributed or even global software development, an example of which is the current trend of outsourcing to India and China. Much research in the area of CSCW concentrated on the area of improving efficiency of groupware. Topics include group awareness, multi-user interfaces, concurrency control, communication and coordination within the group, shared information space and the support of a heterogenous, open environment which integrates existing single-user applications, and etc. The focus is on application of CSCW technology to software engineering regarding collaborative software development, including design, workflow, testbeds, and etc. In particular, we would like to discuss one fundamental question, i.e. whether CSCW software development is more efficient than single-location software development. The topics of our discussion include, but are not limited to the following: 1. What is the impact of CSCW on software reliability, as compared with single-site software development? 2. What is the impact of CSCW on software productivity as compared with single site software development? 3. What are the benefits of CSCW for software engineering? 4. What are the new research topics in CSCW for software engineering? 5. How can CSCW be used in software design, development and testing?","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"14 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120849896","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信