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

4th International Workshop on Formal Approaches to software Testing, FATES 2004

作者： Yoon, Hoijin Kim, Eunhee Seo, Joo Young Choi, Byoungju College of Computing Georgia Institute of Technology United States Software Center Samsung Electronics Co. Ltd. Korea Republic of Department of Computer Science and Engineering Ewha Women's University Korea Republic of

CBSD needs to customize and compose components. Customization and composition can cause faults which are hard to detect by existing testing techniques, since components have different structures from traditional programs. This paper proposes a testing technique for customization and composition, and then it tailors the technique to COM component architecture. Since CBSD aims to reduce development cost, testing should consider the cost of testing. Effective test data will help reduce testing cost. Therefore, an empirical study shows that the technique proposed in this paper selects effective test data. © Springer-Verlag Berlin Heidelberg 2005.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

XP/Agile education and training

XP/Agile education and training

引用

6th International Conference on Extreme Programming and Agile Processes in software engineering

作者： Martin, A Fraser, S Davies, R Holcombe, M Mugridge, R Pierce, D Poppendieck, T Succi, G Qualcomm's Learning Center Victoria University of Wellington New Zealand Agile Experience Ltd. Department of Computer Science University of Sheffield United Kingdom British Computer Society Inst. Math. and Its Applications United Kingdom Extreme Tuesday Club (XTC) Department of Tenure Free University of Bolzano Bozen Italy Center for Applied Software Engineering Italy

ISBN: (纸本)3540262776

XP/Agile education and training remains a challenge from the perspective of determining relevant content;identifying effective methods for delivery;and maintaining the focus and motivation of students. This panel brings together academic and industry professionals to share their perspectives and experiences. Anticipated points for discussion include: education/training delivery strategies, curriculum definition, certification challenges, marketing issues, collaboration strategies to engage industry sponsorship, value assessments for students and sponsoring organizations, and program success stories. This will be a highly interactive panel and the audience should come prepared to both ask and answer questions. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Education

来源：评论

学校读者我要写书评

暂无评论

Knowledge Discovery in Distributed Biological Datasets Using Fuzzy Cellular Automata

Knowledge Discovery in Distributed Biological Datasets Using...

引用

International Conference on Intelligent Sensing and Information Processing (ICISIP)

作者： P. Maji C. Das Center for Soft Computing Research Indian Statistical Institute Kolkata India Department of Computer Science and Engineering Netaji Subhash Engineering College India

Recent advancement and wide use of highthroughput technologies for biological research are producing enormous size of biological datasets distributed worldwide. Data mining techniques and machine learning methods provide useful tools for knowledge discovery in this field. The goal of this paper is to present the design of a pattern classifier to mine distributed biological dataset. The proposed classifier is built around a special class of computing model termed as Fuzzy Cellular Automata (FCA). A concrete example of the effectiveness of this approach is provided by demonstrating its success in gene identification problem. Extensive experimental results confirm the scalability of the FCA to handle distributed biological datasets. Application of the proposed model to solve gene identification problem establishes the FCA as the classifier ideally suited for biological data mining in a distributed environment.

关键词： Data mining Sequences Biology computing Distributed computing Bioinformatics DNA Data engineering Biological system modeling Throughput computer science

来源：评论

学校读者我要写书评

暂无评论

Generating testable hypotheses from tacit knowledge for high productivity computing

Generating testable hypotheses from tacit knowledge for high...

引用

2nd International Workshop on software engineering for High Performance Computing System Applications, SE-HPCS '05, Co-located with the International Conference on software engineering, ICSE 2005

作者： Asgari, Sima Hochstein, Lorin Basili, Victor Zelkowitz, Marvin Hollingsworth, Jeff Carver, Jeff Shull, Forrest Computer Science Department University of Maryland College Park MD 20742 United States Fraunhofer Center for Experimental Software Engineering College Park MD 20742 United States Mississippi State University Mississippi State MS 39762 United States

ISBN: (纸本)1595931171

In this research, we are developing our understanding of how the high performance computing community develops effective parallel implementations of programs by collecting the folklore within the community. We use this folklore as the basis for a series of experiments, which we expect, will validate or negate these assumptions. © 2005 ACM.

关键词： folklore elicitation high productivity development time experimental studies hypothesis generation tacit knowledge solicitation testable hypotheses

来源：评论

学校读者我要写书评

暂无评论

The G12 project: Mapping solver independent models to efficient solutions

引用

11th International Conference on Principles and Practice of Constraint Programming - CP 2005

作者： Stuckey, Peter J. De La Banda, Maria Garcia Maher, Michael Marriott, Kim Slaney, John Somogyi, Zoltan Wallace, Mark Walsh, Toby NICTA Victoria Laboratory Department of Computer Science and Software Engineering University of Melbourne 3010 Australia School of Comp. Sci. and Soft. Eng. Monash University Australia NICTA Kensington Laboratory University of New South Wales 2052 Australia NICTA Canberra Laboratory Canberra ACT 2601 Australia

ISBN: (纸本)3540292381

The G12 project recently started by National IGT Australia (NICTA) is an ambitious project to develop a software platform for solving large scale industrial combinatorial optimisation problems. The core design involves three languages: Zinc, Cadmium and Mercury (Group 12 of the periodic table). Zinc is a declarative modelling language for expressing problems, independent of any solving methodology. Cadmium is a mapping language for mapping Zinc models to underlying solvers and/or search strategies, including hybrid approaches. Finally, existing Mercury will be extended as a language for building extensible and hybridimble solvers. The same Zinc model, used with different Cadmium mappings, will allow us to experiment with different complete, local, or hybrid search approaches for the same problem. This talk will explain the G12 global design, the final G12 objectives, and our progress so far. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Project management

来源：评论

学校读者我要写书评

暂无评论

Reconstruction of torn documents using contour maps

Reconstruction of torn documents using contour maps

引用

IEEE International Conference on Image Processing

作者： A. Biswas P. Bhowmick B.B. Bhattacharya Computer Science & Technology Department Bengal Engineering And Science University Shibpur India Center for Soft Computing Research Indian Statistical Institute Kolkata India

Efficient and successful joining of torn pieces of papers to reconstruct the original documents is an important and challenging issue in many disciplines, especially in forensics and investigation sciences. Automation of the process by means of appropriate techniques can speed up the problem solving substantially. In this paper, we propose a fast, efficient, and useful technique for the reconstruction of hand-torn pages of documents from their images, using contour descriptors for shape-based matching. Chain code of the closed digital arc representing a contour, and its Minkowski sum, have been exploited in our reconstruction work. Experimental results demonstrate the strength and robustness of the method.

关键词： Image reconstruction Robustness Forensics Automation Art Shape computer science Paper technology Problem-solving Image restoration

来源：评论

学校读者我要写书评

暂无评论

Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis

Using Visualization to Understand Dependability: A Tool Supp...

引用

Annual IEEE/ NASA Goddard Workshop on software engineering

作者： P. Donzelli D. Hirschbach V. Basili Computer Science Department University of Maryland College Park MD USA Computer Science Department Fraunhofer Center for Experimental Software Engineering University of Maryland College Park MD USA

Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services characteristics and quality properties, failure modes and tolerable failure rates, reactions and recovery time in case of failure, and so on. Visualization helps cope with this complexity. In this paper, we build upon a practical framework for eliciting and modeling dependability requirements to show how graphical data representation can facilitate requirements analysis during the requirements elicitation and definition process. An air traffic control system, adopted as a testbed within the NASA high dependability computing project, is used as a case study

关键词： software engineering Data visualization NASA Failure analysis Educational institutions Air traffic control System testing computer science Information processing Context-aware services

来源：评论

学校读者我要写书评

暂无评论

Special issue on soft computing and its applications on ATIS

引用

International Journal of Fuzzy Systems 2005年第2期7卷 43-43页

作者： Lee, Jonathan Su, Mu-Chun Department of Computer Science and Information Engineering National Central University Jung-Li 320 Taiwan Taiwan Taiwan Software Research Center NCU Taiwan Taiwan Software Engineering Association Taiwan IEEE Computer Society Taiwan ACM Taiwan IEEE Computational Intelligence Society

来源：评论

学校读者我要写书评

暂无评论

Adoption-Centric software Maintenance Process Improvement via Information Integration

Adoption-Centric Software Maintenance Process Improvement vi...

引用

IEEE International Workshop on software Technology and engineering Practice (STEP)

作者： Shihong Huang S. Tilley M. VanHilst D. Distante Computer Science & Engineering Florida Atlantic University USA Department of Computer Sciences Florida Institute of Technology USA Research Center on Software Technology University of Sannio Italy

software process improvement is an iterative activity, normally involving measurement, analysis, and change. For most organizations, the existing software process has substantial momentum and is seemingly immovable. Any change to existing process activities causes turbulence in the organization, which can be a significant barrier to adoption of the quality improvement initiative. This paper presents a quiescent, non-invasive, and adoption-centric approach to process improvement for software maintenance. The approach realizes the goal of improving the efficiency of existing processes by minimizing changes to existing workflows and focusing on integrating enhancements at the micro-level of the system. By leveraging information buried in existing data, making it explicit, and integrating the results with known facts, more informed decision-making is made possible. The approach is illustrated with a model problem concerning redocumentation of an embedded control system in the context of performing higher-quality software maintenance

关键词： software maintenance computer science software systems Production Manufacturing software engineering software tools software measurement Information analysis Decision making

来源：评论

学校读者我要写书评

暂无评论

Towards Reusable Measurement Patterns

Towards Reusable Measurement Patterns

引用

International Symposium on software Metrics

作者： M. Lindvall P. Donzelli S. Asgari V. Basili Fraunhofer Center for Experimental Software Engineering College Park MD USA Computer Science Department University of Maryland College Park MD USA

software measurement programs can help organizations make better decisions regarding their software projects. However, creating and establishing software measurement programs can be both costly and difficult. This paper addresses the problem by focusing on reusability of metrics for software measurement programs through the identification of measurement patterns. We illustrate our work with identifying measurement patterns by providing an extensive and detailed measurement example that is broken down into interdependent building blocks and activities.

关键词： software measurement Time measurement software quality Educational institutions Costs Buildings computer science software engineering Aggregates software design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：