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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

176 篇 software enginee...
135 篇 computer science
77 篇 computational mo...
75 篇 application soft...
71 篇 deep learning
71 篇 accuracy
70 篇 laboratories
68 篇 software systems
68 篇 machine learning
67 篇 software
61 篇 computer archite...
59 篇 artificial intel...
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
32 篇 yingmin jia
25 篇 buyya rajkumar
24 篇 ismail leila
23 篇 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,837 篇 英文
120 篇 其他
14 篇 中文
3 篇 日文
2 篇 俄文
1 篇 斯洛文尼亚文
1 篇 土耳其文

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

共 2974 条记录，以下是2471-2480 订阅

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

详细简洁

排序：

Product Line Enabled Intelligent Mobile Middleware

Product Line Enabled Intelligent Mobile Middleware

引用

IEEE International Conference on engineering of Complex computer systems

作者： Weishan Zhang Thomas Kunz Klaus Marius Hansen School of Software Engineering Tongji University Shanghai China Department of Systems Computer Engineering Carleton University Ottawa Canada Computer Science Department University of Aarhus Aarhus N Denmark

Current mobile middleware is designed according to a 'one-size-fits-all' paradigm, which lacks the flexibility for customization and adaptation to different situations, and does not support user-centered application scenarios well. In this paper we describe an ongoing intelligent mobile middleware research project called PLIMM that focuses on user-centered application scenarios. PLIMM is designed based on software product line ideas which make it possible for specialized customization and optimization for different purposes and hardware/software platforms. To enable intelligence, the middleware needs access to a range of context models. We model these contexts with OWL, focusing on user-centered concepts. The basic building block of PLIMM is the enhanced BDI agent where OWL context ontology logic reasoning will add indirect beliefs to the belief sets. Our approach also addresses the handling of ontology evolutions resulting from the timely adaptation of ontology to changes and the consistent propagation of these changes to all related artifacts, using Frame based product line configuration techniques.

关键词： Middleware Ontologies OWL Pervasive computing Mobile computing Application software Context modeling Logic systems engineering and theory computer networks

来源：评论

学校读者我要写书评

暂无评论

Extending GridSim with an architecture for failure detection

Extending GridSim with an architecture for failure detection

引用

International Conference on Parallel and Distributed systems (ICPADS)

作者： Agustin Caminero Anthony Sulistio Blanca Caminero Carmen Carrion Rajkumar Buyya Department of Computing Systems University of Castilla La Mancha Spain Department of Computer Sc. & Software Engineering University of Melbourne Australia

Grid technologies are emerging as the next generation of distributed computing, allowing the aggregation of resources that are geographically distributed across different locations. However, these resources are independent and managed separately by various organizations with different policies. This will have a major impact to users who submit their jobs to the Grid, as they have to deal with issues such as policy heterogeneity, security and fault tolerance. Moreover, the changes of Grid conditions, such as resources that may become unavailable for a period of time due to maintenance and/or suffer failures, would significantly affect the quality of service (QoS) requirements of users. Therefore, it is essential for users to take into account the effects of resource failures during jobs execution. In this paper, we present our work on introducing resource failures and failure detection into the GridSim simulation toolkit. As we need to conduct repeatable and controlled experiments, it is easier to use simulation as a means of studying complex scenarios. We also give a detailed description of the overall design and a use case scenario demonstrating the conditions of resources varied over time.

关键词： Grid computing Distributed computing Fault tolerance Quality of service Testing Peer to peer computing computer architecture software Resource management Security

来源：评论

学校读者我要写书评

暂无评论

A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL

A Denotational Semantic Model for Validating JVML/CLDC Optim...

引用

International Conference on Quality software

作者： Hamdi Yahyaoui Mourad Debbabi Nadia Tawbi Concordia Institute for Information Systems Engineering Concordia University QUE Canada Electrical and Computer Engineering Department University of Sharjah Sharjah UAE Computer Science and Software Engineering Department Laval University QUE Canada

The main intent of this paper is to present a semantic framework for the validation of JVML/CLDC optimizations. The semantic style of the framework is denotational and rests on an extension of the resource pomsets semantics of Gastin and Mislove [12]. The resource pomsets is a fully abstract semantic model that is based on true concurrency. However, it does not support non-determinism that emerges while interpreting JVML/CLDC programs. In this paper, we present an extension of this model that aims to support unbounded non-determinism. More precisely, we give an overview of the construction of the process space and exhibit its algebraic properties. The elaborated semantics is embedded in the proof assistant Isabelle [28] in order to validate optimizations of JVML/CLDC programs. A case study for the validation of some optimizations of JVML/CLDC programs is also presented. The studied optimizations are: constant propagation and dead assignment elimination.

关键词： Concurrent computing Acceleration Virtual machining Java Dynamic compiler Information systems systems engineering and theory computer science software engineering Runtime

来源：评论

学校读者我要写书评

暂无评论

An agent-based decentralised process management framework for web service composition 2

An agent-based decentralised process management framework fo...

引用

2nd International Conference on Scalable Information systems, InfoScale 2007

作者： Yan, Jun Pidgeon, Phillip Krishna, Aneesh Yong, Jianming School of Information Systems and Technology University of Wollongong WollongongNSW61 2 4221 5411 Australia School of Computer Science and Software Engineering University of Wollongong WollongongNSW61 2 4221 4043 Australia Department of Information Systems Faculty of Business University of Southern Queensland ToowoombaQLD61 7 46312448 Australia

ISBN: (纸本)9781595937575

Web service composition provision which requires efficient coordination of the execution of component services is a critical issue in service-oriented computing. Nowadays, BPEL4WS, the de facto industry standard for service compositions, is predominantly deployed in a way in which all interactions and intermediate data must go through one server. This centralised management results in problems such as poor performance, impaired reliability, limited scalability, and restricted flexibility. To address these problems, this research proposes an agent-based decentralised process management framework for Web service composition. This framework allows distributed BPEL engines, each of which is represented by a software agent, to manage the execution of relevant sub-processes, and to interact with one another directly to coordinate the execution of the whole process. Such a framework naturally reflects the distributed and dynamic features of the Web services environment and subsequently offers improved coordination support for service composition provision.

关键词： software agents

来源：评论

学校读者我要写书评

暂无评论

A Framework for using Rough Sets and Formal Concept Analysis in Case Based Reasoning

A Framework for using Rough Sets and Formal Concept Analysis...

引用

IEEE International Conference on Information Reuse and Integration (IRI)

作者： Jirapond Tadrat Veera Boonjing Puntip Pattaraintakorn Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand

A significant open problem of case based reasoning system is a construction of better knowledge base. We propose a new framework for constructing alternative knowledge base in case based reasoning system based on rough sets and formal concept analysis. Our framework first applies rough set theory for discovering reduced cases required in a case based reasoning system. We then achieve further hierarchical structure of knowledge base using formal concept analysis. The result is the concept lattice knowledge base embedded to our proposed case based reasoning system. A part of case based reasoning system is developed with an example throughout. We also discuss how our proposed framework can be beneficial for a case based reasoning system.

关键词： Rough sets Problem-solving Knowledge acquisition Mathematics computer science Lattices Data analysis software systems Knowledge engineering systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：