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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
876 篇 期刊文献
56 册 图书

馆藏范围

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

日期分布

学科分类号

1,735 篇 工学
- 1,338 篇 计算机科学与技术...
- 1,110 篇 软件工程
- 332 篇 信息与通信工程
- 300 篇 控制科学与工程
- 165 篇 生物工程
- 146 篇 电气工程
- 119 篇 电子科学与技术（可...
- 119 篇 生物医学工程（可授...
- 114 篇 机械工程
- 84 篇 安全科学与工程
- 83 篇 光学工程
- 73 篇 动力工程及工程热...
- 66 篇 土木工程
- 65 篇 仪器科学与技术
- 65 篇 建筑学
- 65 篇 化学工程与技术
- 55 篇 网络空间安全
777 篇 理学
- 414 篇 数学
- 190 篇 生物学
- 147 篇 系统科学
- 145 篇 物理学
- 125 篇 统计学（可授理学、...
- 67 篇 化学
506 篇 管理学
- 358 篇 管理科学与工程(可...
- 200 篇 工商管理
- 191 篇 图书情报与档案管...
128 篇 医学
- 118 篇 临床医学
- 98 篇 基础医学(可授医学...
80 篇 法学
- 62 篇 社会学
60 篇 经济学
- 60 篇 应用经济学
54 篇 教育学
23 篇 农学
12 篇 文学
7 篇 军事学
3 篇 艺术学

主题

176 篇 software enginee...
134 篇 computer science
76 篇 computational mo...
75 篇 application soft...
72 篇 accuracy
71 篇 deep learning
70 篇 laboratories
69 篇 machine learning
68 篇 software systems
67 篇 software
61 篇 computer archite...
60 篇 training
59 篇 artificial intel...
52 篇 quality of servi...
52 篇 wireless sensor ...
49 篇 systems engineer...
49 篇 resource managem...
48 篇 security
47 篇 grid computing
47 篇 cloud computing

机构

31 篇 beijing key labo...
26 篇 grid computing a...
23 篇 college of compu...
22 篇 department of co...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
18 篇 department of sy...
18 篇 state key labora...
17 篇 software enginee...
12 篇 department of el...
12 篇 department of so...
12 篇 max planck insti...
12 篇 school of inform...
11 篇 institute for so...
11 篇 school of softwa...
11 篇 department of so...
11 篇 sri lanka instit...
10 篇 computing and so...
10 篇 school of intell...

作者

49 篇 rajkumar buyya
35 篇 junping du
31 篇 yingmin jia
25 篇 buyya rajkumar
24 篇 ismail leila
22 篇 fashan yu
19 篇 xenofon koutsouk...
15 篇 song houbing
15 篇 zamli kamal z.
14 篇 m. parashar
14 篇 biswas gautam
14 篇 gautam biswas
13 篇 materwala huned
12 篇 jafer shafagh
12 篇 veera boonjing
12 篇 leung victor c.m...
11 篇 philippe charlan...
11 篇 ahmed bestoun s.
11 篇 zander carol
11 篇 p.k. mckinley

语言

2,702 篇 英文
266 篇 其他
16 篇 中文
3 篇 日文
2 篇 俄文
1 篇 斯洛文尼亚文
1 篇 土耳其文

检索条件"机构=Computer Engineering and Software Systems Department"

共 2985 条记录，以下是2461-2470 订阅

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

详细简洁

排序：

Five years of success: Some outcomes of the Carnegie Mellon Information Assurance Capacity Building Program

Five years of success: Some outcomes of the Carnegie Mellon ...

引用

24th Information systems Education Conference, ISECON 2007

作者： Sledge, Carol Manson, Daniel P. Berta, Anna Maria Tsamitis, Dena Haritos Software Engineering Institute Carnegie Mellon University Pittsburgh PA 15213 United States Computer Information Systems Department California State Polytechnic University Pomona Pomona CA 91768 United States

In July 2007 Carnegie Mellon University (Carnegie Mellon®) hosted its sixth annual offering of the Information Assurance Capacity Building Program (IACBP). The goal of the intensive in-residence summer program is to help build Information Assurance education and research capacity at minority-serving universities. Since 2002, in the first 5 editions, over 45 faculty have participated in the month-long intensive program, which has resulted in the development of a number of new offerings at partner schools, including updates to existing courses, new courses, certificate programs and degree programs. Carnegie Mellon has also supported regional information assurance symposiums and mini-boot camps, additional information assurance grants, and a number of research projects and publications involving faculty and students at partner schools, as well as multi-institution collaborative centers. Throughout the planning and implementation the Carnegie Mellon IACBP goal has been on choosing faculty and university programs that are committed to information assurance curriculum development, teaching and research. As a result, a high level of success has been achieved by faculty and their programs. One example of this success is California State Polytechnic University, Pomona (Cal Poly Pomona), which became a designated Center of Academic Excellence (CAE) in Information Assurance in 2005. The purpose of this paper is to highlight the success of the IACBP and the experience of Cal Poly Pomona and subsequent designation as a CAE. A symposium recently brought back graduates of the IACBP to share outcomes. A recent survey was also conducted of IACBP attendees to document IA education, training and outreach activities. The results provide strong evidence of Carnegie Mellon IACBP successes. © 2007 EDSIG.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

A compositional method for the synthesis of asynchronous communication mechanisms

引用

28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency

作者： Gorgonio, Kyller Cortadella, Jordi Xia, Fei Embedded Systems and Pervasive Computing Laboratory Federal University of Campina Grande Brazil Department of Software Universitat Politécnica de Catalunya Spain School of Electrical Electronic and Computer Engineering University of Newcastle Upon Tyne United Kingdom

ISBN: (纸本)9783540730934

Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ACM synthesis method based on the generation of the reachability graph and the theory of regions was proposed. In this paper, we propose a new synthesis method based on the composition of Petri net modules, avoiding the exploration of the reachability graph. The behavior of ACMs is formally defined and correctness properties are specified in CTL. Model checking is used to verify the correctness of the Petri net models. The algorithms to generate the Petri net models are presented. Finally, a method to automatically generate C++ source code from the Petri net model is described.

关键词： asynchronous communication mechanisms Petri nets concurrent systems synthesis model checking protocols

来源：评论

学校读者我要写书评

暂无评论

A modal logic for beliefs and pro attitudes

A modal logic for beliefs and pro attitudes

引用

AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference

作者： Su, Kaile Sattar, Abdul Lin, Han Reynolds, Mark Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia Key Laboratory of High Confidence Software Technologies Ministry of Education Peking University Beijing China Department of Computer Science Sun Yat-Sen University Guangzhou China School of Computer Science and Software Engineering University of Western Australia Perth Australia

ISBN: (纸本)1577353234

Agents' pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural and satisfying formalization of these attitudes is a longstanding problem in the community of agent theory. Most of existing modal logic approaches are based on Kripke structures and have to face the so-called side-effect problem. This paper presents a new modal logic formalizing agents' pro attitudes, based on neighborhood models. There are three distinguishing features of this logic. Firstly, this logic naturally satisfies Bratman's requirements for agents' beliefs and pro attitudes, as well as some interesting properties that have not been discussed before. Secondly, we give a sound and complete axiom system for characterizing all the valid properties of beliefs and pro attitudes. We introduce for the first time the notion of linear neighborhood frame for obtaining the semantic model, and this brings a new member to the family of non-normal modal logics. Finally, we argue that the present logic satisfies an important requirement proposed from the viewpoint of computation, that is, computational grounding, which means that properties in this logic can be given an interpretation in terms of some concrete computational model. Indeed, the presented neighborhood frame can be naturally derived from probabilistic programming with utilities. Copyright © 2007, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Multi-Objective Genetic Algorithm to Support Class Responsibility Assignment

Multi-Objective Genetic Algorithm to Support Class Responsib...

引用

International Conference on software Maintenance (ICSM)

作者： Michael Bowman Lionel C. Briand Yvan Labiche Software Quality Engineering Laboratory Department of Systems and Computer Engineering Carleton University Ottawa ONT Canada

Class responsibility assignment is not an easy skill to acquire. Though there are many methodologies for assigning responsibilities to classes, they all rely on human judgment and decision making. Our objective is to provide decision-making help to re-assign methods and attributes to classes in a class diagram. Our solution is based on a multi-objective genetic algorithm (MOGA) and uses class coupling and cohesion measurement. Our MOGA takes as input a class diagram to be optimized and suggests possible improvements to it. The choice of a MOGA stems from the fact that there are typically many evaluation criteria that cannot be easily combined into one objective, and several alternative solutions are acceptable for a given OO domain model. This article presents our approach in detail, our decisions regarding the multi-objective genetic algorithm, and reports on a case study. Our results suggest that the MOGA can help correct suboptimal class responsibility assignment decisions.

关键词： Genetic algorithms Object oriented modeling Decision making Context modeling Unified modeling language Genetic engineering Humans software quality Laboratories systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

Mobile game development: Object-orientation or not

Mobile game development: Object-orientation or not

引用

31st Annual International computer software and Applications Conference, COMPSAC 2007

作者： Zhang, Weishan Han, Dong Kunz, Thomas Hansen, Klaus Marius School of Software Engineering Tongji University No. 1239 Siping Road Shanghai 200092 China Department of Computer Science Anhui Vocational College of Electronics and IT Anhui 233030 China Department of Systems and Computer Engineering Carleton University Ottawa K1S 5B6 Canada Computer Science Department University of Aarhus Aabogade 34 8200 Aarhus N Denmark

ISBN: (纸本)9780769528700

Mobile games are one of the primary entertainment applications at present. Limited by scarce resources, such as memory, CPU, input and output, etc, mobile game development is more difficult than desktop application development, with performance as one of the top critical requirements. As object-oriented technology is the prevalent programming paradigm, most of the current mobile games are developed with object-orientation (OO) technologies. Intuitively OO is not a perfect paradigm for embedded software. Questions remain such as how OO and to what degree OO will affect the performance, executable file size, and how optimization strategies can improve the qualities of mobile game software. These questions are investigated in this paper within the mobile Role-Playing-Game (RPG) domain using five industrial mobile games developed with OO. We analyzed them and found excessive usage of OO features used for the development of mobile device applications (but normal for usual desktop applications). We then apply some optimization strategies along the way of structural programming. The experiment shows that the total jar file size of these five optimized games decreases 71%, the lines of codes decreases 59%, and the loading time of each optimized game decreases 22.73%, 34.62%, 25.79%, 24.65% and 16.70% respectively. Therefore, we conclude from our experiments that OO should be used with great care in the development of mobile games, and that structural programming can be a very competitive alternative. © 2007 IEEE.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Testing Intrusion Detection systems in MANET: A Comprehensive Study

Testing Intrusion Detection Systems in MANET: A Comprehensiv...

引用

Annual Conference on Communication Networks and Services Research (CNSR)

作者： Hadi Otrok Joey Paquet Mourad Debbabi Prabir Bhattacharya Concordia Institute for Information Systems Engineering Department Computer Security Laboratory Computer Science and Software Engineering Department Concordia University Montreal QUE Canada

In this paper, we study the problem of testing intrusion detection systems (IDS) in mobile ad hoc networks (MANET). Testing is achieved by simulating different measurements. We modify the testing measurements of infrastructure-based networks to be compatible with the characteristics of MANET. Moreover, we add some new features and their associated measurements that we believe important for testing new proposed IDS. The modified measurements with the new added ones form a set of measurements that will be used throughout the testing process. To the best of our knowledge, there has not been any work done for testing IDS in MANET. Simulators are the most common tools used for testing the IDS. Therefore, we add some precautions for choosing a simulator and a list of available simulators. The precautions will help researchers to test the measurements efficiently and the list of simulators will guide them to select one according to their needs. Finally, we present some input parameter precautions that help on having more trustworthy testing results.

关键词： System testing Intrusion detection Mobile ad hoc networks Wireless sensor networks Ad hoc networks software testing Computational modeling Personal digital assistants Wireless networks Monitoring

来源：评论

学校读者我要写书评

暂无评论

Can graduating students design software systems

Can graduating students design software systems

引用

37th SIGCSE Technical Symposium on computer Science Education

作者： Eckerdal, Anna McCartney, Robert Moström, Jan Erik Ratcliffe, Mark Zander, Carol Department of Information Technology Uppsala University Uppsala Sweden Department of Computer Science and Engineering University of Connecticut Storrs CT 06269 United States Department of Computing Science Umeå University 901 87 Umeå Sweden Department of Computer Science University of Wales Aberystwyth United Kingdom Computing and Software Systems University of Washington Bothell Bothell WA United States

This paper examines software designs produced by students nearing completion of their computer Science degrees. The results of this multi-national, multi institutional experiment present some interesting implications ... 详细信息

ISBN: (纸本)9781595932594

关键词： systems analysis

来源：评论

学校读者我要写书评

暂无评论

JPEG encoder for low-cost FPGAs

JPEG encoder for low-cost FPGAs

引用

International Conference on computer engineering and systems

作者： Hossam Osman Waseim Mahjoup Azza Nabih Gamal M. Aly Department of Computer and Systems Engineering Ain Shams University Cairo Egypt Software Engineering Competence Center ITIDA Giza Egypt

ISBN: (纸本)1424413656;9781424413652

This paper presents the implementation of a JPEG encoder that exploits minimal usage of FPGA resources. The encoder compresses an image as a stream of 8times8 blocks with each element of the block applied and processed individually. The zigzag unit typically found in implementations of JPEG encoders is eliminated. The division operation of the quantization step is replaced by a combination of multiplication and shift operations. The encoder is implemented on Xilinx Spartan-3 FPGA and is benchmarked against two software implementations on four test images. It is demonstrated that it yields performance of similar quality while requiring very limited FPGA resources. A co-emulation technique is applied to reduce development time and to test and verify the encoder design.

关键词： Field programmable gate arrays Discrete cosine transforms Transform coding Image coding Counting circuits Signal processing Pixel Frequency Streaming media Quantization

来源：评论

学校读者我要写书评

暂无评论

Towards Re-engineering Legacy systems for Assured Dynamic Adaptation

Towards Re-engineering Legacy Systems for Assured Dynamic Ad...

引用

International Workshop on Modeling in software engineering (MISE)

作者： Ji Zhang Betty H.C. Cheng Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

Increasingly, software must adapt its behavior in response to changes in the supporting computing, communication infrastructure, and in the surrounding physical environment. Since most existing software was not designed to adapt, research on technique to make legacy software dynamically adaptive has gained increasing interest. Assurance is crucial for adaptive software to fulfill its intended purpose. Correctness is even more critical if it is to be applied in high assurance systems. This paper proposes a model-driven approach to introduce dynamic adaptation to non-adaptive legacy systems while maintaining assurance properties. An aspect-oriented technique is applied to achieve separation of concerns in the implementation.

关键词： software engineering Unified modeling language Adaptive systems Communication system software Physics computing software design software systems Adaptation model Programming computer science

来源：评论

学校读者我要写书评

暂无评论

On discrete event diagnosis methods for continuous systems

On discrete event diagnosis methods for continuous systems

引用

Mediterranean Conference on Control and Automation (MED)

作者： Matthew Daigle Xenofon Koutsoukos Gautam Biswas Institute for Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University Nashville TN USA

Fault detection and isolation is a key component of any safety-critical system. Although diagnosis methods based on discrete event systems have been recognized as a promising framework, they cannot be easily applied to systems with complex continuous dynamics. This paper presents a novel approach for discrete event system diagnosis of continuous systems based on a qualitative abstraction of the measurement deviations from the nominal behavior. We systematically derive a diagnosis model, provide diagnosability analysis, and design a diagnoser. Our results show that the proposed approach is easily applicable and can be used for online diagnosis of abrupt faults in continuous systems.

关键词： Continuous time systems Circuit faults Fault diagnosis Discrete event systems Fault detection Computational efficiency Quantization State-space methods Nonlinear dynamical systems software safety

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共299页 << < 243 244 245 246 247 248 249 250 251 252 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：