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

International Symposium on software Reliability engineering (ISSRE)

作者： M.E. Delamaro J.C. Maldonado A.P. Mathur IFSC-USP Physics Institute of São Carlos University of São Paulo Sao Carlos Brazil ICMSC-USP Department of Computer Sciences and Statistics University of São Paulo Sao Carlos Brazil Software Engineering Research Center Purdue University West Lafayette IN USA

A criterion for assessing the adequacy of test sets during integration testing is proposed. The criterion is based on a testing technique named Interface Mutation. The technique itself is designed to be scalable with the size of the software under test; the size being measured in the number of subsystems integrated. Using Interface Mutation it is possible to assess the adequacy of tests incrementally while integrating various subsystems. Also reported are results from a pilot experiment conducted to study the cost and error defection effectiveness of Interface Mutation.

关键词： Genetic mutations software testing software engineering Physics computing Costs Statistical analysis Size measurement software measurement Laboratories System testing

来源：评论

学校读者我要写书评

暂无评论

A COMPREHENSIVE, AUTOMATED APPROACH TO DETERMINING SEA-ICE THICKNESS FROM SAR DATA

引用

IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING 1995年第1期33卷 46-57页

作者： HAVERKAMP, D SOH, LK TSATSOULIS, C Center for Excellence in Computer Aided Systems Engineering Department of Electrical Engineering and Computer Science University of Kansas Lawrence KS

This paper documents an approach to sea ice classification through a combination of methods, both algorithmic and heuristic, The resulting system is a comprehensive technique, which uses dynamic local thresholding as a classification basis and then supplements that initial classification using heuristic geophysical knowledge organized in expert systems, The dynamic local thresholding method allows separation of the ice into thickness classes based on local intensity distributions, Because it utilizes the data within each image, it can adapt to varying ice thickness intensities to regional and seasonal charges and is not subject to limitations caused by using predefined parameters,

关键词： Synthetic aperture radar Local threshold Ice thickness Sea Ice Ice Heuristics Automation intensity distribution Regional Expert System Rescue Seasonal Variation Specific absorption rate

来源：评论

学校读者我要写书评

暂无评论

Advanced model-based distortion-invariant filters allowing peak variations 6

Advanced model-based distortion-invariant filters allowing p...

引用

Optical Pattern Recognition VI 1995

作者： House, Gregory Casasent, David Center for Excellence in Optical Data Processing Carnegie-Mellon University Department of Electrical and Computer Engineering PittsburghPA15213 United States

We consider a new detection application for distortion-invariant filters. Several new advances to the MINACE filter are considered. These include: Improved object modeling (this provides scene correlation plane peaks near the specified values), improved clutter modeling (no false class training is used) , a new trade-off parameter c definition (with the energy of each spectra normalized to one) , use of a smaller filter size and a prime factor FFT (this reduces noise effects), zero-mean filters (these allow detection of hot and cold contrast objects), etc. We advance a new peak variance degree of freedom distortion-invariance filter (PVDDF) with many attractive new properties. These advantages include: Insurance that the correlation peak values for all distorted objects are close to a given value without requiring that each object have a given correlation peak value (in practice one does not want all distorted object inputs to give the same exact correlation peak value, use of more training images NT without an associated drop in the required threshold and thus better object modeling, and better object function energy E minimization (E reduces as NT increase compared to other filters where E increase as NT increases). This new filter thus achieves both better correlation peak values and better energy minimization (prior filters cannot achieve both goals) by using degrees of freedom. © 1995 SPIE. All rights reserved.

关键词： Pattern recognition

来源：评论

学校读者我要写书评

暂无评论

A model for decision maintenance in the WinWin collaboration framework

A model for decision maintenance in the WinWin collaboration...

引用

Knowledge-Based software engineering Conference

作者： P. Bose Center for Software Engineering Department of Computer Science University of Southern California USA

Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer support for such collaborative activities. The WinWin approach being developed and experimented at the USC center for software engineering provides a domain independent solution for the stakeholders to cooperate in the requirements engineering phase of the software lifecycle. A major problem confronted in the WinWin framework is aiding decision coordination-coordinating the decision making activities of the stakeholders. A key element in supporting decision coordination is decision maintenance. As decisions undergo evolution, the effects of such changes on existing decision elements must be determined and the decision structure appropriately revised. The paper presents an approach to addressing the problem of supporting decision maintenance. The key ideas involve a) defining an extended ontology for decision rationale, that models the WinWin decision space and their states, b) formally describing a theory based on that ontology that specify conditions for states to hold, and c) defining an agent that utilizes the theory to determine revisions and coordinate with other agents to propagate revisions in a distributed support framework.

关键词： Collaboration Collaborative software software engineering Decision making Ontologies Concurrent engineering computer science software design software maintenance Contracts

来源：评论

学校读者我要写书评

暂无评论

Humans and process frameworks: some critical process elements

Humans and process frameworks: some critical process element...

引用

International Workshop on software Process

作者： B. Boehm P. Bose USC Center for Software Engineering Department of Computer Science University of Southern California USA

Successful engineering of complex software systems require humans to engage collaboratively in multiple critical process elements. This paper identifies those necessary process elements and defines WinWin, a collaborative process model that addresses the process elements. It briefly describes a process support system for the WinWin model.

关键词： Humans Spirals Collaboration Collaborative software Chemical elements software engineering computer science Calendars Joining processes Monitoring

来源：评论

学校读者我要写书评

暂无评论

LISTEN: A tool to investigate the use of sound for the analysis of program behavior

LISTEN: A tool to investigate the use of sound for the analy...

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： D.B. Boardman G. Greene V. Khandelwal A.P. Mathur Software Engineering Research Center and Department of Computer Sciences Purdue University West Lafayette IN USA

We describe the architecture and use of a tool named LISTEN. This is a general purpose tool to instrument computer programs so that during program execution aspects of program behavior are mapped to audible sound. Ongoing research aimed at investigating the usefulness of sound in various programming-related tasks and a lack of supporting tools led to the development of LISTEN. This tool is expected to find use in tasks such as program testing and debugging, software-development environments for the visually handicapped, and data analysis using aural cues. We also report our initial experience gathered during exploratory use of LISTEN and provide a summary of ongoing research using this tool.

关键词： computer architecture software testing Animation Databases software engineering Data analysis Data visualization Data flow computing Displays Computational modeling

来源：评论

学校读者我要写书评

暂无评论

A spectrally-based signal subspace approach for speech enhancement

A spectrally-based signal subspace approach for speech enhan...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Y. Ephraim H.L. van Trees Department of Electrical and Computer Engineering Center of Excellence in George Mason University Fairfax VA USA

The signal subspace approach for enhancing speech signals degraded by uncorrelated additive noise is studied. The underlying principle is to decompose the vector space of the noisy signal into a signal plus noise subspace and a noise subspace. Enhancement is performed by removing the noise subspace and estimating the clean signal from the remaining signal subspace. The decomposition can theoretically be performed by applying the Karhunen-Loeve transform to the noisy signal. Linear estimation of the clean signal is performed using a perceptually meaningful estimation criterion. The estimator is designed by minimizing signal distortion for a fixed desired spectrum of the residual noise. This criterion enables masking of the residual noise by the speech signal. The filter is implemented as a gain function which modifies the KLT components corresponding to the signal subspace. The gain function is solely dependent on the desired spectrum of the residual noise. Listening tests indicate that 14 out of 16 listeners strongly preferred the proposed approach over the spectral subtraction approach.

关键词： Speech enhancement Karhunen-Loeve transforms Degradation Additive noise Vectors Signal design Distortion Speech coding Filters Testing

来源：评论

学校读者我要写书评

暂无评论

Detection Filters Using Wavelets, Gabor, Morphology, and Fusion 6

Detection Filters Using Wavelets, Gabor, Morphology, and Fus...

引用

Optical Pattern Recognition VI 1995

作者： Ye, Anqi Casasent, David Department of Electrical and Computer Engineering Center for Excellence in Optical Data Processing Carnegie Mellon University PittsburghPA15213 United States Telxon Metanetics 43 Barkley Circle Suite 101 Fort MeyersFL33907-4510 United States

We consider detection (location of all likely regions of interest (ROIs) in a scene where objects may be) for multiple classes of objects in 3-D distortions with contrast differences and severe clutter present. Two different algorithms using Gabor basis function (GBF) filters and morphological wavelet transform (MWT) filtering are considered. New final algorithm parameters are noted. We detail: The morphological portion of the MWT algorithm, our new fusion method to combine the morphological and Gabor wavelet clutter map portions of the MWT algorithm, and the new MWT threshold selection technique. Initial results using a new peak sorting scoring method and new fusion scores for multiple algorithms to reduce false alarms are noted. © 1995 SPIE. All rights reserved.

关键词： Wavelet transforms

来源：评论

学校读者我要写书评

暂无评论

A performance oriented design methodology for large-scale distributed data intensive information systems

A performance oriented design methodology for large-scale di...

引用

IEEE International Conference on engineering of Complex computer Systems

作者： D.A. Menasce H. Gomaa L. Kerschberg Department of Computer Science Center of the New Engineer USA Department of Information and Software Systems Engineering Center for Information Systems Integration and Evolution George Mason University Fairfax VA USA

The Earth Observing System (EOS) Data and Information System (EOSDIS) is perhaps one of the most important examples of a large-scale, geographically distributed, and data-intensive systems. Designing such systems in a way that ensures that the resulting design will satisfy all functional and performance requirements is not a trivial task. This paper presents a performance oriented methodology to design large-scale distributed data intensive information systems. The methodology is then applied to the design of the EOSDIS Core System (ECS). Performance results, based on queueing network models of ECS are also presented.

关键词： Design methodology Large-scale systems Information systems Earth Observing System Large scale integration Data engineering Design engineering Satellites Atmosphere computer science

来源：评论

学校读者我要写书评

暂无评论

A formal approach to reactive systems software: a telecommunications application in ESTEREL

A formal approach to reactive systems software: a telecommun...

引用

IEEE Workshop on Industrial Strength Formal Specification Techniques

作者： L.J. Jagadeesan C. Puchol J.E. Von Olnhausen Software Production Research Department AT&T Bell Laboratories Engineering Research Center Naperville IL USA Department of Computer Sciences University of Texas Austin Austin TX USA

ESTEREL is a formally-defined language designed for programming reactive systems; namely, those that maintain a permanent interaction with their environment. The AT&T 5ESS telephone switching system is an example of a legacy reactive system. As a case study, we describe an implementation in ESTEREL of one feature of a 5ESS switch; this implementation has been tested in the 5ESS switch simulator. Furthermore, it has been formally verified that this implementation satisfies some safety properties required for telecommunications applications. Our case study provides some evidence that ESTEREL is suitable for programming legacy reactive systems, and that it may afford significant advantages in software development over more traditional programming languages used in industrial settings.

关键词： System software Switches Telecommunication switching Telephony Switching systems Testing Safety Application software Programming computer languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：