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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,741 篇 工学
- 1,347 篇 计算机科学与技术...
- 1,113 篇 软件工程
- 333 篇 信息与通信工程
- 301 篇 控制科学与工程
- 165 篇 生物工程
- 147 篇 电气工程
- 121 篇 电子科学与技术（可...
- 119 篇 生物医学工程（可授...
- 116 篇 机械工程
- 83 篇 光学工程
- 83 篇 安全科学与工程
- 73 篇 动力工程及工程热...
- 66 篇 建筑学
- 66 篇 土木工程
- 65 篇 仪器科学与技术
- 65 篇 化学工程与技术
- 56 篇 网络空间安全
779 篇 理学
- 414 篇 数学
- 190 篇 生物学
- 147 篇 系统科学
- 145 篇 物理学
- 124 篇 统计学（可授理学、...
- 67 篇 化学
508 篇 管理学
- 360 篇 管理科学与工程(可...
- 199 篇 工商管理
- 191 篇 图书情报与档案管...
128 篇 医学
- 118 篇 临床医学
- 98 篇 基础医学(可授医学...
81 篇 法学
- 62 篇 社会学
60 篇 经济学
- 60 篇 应用经济学
54 篇 教育学
23 篇 农学
12 篇 文学
7 篇 军事学
3 篇 艺术学

主题

176 篇 software enginee...
135 篇 computer science
78 篇 computational mo...
75 篇 application soft...
72 篇 deep learning
71 篇 accuracy
70 篇 laboratories
68 篇 software systems
67 篇 machine learning
67 篇 software
63 篇 artificial intel...
61 篇 computer archite...
58 篇 training
52 篇 quality of servi...
52 篇 wireless sensor ...
49 篇 systems engineer...
49 篇 resource managem...
47 篇 grid computing
47 篇 security
46 篇 cloud computing

机构

31 篇 beijing key labo...
26 篇 grid computing a...
22 篇 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 篇 sri lanka instit...
10 篇 computing and so...
10 篇 school of softwa...
10 篇 department of so...
10 篇 school of intell...

作者

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

语言

2,843 篇 英文
119 篇 其他
14 篇 中文
3 篇 日文
2 篇 俄文
1 篇 斯洛文尼亚文
1 篇 土耳其文

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

共 2979 条记录，以下是2481-2490 订阅

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

详细简洁

排序：

Using Model-Driven Development in Time-Constrained Course Projects

Using Model-Driven Development in Time-Constrained Course Pr...

引用

Conference on software engineering Education & Training (CSEE&T)

作者： Wilson Padua Synergia Systems and Software Engineering Laboratory Computer Science Department Federal University of Minas Gerais Belo Horizonte Minas Gerais Brazil

Educational software development processes, used in course projects, must exercise practices and artifacts comparable to similar industry-level processes, while achieving acceptable productivity and quality, and, at the same time, complying with constraints on available student time. Here, we discuss our experience with a specific model-driven development process, applied in a time-constrained software engineering course. The course projects are developed in iterations, each delivering a subset of the product functions. These, specified as use cases, undergo a sequence of model transformations, until they become tested code. Transformation steps are verified using standardized quality gates (inspections, tests, and audits), which serve three purposes: teaching verification, validation and quality assurance; helping to assess and grade projects; and providing feedback for process improvement. Size, effort and defect data is recorded in standardized reports. Collected data show that the quality gates proved effective to ensure compliance with the prescribed process, and that using a balanced reusable framework is necessary to achieve satisfactory productivity and quality.

关键词： Productivity Testing Programming computer industry Time factors software engineering Inspection Education Quality assurance Feedback

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Prolog as Cognitive Layer in RoboCupSoccer

Fuzzy Prolog as Cognitive Layer in RoboCupSoccer

引用

IEEE Symposium on Computational Intelligence and Games, CIG

作者： Susana Munoz-Hernandez Wiratna Sari Wiguna Department of Languages and Information Systems and Software Engineering Technical University Madrid Spain School of Computer Science Technical University Madrid Spain

RoboCupSoccer domain has several leagues which varies in the rule of play such as specification of players, number of players, field size, and time length. Nevertheless, each RoboCup league is a variant of a soccer league and therefore they are based on some basic rules of soccer. A layered design of agents system presented in the work of Garcia et al. (2004) shows a modular approach to build control for a team of robots participating in RoboCupSoccer E-League. Based on this design, we propose a generalized architecture offering flexibility to switch between leagues and programming language while maintaining Prolog as cognitive layer. Prolog is a very convenient tool to design strategies for soccer players using simple rules close to human reasoning. Sometimes this reasoning needs to deal with uncertainty, fuzziness or incompleteness of the information. In these cases it is useful Fuzzy Prolog (Guadarrama et al., 2004), (Munoz-Hernandez and Vaucheret, 2005), (Munoz-Hernandez and Gomez-Perez, 2005), (Munoz-Hernandez and Vaucheret, 2006). In this paper we propose to use a combination of Prolog (that is crisp) and Fuzzy Prolog to implement the cognitive layer in RoboCupSoccer, which has the advantage of incorporating as conventional logic as fuzzy logic in this layer. A prototype of a team based on this architecture has been build for RoboCup soccer simulator, and we show that this approach provides a convenient way of incorporating a team strategy in high level (human-like) manner, where technical details are encapsulated and fuzzy information is represented

关键词： Robot sensing systems Fuzzy logic Intelligent robots Robot kinematics Logic programming Cognitive robotics Humans Uncertainty Fuzzy reasoning Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Mobile Game Development: Object-Orientation or Not

Mobile Game Development: Object-Orientation or Not

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： Weishan Zhang Dong Han Thomas Kunz Klaus Marius Hansen School of Software Engineering University of Tongji Shanghai China Department of Computer Science Anhui Vocational College of Electronics and IT Anhui China Department of Systems and Computer Engineering Carleton University Ottawa Canada Computer Science Department University of Aarhus Aarhus Denmark

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 00 should be used with great care in the development of mobile games, and that structural programming can be a very competitive alternative.

关键词： Object oriented programming Application software Mobile computing Games computer science Embedded software software engineering Educational institutions systems engineering and theory software performance

来源：评论

学校读者我要写书评

暂无评论

A Research Agenda for Maintenance & Evolution of SOA-Based systems

A Research Agenda for Maintenance & Evolution of SOA-Based S...

引用

International Conference on software Maintenance (ICSM)

作者： Grace Lewis Dennis Smith Kostas Kontogiannis Scott Tilley Mira Kajko-Mattsson Ned Chapin Software Engineering Institute Carnegie Mellon University USA Electrical & Computer Engineering National and Technical University of Athens Greece Department of Computer Sciences Florida Institute of Technology Computer and Systems Sciences Stockholm University Information Systems Consultant InfoSci Inc.

The main goal of this working session is to provide an opportunity for participants to present current work and have a lively discussion of open issues for the maintenance and evolution of SOA-based systems. The dialog will include both business issues (e.g., organizational changes in the context of migrating to an SOA environment) and technical issues (e.g., analyzing the reuse potential of legacy components in an SOA environment). A draft version of a research agenda will be used as a starting point for obtaining feedback from researchers and practitioners active in this area.

关键词： Service oriented architecture Semiconductor optical amplifiers software engineering Feedback Standards organizations software testing Environmental management engineering management Information systems Transportation

来源：评论

学校读者我要写书评

暂无评论

Economics-Driven software Mining

Economics-Driven Software Mining

引用

International Workshop on the Economics of software and Computation (ESC)

作者： Rami Bahsoon Wolfgang Emmerich School of Engineering and Applied Science Computer Science Aston University Birmingham UK London Software Systems Department of Computer Science University College London London UK

Economics-driven software mining (EDSM) sifts through the repository data to extract information that could be useful for reasoning about not only the technical aspects but also the economics properties related to the development and/or evolution of software systems, and in relation to the environments in which they are procured, developed, evolved and used. The objective is to provide the analyst with insights into investment decisions related to the development, maintenance, and evolution of software systems, EDSM can also assist the analyst in resource planning and utilization. In this position paper, we define EDSM, describe possible scenarios for realizing EDSM and highlight some challenges.

关键词： Economic forecasting Environmental economics Power generation economics software systems Data mining software engineering Investments software maintenance software quality Data analysis

来源：评论

学校读者我要写书评

暂无评论

Achieving dependable systems by synergistic development of architectures and assurance cases

Achieving dependable systems by synergistic development of a...

引用

Workshop on Architecting Dependable systems, WADS 2006

作者： Graydon, Patrick J. Knight, John C. Strunk, Elisabeth A. Department of Computer Science University of Virginia 151 Engineer's Way Charlottesville VA 22904-4740 United States Software Systems Engineering Dept. Aerospace Corporation 15049 Conference Center Drive CH3/320 Chantilly VA 20151-3824 United States

ISBN: (纸本)9783540740339

Assurance Based Development (ABD) is an approach to the construction of critical computing systems in which the system and an argument that it meets its assurance goals are developed simultaneously. ABD touches all aspects of the system lifecycle, but in this paper we focus on how the evolving assurance argument can guide architectural choices to increase system dependability. The goals with this approach to architectural choice are twofold. The first is to develop the architecture so that it provides the required evidence. The second is to refine the assurance case as architectural choices are made so that the evidence that will be provided supports the assurance claims. Combining development and assurance in this way facilitates detection-and thereby avoidance-of potential assurance difficulties as they arise, rather than after development is complete. © Springer-Verlag Berlin Heidelberg 2007.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

Fault-Adaptive Control for Robust Performance Management of Computing systems

Fault-Adaptive Control for Robust Performance Management of ...

引用

International Conference on Autonomic Computing (ICAC)

作者： Sherif Abdelwahed Nagarajan Kandasamy Institute for Software Integrated Systems Vanderbilt University Nashville TN USA Electrical and Computer Engineering Department Drexel University Philadelphia PA USA

This paper introduces a fault-adaptive control approach for the robust and reliable performance management of computing systems. Fault adaptation involves the detection and isolation of faults, and then taking appropr... 详细信息

关键词： Control systems Robust control Power system management Fault diagnosis Resource management Automatic control Adaptive control Quality of service Energy management Maintenance

来源：评论

学校读者我要写书评

暂无评论

software documents: Comparison and measurement

Software documents: Comparison and measurement

引用

19th International Conference on software engineering and Knowledge engineering, SEKE 2007

作者： Arbuckle, Tom Balaban, Adam Peters, Dennis K. Lawford, Mark Department of Computer Science and Information Systems CSIS Building University of Limerick Plassey Park Limerick Ireland Institute of Informatics Warsaw University Banacha 2 02-097 Warsaw Poland Electrical and Computer Engineering Faculty of Engineering and Applied Science Memorial University of Newfoundland St. John's NL A1B 3X5 Canada Department of Computing and Software Faculty of Engineering McMaster University Hamilton ON L8S 4K1 Canada

ISBN: (纸本)9781627486613

For some time now, researchers have been seeking to place software measurement on a more firmly grounded footing by establishing a theoretical basis for software comparison. Although there has been some work on trying to employ information theoretic concepts for the quantification of code documents, particularly on employing entropy and entropy-like measurements, we propose that employing the Similarity Metric of Li, Vit´anyi, and coworkers for the comparison of software documents will lead to the establishment of a theoretically justifiable means of comparing and evaluating software artifacts. In this paper, we review previous work on software measurement with a particular emphasis on information theoretic aspects, we examine the body of work on Kolmogorov complexity (upon which the Similarity Metric is based), and we report on some experiments that lend credence to our proposals. Finally, we discuss the potential advantages derived from the application of this theory to areas in the of software engineering. Copyright © (2007) by Knowledge systems Institute (KSI).

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

software Visualization - A Process Perspective

Software Visualization - A Process Perspective

引用

IEEE International Workshop on Visualizing software for Understanding and Analysis (VISSOFT)

作者： Juergen Rilling Wen Jun Meng Fuzhi Chen Philippe Charland Department of Computer Science and Software Engineering Concordia University Montreal Canada System of Systems Section Defence Research and Development Canada Val-Belair Canada

software visualization is one of the enabling techniques to provide support during software maintenance activities. software maintenance is a multidimensional problem domain which involves the integration, abstraction and analysis of different knowledge resources and artifacts. Maintainers are typically left with no guidance on how these existing artifacts, tools and knowledge should be utilized to complete a particular task. In this research, we present a novel visualization approach that integrates these artifacts in the software maintenance process chain.

关键词： software maintenance Context modeling Data visualization software tools Ontologies Context awareness Knowledge representation computer science software engineering Research and development

来源：评论

学校读者我要写书评

暂无评论

i2MAP: an incremental and iterative modeling and analysis process 07

i2MAP: an incremental and iterative modeling and analysis pr...

引用

Proceedings of the 10th international conference on Model Driven engineering Languages and systems

作者： Sascha Konrad Heather J. Goldsby Betty H. C. Cheng Siemens Corporate Research Inc. Princeton NJ Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing Michigan

ISBN: (纸本)9783540752080

Detecting errors early within the development process for an embedded system assists a developer in avoiding excessive error correction costs and minimizing catastrophic losses resulting from failures in deployed systems. Towards that end, this paper presents i2MAP, an iterative and incremental goal-driven process for constructing an analysis-level UML model of an embedded system. The UML model is formally analyzed for adherence to the behavioral properties captured in a companion goal model. The process uses goal modeling to capture the requirements of the system, and uses UML to capture analysis-level structural and behavioral information. Both types of i2MAP models can be used to drive a rigorous approach to model-driven development of embedded systems. In this paper, we illustrate the i2MAP process and the accompanying tool suite in the development of an embedded system model for an adaptive light control system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共298页 << < 245 246 247 248 249 250 251 252 253 254 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：