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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

2,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,274 篇 工学
- 1,024 篇 计算机科学与技术...
- 583 篇 软件工程
- 254 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2150 条记录，以下是1811-1820 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Search Based Approaches to Component Selection and Prioritization for the Next Release Problem

Search Based Approaches to Component Selection and Prioritiz...

引用

international conference on Software Maintenance (ICSM)

作者： Paul Baker Mark Harman Kathleen Steinhofel Alexandros Skaliotis Motorola Research Laboratories Basingstoke UK King''s College Hospital Medical School London UK

This paper addresses the problem of determining the next set of releases in the course of software evolution. It formulates both ranking and selection of candidate software components as a series of feature subset selection problems to which search based software engineering can be applied. The approach is automated using greedy and simulated annealing algorithms and evaluated using a set of software components from the component base of a large telecommunications organization. The results are compared to those obtained by a panel of (human) experts. The results show that the two automated approaches convincingly outperform the expert judgment approach

关键词： Simulated annealing Software engineering Educational institutions Software algorithms Robustness Humans programming Software systems Software testing Planing

来源：评论

学校读者我要写书评

暂无评论

Modeling Software VulnerabilitiesWith Vulnerability Cause Graphs

Modeling Software VulnerabilitiesWith Vulnerability Cause Gr...

引用

international conference on Software Maintenance (ICSM)

作者： David Byers Shanai Ardi Nahid Shahmehri Claudiu Duma Department of computer and information science Linköping Universitet Linkoping Sweden

When vulnerabilities are discovered in software, which often happens after deployment, they must be addressed as part of ongoing software maintenance. A mature software development organization should analyze vulnerabilities in order to determine how they, and similar vulnerabilities, can be prevented in the future. In this paper we present a structured method for analyzing and documenting the causes of software vulnerabilities. Applied during software maintenance, the method generates the information needed for improving the software development process, to prevent similar vulnerabilities in future releases. Our approach is based on vulnerability cause graphs, a structured representation of causes of software vulnerabilities

关键词： Software maintenance programming Software performance Databases Information analysis Computer worms Information science Data security Information security National security

来源：评论

学校读者我要写书评

暂无评论

A Strategy and an Eclipse Based Environment for the Migration of Legacy Systems to Multi-tier Web-based Architectures

A Strategy and an Eclipse Based Environment for the Migratio...

引用

international conference on Software Maintenance (ICSM)

作者： Andrea De Lucia Rita Francese Giuseppe Scanniello Genoveffa Tortora Nicola Vitiello Dipartimento di Matematica e Informatica University of Salerno Via Ponte Don Melillo Fisciano SA ITALY

We present an incremental approach to the migration of non decomposable COBOL applications to a Web-enabled multi-tier architecture. The relevant software components of the target architecture, namely the communication middleware and the generator of graphical user interfaces, are developed once for all in order to reduce the migration effort. An Eclipse plug-in has also been developed to support the software engineer in the migration of the graphical user interface and in the restructuring and wrapping of the original legacy code. A pilot project on a COBOL legacy system evolved during the last thirty years has been used to experiment the migration strategy and the plug-in

关键词： User interfaces Application software logic Databases Computer architecture Middleware Graphical user interfaces Wrapping Globalization Costs

来源：评论

学校读者我要写书评

暂无评论

An Approach to Aid the Understanding and Maintenance of Input Validation

An Approach to Aid the Understanding and Maintenance of Inpu...

引用

international conference on Software Maintenance (ICSM)

作者： Hui Liu Hee Beng Kuan Tan School of Electrical and Electronic Engineering Block S2 Nanyang Technological University Singapore

Input validation is an essential and a very important feature in any software system that has intensive interaction with its users. In this paper, we introduce some invariant properties with regards to input validation through analyzing the control and data dependency among inputs accessed and effects raised in a program. We then propose a method for the automated recovery of input validation from program source code. Based on the information recovered, we present the techniques to aid the understanding and maintenance of the feature using program slicing. A prototype tool has been implemented to validate the approach, and the empirical results show that the proposed approach can be very useful and effective for both experienced and inexperienced programmers

关键词： Software systems Prototypes Automatic control programming profession Application software Flow graphs Databases Software prototyping Control systems Guidelines

来源：评论

学校读者我要写书评

暂无评论

Application-aware Overlay Networks for Data Dissemination

Application-aware Overlay Networks for Data Dissemination

引用

international conference on Data Engineering Workshops

作者： O. Papaemmanouil Y. Ahmad U. Cetintemel J. Jannotti Department of Computer Science Brown University Providence RI USA

XPORT (eXtensible Profile-driven Overlay Routing Trees) is a generic data dissemination system that supports an extensible set of data types and profiles, and an optimization framework that facilitates easy specification of a wide range of useful performance goals. XPORT implements a tree-based overlay network, which can be customized per application using a small number of methods that encapsulate application-specific data-profile matching, profile aggregation, and cost optimization logic. The clean separation between the "plumbing" and "application" enables XPORT to uniformly and easily support disparate dissemination-based applications, such as content-based data dissemination and multicast-based content distribution. In this short paper, we provide a high-level overview of XPORT. We also discuss its current implementation status, applications we built using XPORT, and some preliminary experimental results from the prototype. We finalize the paper by summarizing our future directions

关键词： Cost function Optimization methods logic Routing Prototypes Computer science Electronic mail Feeds Large-scale systems Collaborative work

来源：评论

学校读者我要写书评

暂无评论

AutoGlobe: An Automatic Administration Concept for Service-Oriented Database Applications

AutoGlobe: An Automatic Administration Concept for Service-O...

引用

international conference on Data Engineering

作者： S. Seltzsam D. Gmach S. Krompass A. Kemper Technische Universität München Garching Germany

Future database application systems will be designed as Service Oriented Architectures (SOAs) like SAP’s NetWeaver instead of monolithic software systems such as SAP’s R/3. The decomposition in finer-grained services allows the usage of hardware clusters and a flexible serviceto- server allocation but also increases the complexity of administration. Thus, new administration techniques like our self-organizing infrastructure that we developed in cooperation with the SAP Adaptive Computing Infrastructure (ACI) group are necessary. For our purpose the available hardware is virtualized, pooled, and monitored. A fuzzy logic based controller module supervises all services running on the hardware platform and remedies exceptional situations automatically. With this self-organizing infrastructure we reduce the necessary hardware and administration overhead and, thus, lower the total cost of ownership (TCO). We used our prototype implementation, called Auto- Globe, for SAP-internal tests and we performed comprehensive simulation studies to demonstrate the effectiveness of our proposed concept.

关键词： Databases Hardware Application software Service oriented architecture Software systems Monitoring Fuzzy logic Automatic control Costs Virtual prototyping

来源：评论

学校读者我要写书评

暂无评论

XPath Query Simplification with regard to the Elimination of Intersect and Except Operators

XPath Query Simplification with regard to the Elimination of...

引用

international conference on Data Engineering Workshops

作者： S. Groppe S. Bottcher J. Groppe Digital Enterprise Research Institute (DERI) Institute of Computer Science University of Innsbruck Innsbruck Austria University of Paderborn Paderborn Germany

XPath is widely used as an XML query language and is embedded in XQuery expressions and in XSLT stylesheets. In this paper, we propose a rule set which logically simplifies XPath queries by using a heuristic method in order to improve the processing time. Furthermore, we show how to substitute the XPath 2.0 intersect and except operators in a given XPath query with computed filter expressions. A performance evaluation comparing the execution times of the original XPath queries, which contain the intersect and except operators, and of the queries that are the result of our simplification approach shows that, depending on the used query evaluator and on the original query, performance improvements of a factor of up to 350 are possible.

关键词： XML logic testing Computer science Database languages Filters Cost function Access control Permission Query processing Joining processes

来源：评论

学校读者我要写书评

暂无评论

Using Structural Constraints to Specify and Check Design Intent in Source Code - Ph.D. Dissertation Synopsis -

Using Structural Constraints to Specify and Check Design Int...

引用

international conference on Software Maintenance (ICSM)

作者： Daqing Hou Department of Computing Science University of Alberta Edmonton AB Canada

Developers often fail to respect the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps capture and confirm aspects of design intent by using structural constraints on a program model extracted through static analysis. The original designer expresses design intent in terms of constraints on the program model using the SCL language, and the SCL conformance checking tool examines developer code to confirm that the code honors these constraints. This paper presents the design of the SCL language and its checker, a set of practical examples where SCL has been applied, and our experience. SCL has a formal foundation, supports a wide range of design intent, is extensible for additional expressive power and checking capabilities, scales to a million lines of code, and is relatively easy to use

关键词： Software maintenance Specification languages Computer languages Java Data mining Program processors logic Application software Job design Communication effectiveness

来源：评论

学校读者我要写书评

暂无评论

Incremental Approach and User Feedbacks: a Silver Bullet for Traceability Recovery

Incremental Approach and User Feedbacks: a Silver Bullet for...

引用

international conference on Software Maintenance (ICSM)

作者： Andrea De Lucia Rocco Oliveto Paola Sgueglia University of Salerno Department of Mathematics and Informatics University of Salerno Italy

Several authors apply information retrieval (IR) techniques to recover traceability links between software artefacts. The use of user feedbacks (in terms of classification of retrieval links as correct or false positives) has been proposed to improve the retrieval performances of these techniques. In this paper we present a critical analysis of using feedbacks within an incremental traceability recovery process. In particular, we analyse the trade-off between the improvement of the performances and the link classification effort required to train the IR-based traceability recovery tool. We also present the results achieved in case studies and show that even though the retrieval performances generally improve with the use of feedbacks, IR-based approaches are still far from solving the problem of recovering all correct links with a low classification effort

关键词： Feedback Silver programming Testing Software maintenance Information retrieval Software tools Mathematics Informatics Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Guiding the Application of Design Patterns Based on UML Models

Guiding the Application of Design Patterns Based on UML Mode...

引用

international conference on Software Maintenance (ICSM)

作者： Lionel, C. Briand Yvan Labiche Alexandre Sauve Software Quality Engineering Laboratory Carleton University ONT Canada

Software design patterns are documented best practice solutions that can be applied to recurring problems. Although well documented, there are often opportunities to apply them which are overlooked by software designers. This can be the result of inexperience, the sheer complexity of the system, or the fact that design patterns do not always constitute intuitive designs. In this paper, we present a structured methodology for semi-automating the detection of areas within a UML design of a software system that are good candidates for the use of design patterns. This is achieved by the definition of detection rules formalized using the OCL and using a decision tree model. The approach is illustrated on an example GoF design pattern. A prototype tool was developed to show the feasibility of the approach in practical situations, and is used on a case study, producing encouraging results

关键词： Unified modeling language Software design Software systems Decision trees Application software Best practices programming Software quality Design engineering Laboratories

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共215页 << < 178 179 180 181 182 183 184 185 186 187 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：