作者：
Lee, Jae-WooSoftware System Lab.
Dept. of Computer Science and Engineering Korea University 1 5-ka Anam-dong SungBuk-ku 136-701 Seoul Korea Republic of
Authentication agent enables an authorized user to gain authority in the Internet or distributed computing systems. It is one of the most important problems that application server systems can identify many clients au...
详细信息
To increase the likelihood for software project success, it is important to be able to identify the drivers of success. This paper compares three methods to identify similar projects with the objective to predict proj...
详细信息
We propose a framework for describing, comparing and understanding tools for the mining of software repositories. The fundamental premise of this framework is that mining should be done by considering the specific nee...
详细信息
ISBN:
(纸本)1595931236
We propose a framework for describing, comparing and understanding tools for the mining of software repositories. The fundamental premise of this framework is that mining should be done by considering the specific needs of the users and the tasks to be supported by the mined information. First, different types of users have distinct needs, and these needs should be taken into account by tool designers. Second, the data sources available, and mined, will determine if those needs can be satisfied. Our framework is based upon three main principles: the type of user, the objective of the user, and the mined information. This framework has the following purposes: to help tool designers in the understanding and comparison of different tools, to assist users in the assessment of a potential tool;and to identify new research areas. We use this framework to describe several mining tools and to suggest future research directions. Copyright 2005 ACM.
We present a resolution based framework to explain reasoning in description logics and demonstrate its applicability to explain unsatisfiability and inconsistency queries w.r.t TBoxes and ABoxes in ALC. During the con...
详细信息
Based on our experiences and those of our peers, we hypothesized that in Java code, the majority of declarations that are of reference types are meant to be non-null. Unfortunately, the Java Modeling Language (JML), l...
详细信息
in avionics and automotive applications of computing, special care must be taken of issues related to safety. Assurance must be provided that computer hardware or software does not contribute to situations, which may ...
详细信息
Product Family engineering (PFE) is an approach to softwareengineering that seeks to reduce the global effort in producing multiple software products by actively promoting and governing the reuse of assets between th...
详细信息
In this paper, two approaches for image denoising that take advantages of neighboring dependency in the wavelet domain are studied. The first approach is to take into account the higher order statistical coupling betw...
详细信息
In this paper, two approaches for image denoising that take advantages of neighboring dependency in the wavelet domain are studied. The first approach is to take into account the higher order statistical coupling between neighboring wavelet coefficients and their corresponding coefficients in the parent level. The second is based on multivariate statistical modeling. The estimation of the clean coefficients is obtained by a general rule using Bayesian approach. Various estimation expressions can be obtained by a priori probability distribution, called multivariate generalized Gaussian distribution (MGGD). The experimental results show that both of our methods give comparatively higher peak signal to noise ratio (PSNR) as well as little visual artifact for monochrome images. In addition, we extend our approaches to a denoising algorithm for color image that has multiple color components. The proposed color denoising algorithm is a framework to consider the correlations between color components yet using the existing monochrome denoising method without modification. Denoising results in this framework give noticeable better improvement than in the case when the correlation between color components is not considered.
This paper introduces an orthogonal evolutionary algorithm for dynamic optimization problems with continuous variables (called ODEA). Its population does not consist of individuals, but rather of "niches". E...
详细信息
FlowUML is a logic-based system to validate information flow policies at the requirements specification phase of UML based designs. It uses Horn clauses to specify information flow polices that can be checked against ...
详细信息
ISBN:
(纸本)9728865252
FlowUML is a logic-based system to validate information flow policies at the requirements specification phase of UML based designs. It uses Horn clauses to specify information flow polices that can be checked against flow information extracted from UML sequence diagrams. FlowUML policies can be written at a coarse grain level of caller-callee relationships or at a finer level involving passed attributes.
暂无评论