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

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

筛选
英文 中文
Assuring assessment success 确保评估成功
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342802
K. McKeever, J. Morrison, E. Peterson
{"title":"Assuring assessment success","authors":"K. McKeever, J. Morrison, E. Peterson","doi":"10.1109/CMPSAC.2004.1342802","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342802","url":null,"abstract":"An assessment is a complex, labor-intensive process in which a number of things can go awry. This can cause the assessment team to waste time and may result in the presentation of an inaccurate picture of compliance status. By identifying and responding to risks and issues which can negatively impact upon the efficiency of the assessment process, an organization can maximize the opportunity for assessors to accurately determine an organization's true level of compliance. Accurate, relevant findings provide a solid foundation from which to facilitate continuous improvement and achievement of higher process goals. This paper describes the strategies used to successfully conduct an assessment against the Capability Maturity Model for Software in the Motorola iDENtrade Subscriber Group engineering organization in April 2003. The techniques can be applied to other similar appraisal methods (including ISO 9000 audit or a SCAMPISM for CMMIreg ) which involve some combination of interviews and evidence review","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"32 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":"128493412","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}
引用次数: 0
Publicly verifiable auctions with minimal leakage 公开可验证的拍卖，泄漏最小
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342867
Wu Qianhong, Wang Changjie, Chen Xiaofeng, Wang Yu-Min
{"title":"Publicly verifiable auctions with minimal leakage","authors":"Wu Qianhong, Wang Changjie, Chen Xiaofeng, Wang Yu-Min","doi":"10.1109/CMPSAC.2004.1342867","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342867","url":null,"abstract":"Publicly verifiable sealed electronic auctions are proposed. The schemes enjoy the following advantages. They require no special trusted parties. After bid opening phase, only the winning price is revealed and the relation of other bidding amounts keep unknown. The winning price is publicly verifiable. Our scheme supports the first-price auction, Vickrey auction and (M+l)st-price auction. Finally, the first-price auction is very efficient and the generic (M+l)st-price auction is applicable when a high standard of security is required.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"308 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":"124383375","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
Excalibur: a personalized meta search engine Excalibur:一个个性化的元搜索引擎
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342671
L. Yuen, Matthew Chang, Y. K. Lai, C. Poon
{"title":"Excalibur: a personalized meta search engine","authors":"L. Yuen, Matthew Chang, Y. K. Lai, C. Poon","doi":"10.1109/CMPSAC.2004.1342671","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342671","url":null,"abstract":"General purpose Web search engines are becoming ineffective due to the rapid growth and changes in the contents of the World Wide Web. Meta-search engines help a bit by having a better coverage of the WWW. However, users are still overwhelmed by the large amount of irrelevant results returned by a search. A promising approach to tackle the problem is personalized search. Thus the problem of capturing users' personal information need and re-organizing the results has attracted a lot of attention. In this paper, we present a meta-search engine that extracts users' preference implicitly and provides immediate response by re-ranking the results. Re-ranking is done by using the Naive Bayesian classifier and the resemblance measure. Moreover, we show that the users' preference can be succinctly represented by a few keywords.","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":"123930046","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}
引用次数: 13
Coordinating Web services using channel based communication 使用基于通道的通信协调Web服务
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342883
Theophilos A. Limniotes, G. A. Papadopoulos, F. Arbab
{"title":"Coordinating Web services using channel based communication","authors":"Theophilos A. Limniotes, G. A. Papadopoulos, F. Arbab","doi":"10.1109/CMPSAC.2004.1342883","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342883","url":null,"abstract":"We investigate the use of a new concept in component communication during the coordination of Web Services, expressed by the channel based coordinating communication system called Reo. The role of Reo is to construct and manage connectors, the latter being patterns of connected channel communicators. The communication and coordination of components lying over a distributed address space has been dealt so far with stream or datagram connections created and controlled by the participating calculation and coordination components. Web services can take advantage of the Reo channel system that separates communication from computation concerns using components that have independent sink and source ports that can be attached to Web Services components, thus overcoming the problem of compatibility in distributed systems. The flow of information is entirely regulated by the channel interconnections.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"67 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":"117301570","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}
引用次数: 9
Automated consistency and completeness checking of testing models for interactive systems 交互式系统测试模型的自动一致性和完整性检查
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342856
A. Paradkar, Tim Klinger
{"title":"Automated consistency and completeness checking of testing models for interactive systems","authors":"A. Paradkar, Tim Klinger","doi":"10.1109/CMPSAC.2004.1342856","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342856","url":null,"abstract":"The growing acceptance of model-based test generation in industry has created a need for a tester-friendly model construction process and associated tools. In this paper, we present an automated approach for checking consistency and completeness of testing models for interactive systems. The testing models are described in terms of operations provided by the system under test (SUT). Each operation is specified as a set of possible results each with a guard condition and a set of actions on its parameters and the system state. The consistency and completeness checks performed include identification of malformed models, irrelevant state variables, incomplete and redundant guard conditions, missing data values, and nondeterminism in and executability of operation results. We review our testing requirements model, and describe various consistency checks performed on this model. We illustrate these checks with an example test model, and also present algorithms used to perform our analysis","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"5 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":"129591930","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
Active surroundings: a group-aware middleware for embedded application systems 主动环境:嵌入式应用系统的组感知中间件
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342870
Dongman Lee
{"title":"Active surroundings: a group-aware middleware for embedded application systems","authors":"Dongman Lee","doi":"10.1109/CMPSAC.2004.1342870","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342870","url":null,"abstract":"We present active surroundings, a group-aware middleware infrastructure for embedded application systems where entities (devices or services) actively respond to user actions and help users to perform their jobs with no or minimal involvement of users. Our system focuses on two key issues: transparent application reconfiguration and group-context awareness.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"25 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":"125360721","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}
引用次数: 13
An approach to feature based modelling by dependency alignment for the maintenance of the trustworthy 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.1342873
Jungyoon Kim, Doo-Hwan Bae
{"title":"An approach to feature based modelling by dependency alignment for the maintenance of the trustworthy system","authors":"Jungyoon Kim, Doo-Hwan Bae","doi":"10.1109/CMPSAC.2004.1342873","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342873","url":null,"abstract":"Functionalities in a software system can be categorized as accidental or essential, where accidental functionalities are dependent on essential ones, but not vice versa. Distinguishing essential functionalities from accidental ones in the development can lead to the reduction of maintenance effort and to the trustworthy system. In this paper, we propose feature based modelling (FBM) in which accidental functionalities are aligned with essential functionalities. The feature in this approach, as a logical unit, provides traceability from a functionality in the requirements to an implemented module with effective dependency management, thus the accidental features can be modified with minimal disruption to the essential features. FBM enables us to limit working boundary of maintenance activities, thus helps to keep the trustworthiness of the system against unskillful modification.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"10 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":"127636817","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}
引用次数: 9
Computing curricula software engineering: position paper 计算机课程软件工程:意见书
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342823
D. Budgen
{"title":"Computing curricula software engineering: position paper","authors":"D. Budgen","doi":"10.1109/CMPSAC.2004.1342823","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342823","url":null,"abstract":"No curriculum, however good, will solve our problems on its own. We need to take and use this effectively (and hence need measures of what is effective too). My position is therefore that the CCSE is a useful and quite important stepping-stone, but it is not a watershed in the education process nfortunately, I think there are many more tasks ahead of us. The SEI's programme to develop curriculum modules back in the late 1980s represented a determined attempt to bootstrap software engineering education, using expert judgement with some degree of consultation. The process used to develop the CCSE has moved on a step from this, but was still heavily dependent upon expert judgement-even if this has drawn upon a larger community and longer experience. For the next step, we therefore need to begin to replace the use of expert judgement with evidence that has been carefully assembled and systematically reviewed","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"77 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":"130005751","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}
引用次数: 0
On the testing of particular input conditions 对特定输入条件的测试
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342850
E. Chan, P. Poon, Yuen-Tak Yu
{"title":"On the testing of particular input conditions","authors":"E. Chan, P. Poon, Yuen-Tak Yu","doi":"10.1109/CMPSAC.2004.1342850","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342850","url":null,"abstract":"Generating test cases from a specification can be done at an early stage. However, so many important aspects relevant to testing can be identified from the specification that exhaustively testing their combinations can be very costly. A common approach to reduce testing costs is to identify some particular input conditions and test each of them only once. We argue that such an approach should be used judiciously, or else inadequate tests may result. This paper explores several alternatives to assess the validity of the tester's hypothesis that a particular condition can be tested adequately with only one test case. These alternatives help to test the particular conditions more reliably and, hence, reduce the risk of not revealing the existence of faults","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"39 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":"117117928","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
Proof-guided testing: an experimental study 证据导向测试:一项实验性研究
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342890
G. Lussier, H. Waeselynck, K. Guennoun
{"title":"Proof-guided testing: an experimental study","authors":"G. Lussier, H. Waeselynck, K. Guennoun","doi":"10.1109/CMPSAC.2004.1342890","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342890","url":null,"abstract":"Proof-guided testing is intended to enhance the test design with information extracted from the argument for correctness. The target application field is the verification of fault-tolerance algorithms where a paper proof is published Ideally, testing should be focused on the weak parts of the demonstration. The identification of weak parts proceeds by restructuring the informal discourse as a proof tree and analyzing it step by step. The approach is experimentally assessed using the example of a flawed group membership protocol (GMP). Results are quite promising: (1) compared to crude random testing, the proof-guided method allowed us to significantly improve the fault revealing power of test data; (2) the overall method also provided useful feedback on the proof and its potential flaw(s).","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"5 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":"121052749","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
首页 上一页 下一页 尾页
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学术官方微信