检索结果-内蒙古大学图书馆

Comparing software system requirements negotiation patterns

systems engineering 1999年第1期2卷 1-14页

作者： Egyed, Alexander Boehm, Barry Center for Software Engineering University of Southern California Henry Salvatori Computer Science Building Los Angeles CA 90089-0781 United States Center for Software Engineering University of Southern California United States WinWin Groupware System

In a period of 2 years, two rather independent experiments were conducted at the University of Southern California (USC). In 1995, 23 three-person teams negotiated the requirements for a hypothetical library system. Then, in 1996, 14 six-person teams negotiated the requirements for real-world digital library systems. A number of hypotheses were created to test how more realistic software projects differ from hypothetical ones. Other hypotheses address differences in uniformity and repeatability of negotiation processes and results. The results indicate that repeatability in 1996 was even harder to achieve then in 1995. Nevertheless, this article presents some surprising commonalties between both years that indicate some areas of uniformity. As such we found that the more realistic projects required more time to resolve conflicts and to identify options (alternatives) than the hypothetical ones. Further, the 1996 projects created more artifacts, although they exhibited less artifact interconnectivity, implying a more divide-and-conquer negotiation approach. In terms of commonalties, we found that people factors, such as experience, did have effects on negotiation patterns (especially in 1996) and that users and customers were most significant (in terms of artifact creation) during the goal identification, whereas the developers were more significant in identifying issues (conflicts) and options. We also found that both years exhibited some strange although similar disproportional stakeholder participation. © 1999 John Wiley & Sons, Inc.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Semantic integration of databases using linguistic knowledge 12th

引用

12th Australian Joint Conference on Artificial Intelligence, AI 1999

作者： Lee, Jeong-Oog Baik, Doo-Kwon Software System Lab Dept. Of Computer Science and Engineering Korea University 1 5-ka Anam-dong Smigbuk-gu SEOUL136-701 Korea Republic of

ISBN: (纸本)3540668225

In order to give users integrated access to a large number of heterogeneous, autonomous information sources, we need an effective and efficient mechanism for enabling knowledge to be shared and exchanged. Sharing of knowledge, to be efficient and effective, must take accoimt of semantic representation and semantic integration. In this par per, we provide a mechanism for knowledge sharing. We have made use of WordNet as linguistic knowledge to represent and interpret the meaning of the information, to integrate the information, and to give users efficient access to the integrated information. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A data registry-based approach for semantic represention and exchange of XML documents 5th

A data registry-based approach for semantic represention and...

引用

5th International computer science Conference, ICSC 1999

作者： Na, Hong-Seok Chae, Jin-Seok Baik, Doo-Kwon Software System Lab. Dept. of Computer Science and Engineering Korea University 1 5-ka Anam-dong Sungbuk-gu Seoul136-701 Korea Republic of

ISBN: (纸本)3540669035

XML users can make their own document structure and tagsets by freely defining the DTD with their intention. This freedom of defining tagsets and the structures, however, prevents the interchange of an XML document between two applications without knowing the other’s DTD. In this paper, we proposed a method to represent meaning of tags in XML documents using data registries as a semantic sharing environment. The key idea of the method is to attach a data element identifier in data registries to the corresponding tags in XML documents. Based on the method, we designed a converting process for XML documents, which make it possible to exchange XML documents between applications automatically even if they use different DTDs. © Springer-Verlag Berlin Heidelberg 1999.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

SemNet: A semantic network for integration of databases 5th

SemNet: A semantic network for integration of databases

引用

5th International computer science Conference, ICSC 1999

作者： Lee, Jeong-Oog Baik, Doo-Kwon Software System Lab. Dept. of Computer Science and Engineering Korea University 1 5-ka Anam-dong Sungbuk-gu Seoul136-701 Korea Republic of

ISBN: (纸本)3540669035

A multidatabase system provides integrated access to heterogeneous, autonomous component databases in a distributed system. In order to gain integrated access to a multidatabase system, semantic heterogeneities have to be detected and resolved. That is, the multidatabase system must interpret and integrate the meaning of the information and identify semantically equivalent or related objects. The approach presented in this paper uses WordNet as linguistic knowledge to represent and interpret the meaning of the information, to integrate the information, and to give users efficient access mechanism to the integrated information. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Formal verification of RACE protocol using SSM

Formal verification of RACE protocol using SSM

引用

IEEE Region 10 International Conference TENCON

作者： Hahnseng Kim Jin-Young Choi Ando Ki Woo-Jong Han Department of Computer Science & Engineering Korea University Seoul South Korea Computer System Dept ETRI-CSTL(Computer and Software Technology Laboratory) Taejon South Korea

Cache coherence protocols are important for operating a shared-memory multiprocessor system with efficiency and correctness. Cache coherence protocols have become increasingly complex because physical memory is logically distributed, so that it is difficult for programmers to understand the view of logical shared-memory systems. Since random testing and simulations are not enough to validate the correctness of these protocols, it is necessary to develop efficient and reliable verification methods. Through the use of the Symbolic State Model (SSM) of Fong Pong (1995), we verified a directory-based protocol called the RACE (Remote-Access Cache coherence Enforcement) protocol. The protocol is verified for any system size, without state-space explosion.

关键词： Formal verification Access protocols State-space methods Explosions Electronic mail Multiprocessing systems Testing Error correction Network interfaces computer science

来源：评论

学校读者我要写书评

暂无评论

An Efficient Method for Version Control of a Tree Data Structure

引用

software: Practice and Experience 1999年第7期27卷

作者： ESTHER JINEE CHOI YONG RAE KWON Software Engineering Division System Engineering Research Institute P.O. Box 1 Yusong-gu Taejon 305-333 Korea Department of Computer Science Korea Advanced Institute of Science and Technology (KAIST) Korea

A new method for version controlling of a tree structure is presented. The key feature of the method is that the latest state of a tree is retained and other versions are constructed from it on request, and information on the change history of a node is maintaind in its parent node. Several algorithms for efficient manipulation of the tree have been developed, and it has been demonstrated that they correctly manipulate the tree. The performance of these algorithms has been compared with those of other tree-based methods, and found to be nearly optimal in all aspects of the comparison. © 1997 John Wiley & Sons, Ltd.

关键词： tree structure change management history version control

来源：评论

学校读者我要写书评

暂无评论

Analysis of superimposed signals using time-scale phase representation

Analysis of superimposed signals using time-scale phase repr...

引用

IEEE-SP International Symposium on Time-Frequency and Time-Scale Analysis

作者： A. Sostaric D. Zazula System Software Laboratory Faculty of Electrical Engineering and Computer Science University of Maribor Maribor Slovenia

In this paper we address the decomposition problem of electromyographic signals (EMG) and we present a new idea for the decomposition approach introducing the time-scale phase representation. Considering the nature of EMG signals, a special set of nonorthogonal conjugated basis functions is used to perform the time-scale analysis. Mapping the modified signal phase into the time-scale phase plane is applied. Its minimization leads towards a very good time localization of individual superimposed signal components.

关键词： Signal analysis Electromyography Muscles Shape Wavelet analysis Frequency domain analysis system software Laboratories computer science Performance analysis

来源：评论

学校读者我要写书评

暂无评论

The Farmer model for the construction of platform independent network management system agent

The Farmer model for the construction of platform independen...

引用

IEEE Asia-Pacific Conference on Circuits and systems

作者： Soo-Hyun Park Sang-Hoon Park Doo-Kwon Baik Central Research Center LG Information and Communications Limited Seoul South Korea Software System Laboratory Department of Computer Science & Engineering Korea University Seoul South Korea

ISBN: (纸本)0780351460

The Farmer model is a basic model of the farming methodology that loads the component defined in the aspect-object from the PICR into the distributed object after analyzing the real world entity in various aspects and defining the aspect elements as the Aspect-Object. This model is a model that formalizes the concept of downloading the componentware from the PICR to the distributed entity node type that describes the abstract object, the aspect node type that describes this object, the link type that shows the relativity between the entity and the aspect, and the attribute type that shows the characteristics of the entity. In this paper, the platform independent TMN agents are designed by the diagram of the Farmer model.

关键词： Object oriented modeling Knowledge representation computer network management engineering management software systems computer science Information analysis

来源：评论

学校读者我要写书评

暂无评论

A methodology and life cycle model for data mining and knowledge discovery in precision agriculture

A methodology and life cycle model for data mining and knowl...

引用

IEEE International Conference on systems, Man and Cybernetics

作者： Seek Won Lee L. Kerschberg Center for Information System Integration and Evolution Department of Information and Software System Engineering George Mason University Fairfax VA USA Learning Agents Laboratory Department of Computer Science George Mason University Fairfax VA USA

Presents a methodology for data mining and knowledge discovery in large, distributed and heterogeneous databases. In order to obtain potentially interesting patterns, relationships and rules from such large and heterogeneous data collections, it is essential that a methodology be developed to take advantage of the suite of existing methods and tools that are available for data mining and knowledge discovery in databases (KDD). One of the most important methodologies is an integration of diverse learning strategies that cooperatively performs a variety of discovery techniques that achieves high-quality knowledge. The KDLC (knowledge discovery life-cycle) model is an extended study of AqBC, which is a multi-strategy knowledge discovery approach that combines supervised inductive rule learning and unsupervised Bayesian classification via a constructive induction mechanism. A case study dealing with crop yields for a farm in the state of Idaho, USA is presented, and preliminary results are visualized by using the ArcView geographical information system (GIS). The significance of the multi-strategy knowledge discovery and visualization process in analyzing the classifications and learned rules has been empirically verified in KDLC.

关键词： Data mining Agriculture Data visualization Distributed databases Bayesian methods Visual databases Data engineering Knowledge engineering Laboratories computer science

来源：评论

学校读者我要写书评

暂无评论

Load adjustment and filtering based on process criticality

Load adjustment and filtering based on process criticality

引用

IEEE International Conference on Embedded and Real-Time Computing systems and Applications (RTCSA)

作者： Tei-Wei Kuo Shie-Kai Ni Giun-Haur Huang Real Time Systems Laboratory Department of Computer Science and Information Engineering National Chung Cheng University Chiayi Taiwan Department of New Technology Development Platform Software Division Acer Incorporated Taipei Taiwan System Software Laboratory Institute for Information Industry Taipei Taiwan

ISBN: (纸本)081869209X

This paper generalizes the load scaling techniques proposed in (Kuo and Mok, 1991) for fixed-priority real-time applications. A framework is proposed to adjust the system workload by relating the criticality and flexibility of a process to the resource allocation problem. A load adjustment procedure based on the approximation algorithm (Ni et al., 1997) is proposed to maximize the system profit in an on-line fashion. When the list of allowable configurations is implicitly given by scalable periodic processes, the corresponding load filtering problem is shown to be NP-complete. We also prove the upper bound of the system profit and provide a mechanism to balance the schedulability and the maximum profit of the system.

关键词： Filtering Resource management Job shop scheduling Timing Real time systems Approximation algorithms Upper bound Laboratories Frequency computer science

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：