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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,242 篇 会议
196 篇 期刊文献
36 册 图书

馆藏范围

1,474 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

938 篇 工学
- 787 篇 计算机科学与技术...
- 677 篇 软件工程
- 213 篇 信息与通信工程
- 108 篇 控制科学与工程
- 99 篇 生物工程
- 60 篇 电气工程
- 60 篇 生物医学工程（可授...
- 46 篇 电子科学与技术（可...
- 39 篇 安全科学与工程
- 37 篇 光学工程
- 32 篇 机械工程
- 28 篇 交通运输工程
- 27 篇 动力工程及工程热...
- 27 篇 建筑学
- 24 篇 土木工程
384 篇 理学
- 230 篇 数学
- 107 篇 生物学
- 71 篇 统计学（可授理学、...
- 55 篇 物理学
- 47 篇 系统科学
291 篇 管理学
- 169 篇 管理科学与工程(可...
- 144 篇 图书情报与档案管...
- 96 篇 工商管理
58 篇 医学
- 53 篇 临床医学
- 51 篇 基础医学(可授医学...
- 34 篇 药学(可授医学、理...
- 26 篇 公共卫生与预防医...
55 篇 法学
- 38 篇 社会学
35 篇 教育学
- 35 篇 教育学
32 篇 经济学
- 32 篇 应用经济学
18 篇 农学
3 篇 文学
2 篇 军事学
1 篇 艺术学

主题

51 篇 software
49 篇 software enginee...
36 篇 feature extracti...
35 篇 machine learning
33 篇 computer science
31 篇 accuracy
30 篇 computational mo...
28 篇 deep learning
28 篇 semantics
27 篇 artificial intel...
26 篇 real-time system...
25 篇 training
20 篇 wireless sensor ...
20 篇 data models
19 篇 scalability
19 篇 support vector m...
19 篇 data mining
18 篇 internet of thin...
18 篇 computer archite...
18 篇 quality of servi...

机构

19 篇 faculty of compu...
19 篇 gik institute of...
19 篇 university of eu...
19 篇 dept. of technol...
17 篇 dept. of compute...
17 篇 dept. of compute...
14 篇 dept. of softwar...
13 篇 dept. of compute...
12 篇 dept. of compute...
12 篇 dept. of compute...
11 篇 bcmaterials basq...
11 篇 state key labora...
11 篇 bcmaterials basq...
10 篇 college of compu...
10 篇 dept. of compute...
8 篇 daffodil interna...
8 篇 faculty of elect...
8 篇 school of softwa...
8 篇 university of re...
8 篇 dept. of compute...

作者

19 篇 ku wei-shinn
19 篇 ali raja hashim
19 篇 raja hashim ali
16 篇 usama arshad
16 篇 arshad usama
15 篇 baldwin timothy
14 篇 zain ul abideen
12 篇 shiri nematollaa...
11 篇 buyya rajkumar
10 篇 ali zeeshan ijaz
8 篇 qusay h. mahmoud
8 篇 baik doo-kwon
8 篇 cho seong-je
8 篇 nisar ali
8 篇 shafiur rahman
8 篇 ali nisar
8 篇 ijaz ali zeeshan
7 篇 siddique abu bak...
7 篇 ul abideen zain
7 篇 abideen zain ul

语言

1,286 篇 英文
176 篇 其他
5 篇 中文
4 篇 朝鲜文
3 篇 日文
1 篇 斯洛文尼亚文

检索条件"机构=Dept. of Computer Science& Software Engineering"

共 1474 条记录，以下是811-820 订阅

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

详细简洁

排序：

A replication case study to measure the architectural quality of a commercial system 14

A replication case study to measure the architectural qualit...

引用

8th ACM/IEEE International Symposium on Empirical software engineering and Measurement, ESEM 2014

作者： Reimanis, Derek Izurieta, Clemente Luhr, Rachael Xiao, Lu Cai, Yuanfang Rudy, Gabe Software Engineering Laboratory Computer Science Dept BozemanMT United States Computer Science Dept. Drexel University PhiladelphiaPA United States Golden Helix Inc. 203 Enterprise Blvd BozemanMT United States

ISBN: (纸本)9781450327749

Context: Long-term software management decisions are directly impacted by the quality of the software's architecture. Goal: Herein, we present a replication case study where structural information about a commercial software system is used in conjunction with bug-related change frequencies to measure and predict architecture quality. Method: Metrics describing history and structure were gathered and then correlated with future bug-related issues;the worst of which were visualized and presented to developers. Results: We identified dependencies between components that change together even though they belong to different architectural modules, and as a consequence are more prone to bugs. We validated these dependencies by presenting our results back to the developers. The developers did not identify any of these dependencies as unexpected, but rather architectural necessities. Conclusions: This replication study adds to the knowledge base of CLIO (a tool that detects architectural degradations) by incorporating a new programming language (C++) and by externally replicating a previous case study on a separate commercial code base. Additionally, we provide lessons learned and suggestions for future applications of CLIO. © 2014 Authors.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Optimizing preemption-overhead accounting in multiprocessor real-time systems 14

Optimizing preemption-overhead accounting in multiprocessor ...

引用

22nd International Conference on Real-Time Networks and Systems, RTNS 2014

作者： Ward, Bryan C. Thekkilakattil, Abhilash Anderson, James H. Dept. of Computer Science University of North Carolina at Chapel Hill United States Div. of Software Engineering Mälardalen University Västerås Sweden

ISBN: (纸本)9781450327275

There exist two general techniques to account for preemption-related overheads on multiprocessors. This paper presents a new preemption-related overhead-accounting technique, called analytical redistribution of preemption overheads (ARPO), which integrates the two previous techniques to minimize preemption-overhead-related utilization loss. ARPO is applicable under any job-level fixed priority (JLFP) preemptive scheduler, as well as some limited-preemption schedulers. ARPO is evaluated in a new experimentaldesign framework for overhead-aware schedulability studies that addresses unrealistic simplifying assumptions made in previous studies, and is shown to improve real-time schedulability. Copyright © 2014 ACM.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Fast range query processing with strong privacy protection for cloud computing 40th

Fast range query processing with strong privacy protection f...

引用

Proceedings of the 40th International Conference on Very Large Data Bases, VLDB 2014

作者： Li, Rui Liu, Alex X. Wang, Ann L. Bruhadeshwar, Bezawada College of Computer Science and Electronic Engineering Hunan university ChangSha China Dept. of Computer Science and Engineering Michigan State University East LansingMI United States National Key Laboratory for Novel Software Technology Nanjing University Nanjing210023 China

Privacy has been the key road block to cloud computing as clouds may not be fully trusted. This paper concerns the problem of privacy preserving range query processing on clouds. Prior schemes are weak in privacy protection as they cannot achieve index indistinguishability, and therefore allow the cloud to statistically estimate the values of data and queries using domain knowledge and history query results. In this paper, we propose the first range query processing scheme that achieves index indistinguishability under the indistinguishability against chosen keyword attack (INDCKA). Our key idea is to organize indexing elements in a complete binary tree called PBtree, which satisfies structure indistinguishability (i.e., two sets of data items have the same PBtree structure if and only if the two sets have the same number of data items) and node indistinguishability (i.e., the values of PBtree nodes are completely random and have no statistical meaning). We prove that our scheme is secure under the widely adopted IND-CKA security model. We propose two algorithms, namely PBtree traversal width minimization and PBtree traversal dept. minimization, to improve query processing efficiency. We prove that the worse case complexity of our query processing algorithm using PBtree is O(|R| log n), where n is the total number of data items and R is the set of data items in the query result. We implemented and evaluated our scheme on a real world data set with 5 million items. For example, for a query whose results contain ten data items, it takes only 0.17 milliseconds. © 2014 VLDB Endowment 21508097/14/10.

关键词： Query processing

来源：评论

学校读者我要写书评

暂无评论

QoS-aware Service Composition over Graphplan through Graph Reachability

QoS-aware Service Composition over Graphplan through Graph R...

引用

IEEE International Conference on Services Computing (SCC)

作者： Min Chen Yuhong Yan Dept. of Computer Science and Software Engineering Concordia University Montreal Canada

QoS-aware service composition is a bi-objectivetask for the generation of a business process: to fulfill functional goals and to optimize the QoS criteria. Planning algorithms are frequently used for the generation of a business process to achieve functional goals. In this paper, we use a planning algorithm, GraphPlan, and a graph search algorithm, Dijkstra's algorithm, to achieve both functional goals and QoS optimization at the same time. Firstly, we analyze graph reachability in the planning graph built by Graphplan *** advantage of graph reachability, we propose an approach of using Graphplan technique combined with Dijkstra's algorithm to solve QoS-aware service composition problem. The experiments show our approach is able to findthe optimal solution for different QoS criteria. Moreover, our approach reduces the possibilities of combinatorial explosion to a large degree when exploring the graph for the optimal path.

关键词： Quality of service Planning TV Business Time factors Artificial intelligence Optimization

来源：评论

学校读者我要写书评

暂无评论

A systematic view of agent-supported simulation: Past, present, and promising future 4

A systematic view of agent-supported simulation: Past, prese...

引用

4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2014

作者： Ören, Tuncer Yilmaz, Levent Ghasem-Aghaee, Nasser School of Electrical Eng. and Computer Science Univ. of Ottawa OttawaON Canada Computer Science and Software Engineering Samuel Ginn College of Engineering Auburn University AuburnAL United States Computer Eng. Dept. Sheikh Bahaei Univ. Baharestan Iran Univ. of Isfahan Isfahan Iran

ISBN: (纸本)9789897580383

Agent-supported simulation involves the use of intelligent agents to enhance modeling and simulation (M&S) infrastructures and consists of support by software agents: (1) to provide computer assistance for front-end and/or backend interface functions in M&S environments;(2) to process elements of an M&S study symbolically (for example, for consistency checks and built-in reliability);and (3) to provide cognitive abilities to the elements of an M&S study, such as perception, anticipation, learning or understanding abilities. Several aspects of agent-supported simulation are clarified and references are provided. © 2014 SciTePress. All rights reserved.

关键词： Intelligent agents

来源：评论

学校读者我要写书评

暂无评论

SYNCEYE: An Availability Measurement Tool for Embedded Systems

SYNCEYE: An Availability Measurement Tool for Embedded Syste...

引用

Asia-Pacific Conference on software engineering

作者： Junghwan Lee Kwangyong Lee Dept. of Computer Software and Engineering Korea University of Science and Technology (UST) Korea

ISBN: (纸本)9781479974276

In case of safety-critical embedded systems, software must have high availability to provide non-stop and reliable service. Therefore, we want to measure the availability of our system. However, using past methods, it takes a long time to measure availability because of irregular occurrence of faults. In this paper, we present SYNCEYE, which is a kind of fast availability measurement tool. To get the availability in a short period, SYNCEYE only measures MTTR (or downtime) using a fault injector. And then, it just calculates the availability with the heuristic MTTF (or uptime) such as 13.89 hours for achieving 99.999% availability goal. It helps us to decide a direction of optimization of the embedded systems.

关键词： Availability Sea measurements Switches Time measurement Servers Monitoring Measurement uncertainty

来源：评论

学校读者我要写书评

暂无评论

Scalable Security Models for Assessing Effectiveness of Moving Target Defenses

Scalable Security Models for Assessing Effectiveness of Movi...

引用

International Conference on Dependable Systems and Networks (DSN)

作者： Jin B. Hong Dong Seong Kim Computer Science and Software Engineering Dept. University of Canterbury Christchurch New Zealand

Moving Target Defense (MTD) changes the attack surface of a system that confuses intruders to thwart attacks. Various MTD techniques are developed to enhance the security of a networked system, but the effectiveness of these techniques is not well assessed. Security models (e.g., Attack Graphs (AGs)) provide formal methods of assessing security, but modeling the MTD techniques in security models has not been studied. In this paper, we incorporate the MTD techniques in security modeling and analysis using a scalable security model, namely Hierarchical Attack Representation Models (HARMs), to assess the effectiveness of the MTD techniques. In addition, we use importance measures (IMs) for scalable security analysis and deploying the MTD techniques in an effective manner. The performance comparison between the HARM and the AG is given. Also, we compare the performance of using the IMs and the exhaustive search method in simulations.

关键词： Security Diversity methods Computational modeling Measurement Analytical models Internet Linux

来源：评论

学校读者我要写书评

暂无评论

Towards energy-aware optimisation of business processes

Towards energy-aware optimisation of business processes

引用

3rd International Conference on Smart Grids and Green IT Systems, SMARTGREENS 2014

作者： López, Beatriz Ghose, Aditya Savarimuthu, Tony Nowostawski, Mariusz Winikoff, Michael Cranefield, Stephen EXiT research group University of Girona Girona Spain School of Computer Science and Software Engineering University of Wollongong Wollongong Australia Dept. of Information Science University of Otago Dunedin New Zealand Faculty of Computer Science and Media Technology Gjøvik University College Gjøvik Norway

ISBN: (纸本)9789897580253

Time dependent energy tariffs are a matter of concern to managers in organisations, who need to rethink how to allocate resources to business processes so that they take into account energy costs. However, due to the time-dependent costs, the resource optimisation problem needs to be redesigned. In this paper we formalise the energy-aware resource allocation problem, including time-dependent variable costs;and present a case study in which an auction mechanism is used to find a solution. Our results show how the choice of cost (energy, monetary, or duration) affects the schedules obtained.

关键词： Constrained optimization

来源：评论

学校读者我要写书评

暂无评论

A Novel Approach to Perform Reversible Addition/Subtraction Operations Using Deoxyribonucleic Acid

A Novel Approach to Perform Reversible Addition/Subtraction ...

引用

IEEE International Symposium on Circuits and Systems

作者： Ankur Sarker Hafiz Md. Hasan Babu Saiful Islam Dept. of Computer Science and Engineering University of Dhaka Dhaka 1000 Bangladesh Dept. of Computer Science and Software Engineering Swinburne University of Technology VIC 3122 Australia

ISBN: (纸本)9781479934331

Reversible logic transforms logic signal in a way that allows the original input signals to be recovered from the produced outputs, has attracted great attention because of its application in many areas. Traditional silicon computers consume much more power compared to computing systems based on Deoxyribonucleic Acid (DNA). In addition, DNA-based logic gates are stable and reusable. In this paper, we propose a new approach for designing DNA-based reversible adder/subtractor circuit;it's possible to perform addition and subtraction operations using single circuit representation. We first merge the properties of addition and subtraction operations. Then, we demonstrate reversible DNA-based addition and subtraction operations. Our proposed DNA-based reversible addition/subtraction circuit is faster than the conventional one due to parallelism and replication properties of DNA strands. It also requires less space because of compactness of DNA strands. In addition, the DNA-based adder/subtractor circuit needs low power as the formation of DNAs consumes a small amount of energy. Finally, the comparative results show that the proposed DNA-based system requires m+3.2~n DNA signals, but in existing system, it requires m.2~n, where m is the size of extra tags and n is the total number of bits. Besides, the run time complexity of proposed system has O(1) while the existing system has O(mln_2n).

关键词： Reversible Logic DNA and DNA Bases DNA Annealing Reversible Logic Gates DNA Computing Addition Subtraction

来源：评论

学校读者我要写书评

暂无评论

引用

2014 Conference on Research in Adaptive and Convergent Systems, RACS 2014

作者： Kim, TaeGuen Park, Jung Bin Cho, In Gyeom Im, Eul Gyu Kang, Boojoong Kang, SooYong Dept. of Computer and Software Hanyang University Seoul Korea Republic of Div. of Computer Science and Engineering Hanyang University Seoul Korea Republic of Institute of Electronics Communications and Information Technology Queen's University of Belfast Belfast United Kingdom

ISBN: (纸本)9781450330602

The number of malware has sharply increased over years, and it caused various damages on computing systems and data. In this paper, we propose techniques to detect malware variants. Malware authors usually reuse malware modules when they generate new malware or malware variants. Therefore, malware variants have common code for some functions in their binary files. We focused on this common code in this research, and proposed the techniques to detect malware variants through similarity calculation of user-defined function. Since many malware variants evade malware detection system by transforming their static signatures, to cope with this problem, we applied pattern matching algorithms for DNA variations in Bioinformatics to similarity calculation of malware binary files. Since the pattern matching algorithm we used provides the local alignment function, small modification of functions can be overcome. Experimental results show that our proposed method can detect malware similarity and it is more resilient than other methods. © 2014 ACM.

关键词： Malware

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共148页 << < 78 79 80 81 82 83 84 85 86 87 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：