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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Challenges in flexible safety-critical software development - An industrial qualitative survey

引用

14th International Conference on Product-Focused software Process Improvement, PROFES 2013

作者： Pedersen Notander, Jesper Höst, Martin Runeson, Per Software Engineering Research Group Dept. of Computer Science Lund University Sweden

ISBN: (纸本)9783642392580

Context. Development of safety-critical systems is mostly governed by process-heavy paradigms, while increasing demands on flexibility and agility also reach this domain. Objectives. We wanted to explore in more detail the industrial needs and challenges when facing this trend. Method. We launched a qualitative survey, interviewing engineers from four companies in four different industry domains. Results. The survey identifies human factors (skills, experience, and attitudes) being key in safety-critical systems development, as well as good documentation. Certification cost is related to change frequency, which is limiting flexibility. Component reuse and iterative processes were found to increase adaptability to changing customer needs. Conclusions. We conclude that agile development and flexibility may co-exist with safety-critical software development, although there are specific challenges to address. © 2013 Springer-Verlag.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

PEP-side caching: An insider threat port

PEP-side caching: An insider threat port

引用

2013 IEEE 14th International Conference on Information Reuse and Integration, IEEE IRI 2013

作者： Yaseen, Qussai Althebyan, Qutaibah Jararweh, Yaser Dept. of Computer Science Yarmouk University Irbid Jordan Dept. of Software Engineering Jordan University of Science and Technology Irbid Jordan Dept. of Computer Science Jordan University of Science and Technology Irbid Jordan

ISBN: (纸本)9781479910502

PEP-side caching is used in request-response access control mechanisms to increase the availability and reduce the processing overhead on PDP. Nonetheless, this paper shows that using this approach may open an insider threat port that can be used to bypass access control models in cloud and distributed relational databases. Moreover, the paper proposes a light model that detects and prevents the threat without affecting the performance of PEP and PDP, and it keeps the advantages of PEP-side caching model. © 2013 IEEE.

关键词： Access control models

来源：评论

学校读者我要写书评

暂无评论

A spatial keyword evaluation framework for network-based spatial queries 13

A spatial keyword evaluation framework for network-based spa...

引用

21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, ACM SIGSPATIAL GIS 2013

作者： Zhang, Ji Ku, Wei-Shinn Jiang, Xunfei Qin, Xiao Dept. of Computer Science and Software Engineering Auburn University Auburn AL 36849 United States

ISBN: (纸本)9781450325219

An increasing number of spatial keyword query techniques that return qualified objects based on a comprehensive consideration of spatial and keyword constraints have been presented in the literature. Due to the complexity of the solutions to spatial keyword queries, systems that can effectively demonstrate the mechanisms will attract interest from the spatial database research community. However, very limited visualization systems have been developed for illustrating spatial keyword query evaluation. In this demonstration, we present a system that visualizes advanced solutions to efficiently answer the Spatial Keyword k Nearest Neighbor (SKkNN) query. With the two-level data management method and the friendly user interface implemented by the Standard Widget Toolkit (SWT) and Open Graphics Library (OpenGL), our system is able to not only interact with users in diverse manners, visualize datasets, and display the SKkNN query evaluation process, but it also helps users better understand the solutions in a more intuitive way. © 2013 Authors.

关键词： Location based services

来源：评论

学校读者我要写书评

暂无评论

A dependency-sharing tool for global software engineering

A dependency-sharing tool for global software engineering

引用

2nd International Conference on Design, User Experience, and Usability: Web, Mobile, and Product Design, DUXU 2013, Held as Part of 15th International Conference on Human-computer Interaction, HCI International 2013

作者： Lee, Douglas Milewski, Allen E. Rosca, Daniela Dept. of Computer Science and Software Engineering Monmouth University West Long Branch NJ United States

ISBN: (纸本)9783642392528

This project explores the design of a tool to facilitate a common task that software engineers find difficult - the identification and management of dependencies between the many heterogeneous entities created in the course of a software development project. The focus of this tool is the value it might have during the maintenance phase. Maintenance engineers learn and understand the project differently from the original authors of the artifacts. Typically, they come to understand the project by investigating dependencies between entities- a task that can be very difficult and time-consuming. To deal with these differences, the Global software Traceability (GST) Tool was designed and prototyped to explore improvements in the usability of maintaining dependency links after the project has been deployed. The GST Tool is a proof-of-concept design prototype used to investigate how to make such a tool both useful and usable. The tool was successful in creating an environment whose overhead was low enough to make it likely that it would be used despite the severe time constraints found in software maintenance. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

Cloud computing in electric vehicles charging control and dispatch optimization

Cloud computing in electric vehicles charging control and di...

引用

IEEE International Conference on Progress in Informatics and Computing (PIC)

作者： Dan Wu Bo Liu Zhijian Chen Wenyan Xie Xiang Huang Shuwei Pei Bin Sheng Donghan Feng Information Center China Southern Power Grid Co. Ltd. Dept. of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China Network & Information Branch Guangdong Electric Power Design Institute Guangzhou China Chinese Academy of Sciences Institute of Software Beijing China Dept. of Electrical Engineering Shanghai Jiao Tong University Shanghai China

ISBN: (纸本)9781479920327

Charging of large-scale electric vehicles will have a significant impact on the grid so that their charging schedule needs to be optimized. The traditional centralized scheduling method requires high performance in information exchange and computing. Based on the analysis of the features of electric vehicle charging load and the research of cloud computing, we propose a cloud computing based schedule platform for optimal charging of electric vehicles. In addition, the function and implementation of the three basic modules of the platform (the data collection module, the cloud computing center and the control center) are exposed. The platform performs well in optimal scheduling for electric vehicles. In addition, the platform can also make full use of the computing resource and reduce the communication congestion.

关键词： Electric vehicles Cloud computing Optimal scheduling Power grids

来源：评论

学校读者我要写书评

暂无评论

Efficient geometric re-ranking for mobile visual search

Efficient geometric re-ranking for mobile visual search

引用

11th Asian Conference on computer Vision, ACCV 2012

作者： Luo, Junwu Lang, Bo State Key Laboratory of Software Development Environment Dept. of Computer Science and Engineering Beihang University Beijing China

ISBN: (纸本)9783642374838

The state-of-the-art mobile visual search approaches are based on the bag-of-visual-word (BoW). As BoW representation ignores geometric relationship among the local features, a full geometric constraint like RANSAC is usually used as a post-processing step to re-rank the matched images, which has been shown to greatly improve the precision but at high computational cost. In this paper we present a novel and efficient geometric re-ranking method. Our basic idea is that the true matching local features should be not only in a similar spatial context, but also have a consistent spatial relationship, thus we simultaneously introduce context similarity and spatial similarity to describe the geometric consistency. By incorporating these two geometric constraints, the co-occurring visual words in the same spatial context can be regarded as a "visual phrase"and significantly improve the discriminative power than single visual word. To evaluate our approach, we perform experiments on Star5k and ImageNet100k dataset. The comparison with the BoW method and Soft-assignment method highlights the effectiveness of our approach in both accuracy and speed. © 2013 Springer-Verlag.

关键词： Geometry

来源：评论

学校读者我要写书评

暂无评论

引用

28th Annual ACM Symposium on Applied Computing, SAC 2013

作者： Kim, Dongjin Han, Yongman Cho, Seong-Je Yoo, Haeyoung Woo, Jinwoon Nah, Yunmook Park, Minkyu Chung, Lawrence Dept. of Computer Science and Software Science Dankook University Yongin 448-701 Korea Republic of Dept. of Computer Engineering Konkuk University Chungbuk 380-701 Korea Republic of Dept. of Computer Science University of Texas Dallas TX 75080 United States

ISBN: (纸本)9781450316569

A software birthmark is unique, as certain native characteristics of a program, hence can be used to measure the similarity between programs. In general, a static software birthmark does not need program execution, but is more vulnerable to attacks by semantic-preserving transformations. A dynamic software birthmark is applicable to packed executables, but cannot cover all the possible program paths. In this paper, we propose a novel effective technique to measure the similarity of Microsoft Windows applications using both static and dynamic birthmarks, which are based on the list of system APIs as well as the frequency of system API calls. Because system APIs are located in Windows system directories and act as a bridge between applications and the operating system, our birthmarks are resilient to obfuscations and compiler optimizations. A static birthmark consists of the system API call frequency of a target program, which can be extracted by scanning the executable file. A dynamic birthmark is the frequency of system API function calls, which can be extracted by a binary instrumentation tool during the execution of the program. To evaluate the effectiveness of the proposed technique, we compare various types of Windows applications using both the static and dynamic birthmarks. To demonstrate the robustness, we compare packed executables that were compressed by a binary packing tool. We carry out additional experiments for measuring the similarity between target Windows applications at the source code level and verify the evaluation results. The experimental results show that our birthmarks can effectively measure the similarity between Windows applications, as intended. Copyright 2013 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Requirements-driven software service evolution

Requirements-driven software service evolution

引用

2012 International Conference on Service-Oriented Computing, ICSOC 2012

作者： Li, Feng-N Dept. of Information Engineering and Computer Science University of Trento Trento Italy School of Software Tsinghua University Beijing China

ISBN: (纸本)9783642378034

Evolution is of key importance for software services as they need to satisfy ever-changing customer requirements under open and dynamic operating environment. The majority of current research on service evolution is focused on maintaining the compatibility between evolved service and existing clients, while few works look into its root cause. This paper proposes to study service evolution from a requirements' perspective. The key research problems - change propagation and traceability - in requirements-driven service evolution are discussed and the concept of "feature" is used to bridge the gap between requirements model and services model. A feature-oriented approach is presented, which includes model transformation & refinement (from goal model to feature model), and specification derivation (from feature model to service design space), to effectively address these challenges. © Springer-Verlag 2013.

关键词： Customer satisfaction

来源：评论

学校读者我要写书评

暂无评论

Malware analysis method using visualization of binary files 13

Malware analysis method using visualization of binary files

引用

2013 Research in Adaptive and Convergent Systems, RACS 2013

作者： Han, Kyoungsoo Lim, Jae Hyun Im, Eul Gyu Dept. of Computer and Software Hanyang University Seoul Korea Republic of Div. of Computer Science and Engineering Hanyang University Seoul Korea Republic of

ISBN: (纸本)9781450323482

Malware authors have been generating and disseminating malware variants through various ways, such as reusing modules or using automated malware generation tools. With the help of the malware generation techniques, the number of malware keeps increasing every year. Therefore, new malware analysis techniques are needed to reduce malware analysis overheads. Recently several malware visualization methods were proposed to help malware analysts. In this paper, we proposed a novel method to visually analyze malware by transforming malware binary information into image matrices. Our experimental results show that the image matrices of malware can effectively classify malware families. © 2013 ACM.

关键词： Malware

来源：评论

学校读者我要写书评

暂无评论

Requirements management in a combined process for safety and security assessments

Requirements management in a combined process for safety and...

引用

2013 8th International Conference on Availability, Reliability and Security, ARES 2013

作者： Katta, Vikash Raspotnig, Christian Karpati, Peter Stalhane, Tor Dept. Software Engineering Institute for Energy Technology Halden Norway Dept. Computer and Information Science Norwegian University of Science and Technology Trondheim Norway Dept. Information Science and Media Studies University of Bergen Bergen Norway

ISBN: (纸本)9780769550084

Combined Harm Assessment of Safety and Security for Information Systems (CHASSIS) method defines a unified process for safety and security assessments to address both the safety and security aspects during system development process. CHASSIS applies techniques from safety and security fields-e.g. misuse case and HAZOP-to identify and model hazards, threats and mitigations to a system. These mitigations, which are generally specified as safety and security requirements, are interrelated. Defining and maintaining the interdependencies between these requirements are vital to, among other things, estimate how a requirement impacts other requirements and artefacts. In this paper, we present our approach for providing trace ability to CHASSIS in order to capture the interdependencies between the safety and security requirements and to demonstrate the history and rational behind their elicitation. The approach, called Satrap, constitutes a process model defining what type of artefacts are generated during development and assessment activities, what type of relations between the artefacts should be captured, and how to extract traces. The trace ability approach together with its supporting prototype tool was applied on an Air Traffic Management remote tower example which was assessed for safety and security risks using CHASSIS. © 2013 IEEE.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共148页 << < 83 84 85 86 87 88 89 90 91 92 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：