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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是1821-1830 订阅

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

详细简洁

排序：

On the Use of Line Co-change for Identifying Crosscutting Concern Code

On the Use of Line Co-change for Identifying Crosscutting Co...

引用

international conference on Software Maintenance (ICSM)

作者： Gerardo Canfora Luigi Cerulo Massimiliano Di Penta RCOST - Research Centre on Software Technology University of Sannio Viale Traiano Benevento Italy

Crosscutting concerns are software system features whose implementation is spread across many modules as tangled and scattered code. Identifying such code helps developers to change the concern and/or re-factor it to an aspect. This paper evaluates the suitability of line co-change as a technique for the identification of crosscutting concerns. A line co-change aim at identifying source code lines that have been changed together in a commit transaction performed using a versioning system such as CVS. Promising results have been obtained by evaluating the approach to identify four crosscutting concerns present in an open-source system, JHotDraw. The paper also shows that line co-change can be effectively complemented with clone detection to improve the performance achieved by the separate approaches

关键词： Cloning Scattering History Software systems Pattern analysis Automation programming profession Performance analysis Interference Software maintenance

来源：评论

学校读者我要写书评

暂无评论

Trusted CVS

Trusted CVS

引用

international conference on Data Engineering Workshops

作者： M. Venkitasubramaniam A. Machanavajjhala D. Martin J. Gehrk Department of Computer Science Cornell University USA

The CVS (Concurrent Versions System) software is a popular method for recording modifications to data objects, in addition to concurrent access to data in a multi-user environment. In current implementations, all users have to trust that the CVS server performs all user operations as instructed. In this paper, we develop protocols that allow users to verify that the server has been compromised, and that it has performed exactly the users’ operations on the data. We first show that communication between users is necessary to guarantee that users can detect that the server has been compromised. We then propose efficient protocols that fast enable detection of server integrity under CVS workloads. Our techniques also have applications in the outsourcing model where multiple users own a common database maintained by an untrusted third-party vendor.

关键词： Availability File servers Databases Computer science Software systems Access protocols Application software Outsourcing programming Publishing

来源：评论

学校读者我要写书评

暂无评论

SIPPER: Selecting Informative Peers in Structured P2P Environment for Content-Based Retrieval

SIPPER: Selecting Informative Peers in Structured P2P Enviro...

引用

international conference on Data Engineering

作者： Shuigeng Zhou Zheng Zhang Weining Qian Aoying Zhou Department of Computer Science and Engineering Fudan University Shanghai China

In this demonstration, we present a prototype system called SIPPER, which is the abbreviation for Selecting Informative Peers in Structured P2P Environment for Content-based Retrieval. SIPPER distinguishes itself from the existing P2P-IR systems by the following two features: First, to improve retrieval efficiency, SIPPER employs a novel peer selection method to direct the query to a small fraction of relevant peers in the network for searching globally relevant documents. Second, to reduce the bandwidth cost of meta data publishing, SIPPER uses a new publishing mechanism, the term-node publishing mechanism, which is different from the traditional term-document model [2].

关键词： Content based retrieval Statistics Peer to peer computing Publishing Quadratic programming Phase change materials Databases Computer science Design engineering Prototypes

来源：评论

学校读者我要写书评

暂无评论

Source Code Exploration with Google

Source Code Exploration with Google

引用

international conference on Software Maintenance (ICSM)

作者： Denys Poshyvanyk Maksym Petrenko Andrian Marcus Xinrong Xie Dapeng Liu Department of Computer Science Wayne State University Detroit MI USA

The paper presents a new approach to source code exploration, which is the result of integrating the Google Desktop Search (GDS) engine into the Eclipse development environment. The resulting search engine, named Google Eclipse Search (GES), provides improved searching in Eclipse software projects. The paper advocates for a component-based approach that allows us to develop strong tools, which support various maintenance tasks, by leveraging the strengths of existing frameworks and components. The development effort for such tools is reduced, while customization and flexibility, to fully support user needs, is maintained. GES allows developers to search software projects in a manner similar to searching the Internet or their own desktops. The proposed approach takes advantages of the power of GDS for quick and accurate searching and of Eclipse's extensibility. The paper discusses usage scenarios, advantages, limitations, and possible extensions of the proposed tandem

关键词： Internet Search engines Software prototyping Documentation Switches Computer science programming Prototypes Delay Robustness

来源：评论

学校读者我要写书评

暂无评论

Network-Aware Operator Placement for Stream-Processing Systems

Network-Aware Operator Placement for Stream-Processing Syste...

引用

international conference on Data Engineering

作者： P. Pietzuch J. Ledlie J. Shneidman M. Roussopoulos M. Welsh M. Seltzer Division of Engineering and Applied Science Harvard University USA

To use their pool of resources efficiently, distributed stream-processing systems push query operators to nodes within the network. Currently, these operators, ranging from simple filters to custom business logic, are placed manually at intermediate nodes along the transmission path to meet application-specific performance goals. Determining placement locations is challenging because network and node conditions change over time and because streams may interact with each other, opening venues for reuse and repositioning of operators. This paper describes a stream-based overlay network (SBON), a layer between a stream-processing system and the physical network that manages operator placement for stream-processing systems. Our design is based on a cost space, an abstract representation of the network and on-going streams, which permits decentralized, large-scale multi-query optimization decisions. We present an evaluation of the SBON approach through simulation, experiments on PlanetLab, and an integration with Borealis, an existing stream-processing engine. Our results show that an SBON consistently improves network utilization, provides low stream latency, and enables dynamic optimization at low engineering cost.

关键词： Cost function Filtering Digital signal processing Extraterrestrial measurements logic Delay Intrusion detection Telecommunication traffic Filters Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

Semantic-Enriched Service Discovery

Semantic-Enriched Service Discovery

引用

international conference on Data Engineering Workshops

作者： D. Bianchini V. De Antonellis M. Melchiori D. Salvi Dip. di Elettronica per l'Automazione Università di Brescia Brescia Italy

Automated techniques and tools are required to effectively locate services that fulfil a given user request. To this purpose, the use of semantic descriptions of services has been widely motivated and recommended for automated service discovery under highly dynamic and contextdependent requirements in distributed environments. Our aim in this work is to propose a semantic-enriched framework to describe services and an ontology-based hybrid approach where such framework is exploited combining together different kinds of comparison strategies to provide a flexible and efficient matchmaking between service descriptions. For service discovery two matchmaking strategies are proposed: a deductive strategy based on Description logics, with a reasoning procedure exploiting ontology knowledge to assess the type of match between services; a similarity-based strategy, exploiting retrieval metrics to measure the degree of match between services.

关键词： Ontologies Context-aware services logic Information retrieval Microstrip Adaptive systems Information systems Educational programs OWL Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Change Impact Analysis for Generic Libraries

Change Impact Analysis for Generic Libraries

引用

international conference on Software Maintenance (ICSM)

作者： Marcin Zalewski Sibylle Schupp Department of Computer Science and Engineering Chalmers University of Technology Goteborg Sweden

Since the standard template library (STL), generic libraries in C++ rely on concepts to precisely specify the requirements of generic algorithms (function templates) on their parameters (template arguments). Modifying the definition of a concept even slightly, can have a potentially large impact on the (interfaces of the) entire library. In particular the non-local effects of a change, however, make its impact difficult to determine by hand. In this paper we propose a conceptual change impact analysis (CCIA), which determines the impact of changes of the conceptual specification of a generic library. The analysis is organized in a pipe-and-filter manner, where the first stage finds any kind of impact, the second stage various specific kinds of impact. Both stages describe reachability algorithms, which operate on a conceptual dependence graph. In a case study, we apply CCIA to a new proposal for STL iterator concepts, which is under review by the C++ standardization committee. The analysis shows a number of unexpected incompatibilities and, for certain STL algorithms, a loss of genericity

关键词： Libraries Algorithm design and analysis Concrete Containers Filters Proposals Standardization Computer science Taxonomy Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Automatic Discovery and Composition of Services with IRIS

Automatic Discovery and Composition of Services with IRIS

引用

international conference on Data Engineering Workshops

作者： U. Radetzki A.B. Cremers Department of Computer Science III Universität Bonn Bonn Germany

The service-oriented architecture (SOA) proposes a new software development paradigm that is based on loosely coupled software components deployed and located across the web. This key benefit of SOA allows building workflows crossing organizational boundaries. One of the major challenges in this field of research is the automatic discovery and composition of services. In this paper we suggest a novel ontology-based discovery and composition approach. In a first step standard web services descriptions based on WSDL are semantically enriched by pre-processing steps including general-purpose ontologies as well as domainspecific ontologies. Resulting semantic-aware service profiles are stored in a registry component. In a second step we describe the matchmaking algorithms underlying the IRIS discovery component. Finally, we evaluate the performance of our algorithms analytically as well as we measure its quality by an experimental setup.

关键词： Iris Ontologies Service oriented architecture Algorithm design and analysis programming Web services Web and internet services Computer science Buildings Performance analysis

来源：评论

学校读者我要写书评

暂无评论

A Method for an Accurate Early Prediction of Faults in Modified Classes

A Method for an Accurate Early Prediction of Faults in Modif...

引用

international conference on Software Maintenance (ICSM)

作者： Piotr Tomaszewski Hakan Grahn Lars Lundberg School of Engineering Blekinge Institute of Technology Ronneby Sweden

In this paper we suggest and evaluate a method for predicting fault densities in modified classes early in the development process, i.e., before the modifications are implemented. We start by establishing methods that according to literature are considered the best for predicting fault densities of modified classes. We find that these methods can not be used until the system is implemented. We suggest our own methods, which are based on the same concept as the methods suggested in the literature, with the difference that our methods are applicable before the coding has started. We evaluate our methods using three large telecommunication systems produced by Ericsson. We find that our methods provide predictions that are of similar quality to the predictions based on metrics available after the code is implemented. Our predictions are, however, available much earlier in the development process. Therefore, they enable better planning of efficient fault prevention and fault detection activities

关键词： Predictive models Costs Fault diagnosis Fault detection Software systems programming Testing Software design Documentation Inspection

来源：评论

学校读者我要写书评

暂无评论

A Survey on Disk Oriented Querying and Reasoning on the Semantic Web

A Survey on Disk Oriented Querying and Reasoning on the Sema...

引用

international conference on Data Engineering Workshops

作者： M. del Mar Roldan-Garcia J.F. Aldana-Montes Computer Languages and Computing Science Department University of Malaga Malaga Spain

This paper presents a description of seven systems, which use database technology to both represent knowledge persistently and make scalable queries on it, in the Semantic Web context. From the study of these systems we can deduce that a lot of work regarding massive storage of knowledge has already been carried out. We can observe an evolution from RDF to OWL in most up-to-date systems. The analyzed approaches carry out a mapping between the (structure of the) ontology and the data model of the persistence management system. Nevertheless, there is still considerable work to be done regarding efficient disk oriented Abox (ontology instances) querying and reasoning. We think that due to the Semantic Web features many problems related to assertional reasoning should be addressed. We also believe that the physical design of the knowledge base is a very important task, which includes the development of both specific storage structures and indexes for knowledge storage and retrieval.

关键词： Semantic Web Ontologies logic Computer languages Knowledge representation Databases Resource description framework OWL Data models Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：