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

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

筛选
英文 中文
Formal support for development of JavaBeans/spl trade/ component systems 对JavaBeans/spl交易/组件系统开发的正式支持
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342801
B. Upadhyaya, Zhiming Liu
{"title":"Formal support for development of JavaBeans/spl trade/ component systems","authors":"B. Upadhyaya, Zhiming Liu","doi":"10.1109/CMPSAC.2004.1342801","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342801","url":null,"abstract":"Component based software development focuses on building software systems by assembling existing software components. This makes the systems more maintainable, reduces development time and minimizes development as well as maintenance costs. The Java programming language supports component based software development through JavaBeanstrade. Specifying JavaBeans in a natural language is ambiguous to the software systems developers. The use of a formal technique helps to express JavaBeans and consequently JavaBeans-based software systems precisely. This paper presents a formal model of JavaBeans, whereby a system can be divided into a number of interconnected JavaBeans. We adopt the notion of refinement to formalize the replaceability of JavaBeans","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"217 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":"115190386","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}
引用次数: 7
Stream composition for highly adaptive and reconfigurable mobile middleware 用于高适应性和可重构移动中间件的流组合
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342815
Yongjie Zheng, A. Chan
{"title":"Stream composition for highly adaptive and reconfigurable mobile middleware","authors":"Yongjie Zheng, A. Chan","doi":"10.1109/CMPSAC.2004.1342815","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342815","url":null,"abstract":"Using gateway proxies is one important approach to facilitating adaptation across wireless and mobile environments. Importantly, augmented service entities deployed within the gateway proxy residing on the wired network can be composed and deployed to shield mobile clients from the effects of poor network characteristics. The usual approach to the static composition of service entities on the gateway proxy is to have these service entities interact with each other by explicitly invoking procedures on the named interface. The tight coupling of interfaces inhibits the flexible composition and adaptation of the service entities to the dynamic operating characteristics of wireless networks. In this paper, we present a Mobile GATEway for the Active deployment of Transport Entities or MobiGATE (pronounced as Mobi-Gate) for short. MobiGATE is a mobile middleware framework that supports the robust and flexible composition of transport entities, known as streamlets. The flow of data traffic is subjected to processing by a chain of streamlets. Each streamlet encapsulates a service entity that serves to adapt the flow of traffic across the wireless network. To facilitate the dynamic reconfiguration of the streamlets, we advocate applying the concept of coordination as the unifying approach to composing these transport service entities. Importantly, MobiGATE delineates a clear separation of interdependency parts from the service-specific computational codes of those service entities by using a separate coordination language to describe the coordination among streamlet service entities. To this end, we have defined a compositional language called MobiGATE Coordination Language (MCL) that provides rich constructs to support the definition of compositions, with constrained type validation and checking","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":"126632008","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
Mining complex relationships in the SDSS SkyServer spatial database 在SDSS SkyServer空间数据库中挖掘复杂关系
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342697
Bavani Arunasalam, S. Chawla, Pei Sun, Robert Munro
{"title":"Mining complex relationships in the SDSS SkyServer spatial database","authors":"Bavani Arunasalam, S. Chawla, Pei Sun, Robert Munro","doi":"10.1109/CMPSAC.2004.1342697","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342697","url":null,"abstract":"We describe the process of mining complex relationships in spatial databases using the maximal participation index (maxPI), which has a property of discovering low support and high confidence rules. Complex relationships are defined as those involving two or more of: multifeature co-location, self-co-location, one-to many relationships, self-exclusion and multifeature exclusion. We report our results of mining complex relationships in data extracted from the Sloan Digital Sky Survey (SDSS) database.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"38 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":"126161533","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}
引用次数: 11
Compressing an inverted file with LCS 用LCS压缩一个反向文件
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342676
Fang-Yie Leu, Yao-Chung Fan
{"title":"Compressing an inverted file with LCS","authors":"Fang-Yie Leu, Yao-Chung Fan","doi":"10.1109/CMPSAC.2004.1342676","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342676","url":null,"abstract":"The document index construction is one of the most important concerns in designing an information retrieval system. The most common index structure used in document retrieval is the inverted file, which consists of inverted lists holding lists of pointers to all the locations of the given terms in the documents collected. The size of an inverted file can be reduced by the use of compression techniques. We exploit randomized minimum spanning tree (MST) algorithm, which uses the spanning tree verification and randomized sampling.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"41 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":"126764781","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
Towards an authentication middleware to support ubiquitous Web access 朝着支持无处不在的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.1342665
Ning Zhang, J. Chin, A. Rector, C. Goble, Y. Li
{"title":"Towards an authentication middleware to support ubiquitous Web access","authors":"Ning Zhang, J. Chin, A. Rector, C. Goble, Y. Li","doi":"10.1109/CMPSAC.2004.1342665","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342665","url":null,"abstract":"This extended abstract reports our on-going work on the design and development of a flexible multifactor authentication middleware to support secure, finegrained and ubiquitous data access through Web services.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"15 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":"122088070","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
State of the art and future of research in software process improvement 软件过程改进研究的现状和未来
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342835
Miguel A. Serrano
{"title":"State of the art and future of research in software process improvement","authors":"Miguel A. Serrano","doi":"10.1109/CMPSAC.2004.1342835","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342835","url":null,"abstract":"Software process improvement (SPI) is a relatively new area, developed in the last twenty years. Most ideas in SPI were adopted from the theories and methodologies for quality in manufacturing systems developed in the last few decades In the last years, we have seen an explosion in the number of methodologies, models, appraisal methods, and research in SPI, such as the ISO/IEC 15504, CMM, CMMI, Agile Methodologies, ISO 9000, Balbridge, Six Sigma, etc. to mention a few. Furthermore, each model and methodology is supported by different groups of people and research groups, which makes it difficult for practitioners, university teachers, and researchers to be able to understand, teach, adopt, and apply those best practices for the development and maintenance of software and systems","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"7 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":"123840667","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}
引用次数: 12
Situated modelling of scenarios 情景情境建模
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342812
Francisco A. C. Pinheiro
{"title":"Situated modelling of scenarios","authors":"Francisco A. C. Pinheiro","doi":"10.1109/CMPSAC.2004.1342812","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342812","url":null,"abstract":"This paper presents the use of situation theory for scenario modelling. The concepts of situation theory are used to propose a form of scenario description in which not only the scenarios episodes, but also their contexts and their pre and postconditions are viewed as situations. Reasoning with situation theory allows the investigation of scenarios consequences and the identification of inconsistencies between what is expected and the actual effects resulting from scenarios actions. Also, building scenarios in a situation theoretical setting facilitates the parallel construction of a domain ontology","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"38 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":"131865094","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}
引用次数: 2
WS-FIT: a tool for dependability analysis of Web services WS-FIT:用于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.1342690
N. Looker, M. Munro, Jie Xu
{"title":"WS-FIT: a tool for dependability analysis of Web services","authors":"N. Looker, M. Munro, Jie Xu","doi":"10.1109/CMPSAC.2004.1342690","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342690","url":null,"abstract":"This work provides an overview of fault injection techniques and their applicability to testing SOAP RPC based Web service systems. We also give a detailed example of the WS-FIT package and use it to detect a problem in a Web service based system.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"342 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":"116446154","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}
引用次数: 53
Modular design of reactive 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.1342842
C. Seceleanu, T. Seceleanu
{"title":"Modular design of reactive systems","authors":"C. Seceleanu, T. Seceleanu","doi":"10.1109/CMPSAC.2004.1342842","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342842","url":null,"abstract":"We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action systems. The traditional interleaving paradigm is completed with a new barrier synchronization mechanism. This is achieved by introducing a new parallel composition operator, applicable to both discrete and hybrid models. While offering improvements with respect to control and modularity, the approach uses the correctness preserving mechanisms provided by the underlying reasoning environment.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"8 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":"132735111","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
A taxonomy and hierarchy of variability dependencies in software product family 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.1342858
M. Jaring, J. Bosch
{"title":"A taxonomy and hierarchy of variability dependencies in software product family engineering","authors":"M. Jaring, J. Bosch","doi":"10.1109/CMPSAC.2004.1342858","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342858","url":null,"abstract":"In a software product family context, software architects design architectures that support product diversification in both space (multiple contexts) and time (changing contexts). Product diversification is based on the concept of variability: a single architecture and a set of components support a family of products. Software product families have to support increasing amounts of variability, but variability dependencies are often ill-defined and have unexpected or even unknown behavior This paper suggests a (1) taxonomy and a (2) hierarchy of variability dependencies in a software product family context. The taxonomy is based on the concept of variation points and identifies four main types of variability dependencies. The four-tier hierarchy is a generalization of the architectural layers found in the so-called building block method","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":"133233961","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}
引用次数: 29
首页 上一页 下一页 尾页
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学术官方微信