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

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)最新文献

筛选
英文 中文
Recommending anchor points in structure-preserving hypertext document retrieval 在保留结构的超文本文档检索中推荐锚点
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716724
B. Kao, Joseph K. W. Lee, D. Cheung, C. Ng
{"title":"Recommending anchor points in structure-preserving hypertext document retrieval","authors":"B. Kao, Joseph K. W. Lee, D. Cheung, C. Ng","doi":"10.1109/CMPSAC.1998.716724","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716724","url":null,"abstract":"Traditional WWW search engines index and recommend individual Web pages to assist users in locating relevant documents. Users are often overwhelmed by the large answer set recommended by the search engines. The logical starting point of the hyper-document is thus hidden among the large basket of matching pages. Users need to spend a lot of effort browsing through the pages to locate the starting point, a very time consuming process. The paper studies the anchor point indexing problem. The anchor points of a given user query is a small set of key pages from which the larger set of documents that are relevant to the query can be easily reached. The use of anchor points help solve the problems of huge answer set and low precision suffered by most search engines by considering the hyper-link structures of the relevant documents, and by providing a summary view of the result set.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115939634","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
Code synthesis based on object-oriented design models and formal specifications 基于面向对象设计模型和形式化规范的代码合成
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716686
Xiaoping Jia, Sotiris Skevoulis
{"title":"Code synthesis based on object-oriented design models and formal specifications","authors":"Xiaoping Jia, Sotiris Skevoulis","doi":"10.1109/CMPSAC.1998.716686","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716686","url":null,"abstract":"Presents an approach to synthesizing functional and robust code from object-oriented design models and Z data and operation specifications. The approach used is based on an integrated notation of the Unified Modeling Language (UML) and a slightly extended Z notation to include object-oriented concepts and structures. Our approach generates fully functional code which can be compiled and executed without modifications. The information from object-oriented analysis and design models along with the formal specifications are combined, analyzed and translated into an intermediate representation from which code can be generated. A research prototype has been developed to demonstrate the feasibility and the effectiveness of our approach.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126759124","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
Reliability of conformance tests 一致性测试的可靠性
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716682
C. Hagwood, L. Rosenthal
{"title":"Reliability of conformance tests","authors":"C. Hagwood, L. Rosenthal","doi":"10.1109/CMPSAC.1998.716682","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716682","url":null,"abstract":"A conformance test is a software assurance test that is applied in order to determine if specification requirements of the software are being met. It is a time-independent model, where the software object is subjected to an a priori known test suite. The reliability of the software is the probability that it will function properly for values in the input space. Because the input space is usually very large, it is impossible to sample all input values, so in order to provide better sampling coverage, the input space is partitioned into homogeneous subspaces. Samples are drawn from each subspace for testing the software. The conformance tests based on these samples are required to pass all tests in the test suite. Based on these data, the classical statistical estimate of reliability is one. Such an estimate may be unrealistic if the sample sizes are not large. Even in such a scenario a nontrivial confidence interval is provided for the reliability.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122938218","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
IDATG: an open tool for automated testing of interactive software IDATG:用于交互式软件自动测试的开放工具
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716698
Armin Beer, Stefan Mohacsi, C. Stary
{"title":"IDATG: an open tool for automated testing of interactive software","authors":"Armin Beer, Stefan Mohacsi, C. Stary","doi":"10.1109/CMPSAC.1998.716698","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716698","url":null,"abstract":"The IDATG (Integrating Design and Automated Test Case Generation) specification technique and tool is introduced. It is designed for the automated generation of test cases during the testing of interactive industrial applications. In addition to checking the application's usability, IDATG supports both the specification of the behavior of a user interface and the generation of two types of test case i.e. for GUI coverage and for checking the usability of the application. The test procedure for both cases is based on a particular test process model and on a formal language for representing the user interface. The tool architecture comprises a set of visual editors, a language interpreter and a test case generator. The interface concept on which the components are based enables the tool to be integrated into industrial platforms for defining and executing test cases. A first cost/benefit analysis indicates a significant reduction of effort for test case specification and test result analysis.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114147687","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}
引用次数: 21
Evaluation of object-orientation for industrial usage 工业用途的面向对象评价
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716748
A. Onoma
{"title":"Evaluation of object-orientation for industrial usage","authors":"A. Onoma","doi":"10.1109/CMPSAC.1998.716748","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716748","url":null,"abstract":"We have a few number of pilot projects in Object-Oriented Development (OOD) for small scale systems whose sizes are around 40 to 80 thousand lines of code in C++. We believe OOD should contribute in the software productivity improvement. But we found some issues in OOD which should be more improved for industrial environment.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115854552","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
Database access with HTML and Java-a comparison based on practical experiences 使用HTML和java访问数据库——基于实际经验的比较
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716727
K. M. Göschka, Jürgen Falb, W. Radinger
{"title":"Database access with HTML and Java-a comparison based on practical experiences","authors":"K. M. Göschka, Jürgen Falb, W. Radinger","doi":"10.1109/CMPSAC.1998.716727","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716727","url":null,"abstract":"We use HTML and Java to enable relational databases for the World Wide Web and provide a comparison between both techniques based on practical experiences. We introduce a novel design and implementation technique for database backed Web applications based on a state machine model. The key idea is to create a design language to describe the user interface layout, the functionality and the database transactions in a homogenous way. The implementation of such a system is then composed from several parts with potentially different techniques, for example either a pure HTML interface with all its functionality at the server side or a Java applet with more functionality at the client side. The goal is to generate the different implementations automatically from the design language. With this development framework the design and implementation of various database backed Web applications will be easier, faster and less error prone.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116881227","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
Range-based bitmap indexing for high cardinality attributes with skew 基于范围的位图索引高基数属性与倾斜
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716637
Kun-Lung Wu, Philip S. Yu
{"title":"Range-based bitmap indexing for high cardinality attributes with skew","authors":"Kun-Lung Wu, Philip S. Yu","doi":"10.1109/CMPSAC.1998.716637","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716637","url":null,"abstract":"Bitmap indexing, though effective for low cardinality attributes, can be rather costly in storage overhead for high cardinality attributes. Range-based bitmap (RBM) indexing can be used to reduce this storage overhead. The attribute values are partitioned into ranges and a bitmap vector is used to represent a range. With RBM, however, the number of records assigned to different ranges can be highly uneven, resulting in non-uniform search times for different queries. We present and evaluate a dynamic bucket expansion and contraction (DBEC) approach to simultaneously constructing range-based bitmap indexes for multiple high-cardinality attributes. Simulations are conducted to evaluate this DBEC approach. Both synthetic and real data are used in the simulations. The results show that (1) with highly skewed data, DBEC performs quite well compared with a simple approach and (2) DBEC compares favorably with the optimal approach.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115238894","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}
引用次数: 69
Efficient state estimators for load control policies in scalable Web server clusters 用于可扩展Web服务器集群中负载控制策略的有效状态估计器
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716694
V. Cardellini, M. Colajanni, Philip S. Yu
{"title":"Efficient state estimators for load control policies in scalable Web server clusters","authors":"V. Cardellini, M. Colajanni, Philip S. Yu","doi":"10.1109/CMPSAC.1998.716694","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716694","url":null,"abstract":"Replication of information across a server cluster provides a promising way to support popular Web sites. However a Web server cluster requires some mechanism for directing requests to the best server. One common approach is to use the Domain Name Server (DNS) as a centralized schedule. However address caching mechanisms and the non-uniformity of the load from different client domains complicate the load balancing issue and make existing scheduling algorithms for traditional distributed systems not applicable to Web server clusters. We consider the theoretical DNS policies that require some system state information. We extend them to realistic situations where state information needs to be estimated with low computation and communication overhead. We show that by incorporating these estimators into the DNS policies, load balancing improves substantially, even if the DNS control is limited to a small portion of client requests.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115554262","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}
引用次数: 16
Challenges in data management for the United States Department of Defense (DoD) command, control, communications, computers, and intelligence (C/sup 4/I) systems 美国国防部(DoD)指挥、控制、通信、计算机和情报(C/sup 4/I)系统的数据管理挑战
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716737
M. Ceruti
{"title":"Challenges in data management for the United States Department of Defense (DoD) command, control, communications, computers, and intelligence (C/sup 4/I) systems","authors":"M. Ceruti","doi":"10.1109/CMPSAC.1998.716737","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716737","url":null,"abstract":"This paper explores challenges facing data administrators, database engineers, and knowledge-base developers in the management of information in the United States (U.S.) Department of Defense (DoD), particularly in the information systems utilized to support Command, Control, Communications, Computers, and Intelligence (C/sup 4/I). These information systems include operational tactical systems, decision-support systems, modeling and simulation systems, and non-tactical business systems, all of which can affect the design, operation, interoperation, and application of C/sup 4/I systems. Specific topics include issues in integration and interoperability, joint standards, data access, data aggregation, information-system component reuse and legacy systems. Broad technological trends, as well as the use of specific developing technologies will be discussed in light of how they may enable the U.S. DoD to meet the present and future data-management challenges.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123525405","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
M-base: enduser-initiative application development based on message flow and componentware M-base:基于消息流和组件的终端用户主动应用程序开发
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716646
Takeshi Chusho, M. Matsumoto, Yuji Konishi
{"title":"M-base: enduser-initiative application development based on message flow and componentware","authors":"Takeshi Chusho, M. Matsumoto, Yuji Konishi","doi":"10.1109/CMPSAC.1998.716646","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716646","url":null,"abstract":"An explosive increase in end user computing on distributed systems requires that end users develop application software by themselves. One solution is given as a formula of \"a domain model/spl equiv/a computation model.\" This formula implies that one task in a domain model of cooperative work corresponds to one object in a computation model based on an object oriented model. The application development environment, M-base, supports this formula for cooperative systems such as groupware and workflow systems. At the first stage, the system behavior at a macro level is expressed by using a modeling and simulation tool for constructing a message driven model while focusing on message flow and componentware. At the second stage, a source program in a script language is generated automatically from the message driven model. Furthermore, if necessary, static structure and detailed specifications of objects are expressed in the script language. Communication among objects is performed by a set of messages instead of a message, for implementation of flexible workflow.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"133 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115301875","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信