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

筛选
英文 中文
On analyzing the errors in a selectivity estimation method using a multidimensional file structure 基于多维文件结构的选择性估计方法误差分析
Sang-Wook Kim, Whan-Kyu Whang, K. Whang
{"title":"On analyzing the errors in a selectivity estimation method using a multidimensional file structure","authors":"Sang-Wook Kim, Whan-Kyu Whang, K. Whang","doi":"10.1109/CMPSAC.1998.716635","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716635","url":null,"abstract":"In this paper, we discuss the errors in selectivity estimation using the multilevel grid file (MLGF), a multidimensional file structure. We first analyze the cause of the estimation errors, and then investigate five factors affecting the accuracy of estimation: (1) the data distribution in a region, (2) the number of records stored in the MLGF, (3) the page size, (4) the query region size, and (5) the level of the MLGF directory. Next, we present through extensive experiments the tendency of estimation errors when the value for each factor changes. The results show that the errors decrease when (1) the distribution of records in a region becomes closer to the uniform one, (2) the number of records in the MLGF increases, (3) the page size decreases, (4) the query region size increases, and (5) the level of the MLGF directory containing data distribution information becomes lower. We define the granule ratio, the core formula representing the basic relationship between the estimation error and the above five factors, and finally examine the change of estimation errors in relation with the change of the granule ratio through experiments. The results indicate that with a specific value for the granule ratio, errors tend to be similar regardless of different values for the five factors.","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":"131350537","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
Transformations on hierarchical predicate transition nets: refinements and abstractions 层次谓词转换网络上的转换:改进与抽象
Xudong He
{"title":"Transformations on hierarchical predicate transition nets: refinements and abstractions","authors":"Xudong He","doi":"10.1109/CMPSAC.1998.716652","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716652","url":null,"abstract":"A set of useful refinement rules on hierarchical predicate transition nets (HPrTNs in the sequel) is presented. These rules help a user to develop a large HPrTN in a stepwise approach supporting both top-down and bottom-up development styles. Furthermore, the author has shown that these rules either preserve or facilitate the verification of many system behavioral properties. Another nice feature of these rules is that their applications always result in a valid partial view and an extended and integrated definition of the original HPrTN. The author also briefly discusses related works on refinement techniques based on Petri nets and other specification methods.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"7 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":"130825225","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 general framework for interconnecting annotations of software systems 软件系统注释互连的通用框架
Michael Stein, M. Heimdahl, J. Riedl
{"title":"A general framework for interconnecting annotations of software systems","authors":"Michael Stein, M. Heimdahl, J. Riedl","doi":"10.1109/CMPSAC.1998.716690","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716690","url":null,"abstract":"Computer-supported annotation of software systems and their documentation, including design documentation and source code, is a common and important software engineering activity. Annotated documentation is used in both formal software inspection and informal software maintenance. Viewers of annotated systems may understand the software more easily if annotations are visible not just from the annotated item itself but from other, related items. We propose a general framework for interconnecting annotatable items in software systems to achieve this visibility. We describe filtering and broadening rules that viewers can use to select the annotations they desire to see. We illustrate this framework in the context of object-oriented software system development.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"16 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":"133950941","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
A generic discretionary access control system for reuse frameworks 一种用于重用框架的通用自主访问控制系统
L. K. Wei, S. Jarzabek
{"title":"A generic discretionary access control system for reuse frameworks","authors":"L. K. Wei, S. Jarzabek","doi":"10.1109/CMPSAC.1998.716680","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716680","url":null,"abstract":"A reuse framework consists of an asset repository and repository tools. A repository stores assets, while tools help to manage repository and search for assets. Companies set up reuse frameworks to enforce standards and to enable sharing assets across company departments, project teams and individuals. Any reuse framework, independently of its size and purpose, must employ a mechanism to enforce company's security policies such as access control to various assets, rights to create or modify certain assets, etc. In the paper we describe a generic access control system that can be employed in a wide class of reuse frameworks.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"73 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":"132874576","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
Component-based integrated systems development: a model for the emerging procurement-centric approach to software development 基于组件的集成系统开发:用于新兴的以采购为中心的软件开发方法的模型
V. Tran
{"title":"Component-based integrated systems development: a model for the emerging procurement-centric approach to software development","authors":"V. Tran","doi":"10.1109/CMPSAC.1998.716648","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716648","url":null,"abstract":"The continuing increase of interest in Component-based Software Engineering (CBSE) signifies the emergence of a new development trend within the software industry. Unlike preceding software engineering models, CBSE heavily relies on the utilization of commercial off-the-shelf (COTS) products as the underlying foundation for new product development. Its emphasis is on the acquisition of reusable products to develop complex integrated solutions over their development from scratch. Compared to traditional development-centric approaches, CBSE promises a more efficient and effective means to deliver software solutions to the market. However, underestimating the risks associated with the acquisition of these software components has resulted in longer schedule delay and higher development/maintenance cost. The paper describes a procurement-centric model that we have utilized to effectively support the development of a CBSE project at the Mitsubishi Consumer Electronics Engineering Center (CEEC). The Component-based Integrated Systems Development (CISD) model identifies key engineering phases and their sub-phases that are often ignored, or merely implicit, in existing development-centric models. The paper also presents the various lessons learned implementing CBSE at the CEEC.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"22 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":"126077588","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
Object-oriented software specification in programming language design and implementation 面向对象软件规范中的编程语言设计与实现
B. Bryant, V. Vaidyanathan
{"title":"Object-oriented software specification in programming language design and implementation","authors":"B. Bryant, V. Vaidyanathan","doi":"10.1109/CMPSAC.1998.716685","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716685","url":null,"abstract":"An object-oriented formal specification workbench is proposed for defining the syntax and semantics of programming languages, using which the formal properties of different languages can be elaborated and analyzed. Our specification approach is an object-oriented representation, structured around a denotational semantics methodology which abstracts out various common details so that formal syntax and semantics can be defined elegantly. Specific details can be inherited and specialized in defining the semantics of various programming languages, and the reusability and modifiability of many programming language features can be manifested across language paradigms. Furthermore, prototype implementations for these languages may be automatically developed from the formal specifications, providing a mechanism for compiler/interpreter reuse at the specification level.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"2005 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":"123841374","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
Application development process-a pipeline framework 应用程序开发过程—管道框架
C. Yerrapragada
{"title":"Application development process-a pipeline framework","authors":"C. Yerrapragada","doi":"10.1109/CMPSAC.1998.716628","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716628","url":null,"abstract":"Application development process involves a set of activities to produce an application. Multiple dependencies among multiple activities can affect the development time of the overall application. These activities can be represented as process phases such as analysis, design, implementation, testing and so on. While some development approaches treat each phase to start after completion of the previous phase; others attempt to start a phase before completion of the previous phase. However, there is no clear methodology to follow to start the phases of development at the earliest possible time. We propose a framework for the application development process, where communication, dependency, and relative time between phases are important factors. The methodology proposed to start the activities of application development transforms the development process into a pipeline structure.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"137 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":"125945995","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
Using multi-attribute predicates for mining classification rules 使用多属性谓词挖掘分类规则
Ming-Syan Chen
{"title":"Using multi-attribute predicates for mining classification rules","authors":"Ming-Syan Chen","doi":"10.1109/CMPSAC.1998.716745","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716745","url":null,"abstract":"In order to improve the efficiency of deriving classification rules from a large training dataset, we develop in this paper a two-phase method for multi-attribute extraction. A feature that is useful in inferring the group identity of a data tuple is said to have a good inference power to that group identity. Given a large training set of data tuples, the first phase, referred to as feature extraction phase, is applied to a subset of the training database with the purpose of identifying useful features which have good inference powers to group identities. In the second phase, referred to as feature combination phase, these extracted features are evaluated together and multi-attribute predicates with strong inference powers are identified. A technique on using match index of attributes is devised to reduce the processing cost.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"9 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":"121145808","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
Tools for the knowledge analyst: an information superiority visionary demonstration 知识分析师的工具:一种信息优势的前瞻性论证
M. Maybury
{"title":"Tools for the knowledge analyst: an information superiority visionary demonstration","authors":"M. Maybury","doi":"10.1109/CMPSAC.1998.716700","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716700","url":null,"abstract":"The paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of commercial tools, to the problem of discovery of illegal chemical proliferation activities from open (i.e. unclassified) sources. These include tools for multimedia information extraction and visualization (BNN), machine translation (WebMT), multidocument summarization (WebSumm), group knowledge management (KEAN), expertise discovery (PeopleFinder), and multiparty collaboration (J-CVW). We consider additional, identified and unfulfilled requirements that suggest future research directions such as data and knowledge mining, intelligent human computer interaction, and semantic collaboration.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"2 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":"120933820","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
Provably efficient non-preemptive task scheduling with Cilk 证明有效的非抢占任务调度与Cilk
V.-B. Vee, W. Hsu
{"title":"Provably efficient non-preemptive task scheduling with Cilk","authors":"V.-B. Vee, W. Hsu","doi":"10.1109/CMPSAC.1998.716733","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716733","url":null,"abstract":"We consider the problem of scheduling static task graphs by using Cilk, a C based runtime system for multithreaded parallel programming. We assume no preemption of task execution and no prior knowledge of the task execution times. Given a task graph G, the output of the scheduling algorithm is a Cilk program P which, when executed initiates the tasks in consistence with the precedence requirements of G. We show that the Cilk model has restrictions in implementing optimal schedules for certain types of task graphs; however, the restriction does not fundamentally hinder the practical applications of Cilk, as it is possible to produce reasonably good quality schedules (in the sense of expected execution time). Our algorithm identifies a minimal number of stages, assigns tasks to these stages, and bundles parallel tasks of the same stage into one Cilk procedure. By using Tarjan's algorithm (for set operations) to implement the bundling process, we demonstrate that the parallel schedule can be derived in O(n+e) time for all practical purposes, where n and e denote the number of nodes and edges in the task graph G. With P processors, the expected completion time for the scheduled tasks is bounded by Tp=O(T/sub 1//P+S), where T/sub 1/ denotes the total work, i.e., the time required for executing all tasks on a single processor, and S denotes the sum (over all stages) of the longest execution time of the tasks at each stage. When the execution times of tasks are relatively homogeneous, the quality of the schedule generated by using our approach is nearly optimal.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"33 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":"115188399","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
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学术官方微信