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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

7,021 篇 会议
92 篇 期刊文献
52 册 图书

馆藏范围

7,165 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

3,954 篇 工学
- 3,402 篇 计算机科学与技术...
- 1,562 篇 信息与通信工程
- 1,421 篇 软件工程
- 1,051 篇 电气工程
- 241 篇 控制科学与工程
- 123 篇 电子科学与技术（可...
- 91 篇 网络空间安全
- 76 篇 动力工程及工程热...
- 74 篇 仪器科学与技术
- 64 篇 生物工程
- 52 篇 机械工程
- 35 篇 安全科学与工程
- 34 篇 建筑学
- 34 篇 土木工程
- 33 篇 测绘科学与技术
- 31 篇 生物医学工程（可授...
- 30 篇 交通运输工程
560 篇 管理学
- 412 篇 管理科学与工程(可...
- 186 篇 图书情报与档案管...
- 141 篇 工商管理
517 篇 理学
- 314 篇 数学
- 94 篇 物理学
- 73 篇 生物学
- 71 篇 系统科学
- 66 篇 统计学（可授理学、...
100 篇 法学
- 52 篇 社会学
- 49 篇 法学
63 篇 医学
- 37 篇 基础医学(可授医学...
- 31 篇 公共卫生与预防医...
42 篇 经济学
- 41 篇 应用经济学
26 篇 文学
23 篇 教育学
12 篇 农学
6 篇 军事学
2 篇 艺术学

主题

1,159 篇 distributed comp...
419 篇 software enginee...
363 篇 cloud computing
361 篇 artificial intel...
312 篇 computer archite...
306 篇 computer network...
274 篇 social networkin...
270 篇 protocols
247 篇 computer science
231 篇 computational mo...
221 篇 wireless sensor ...
210 篇 scalability
205 篇 peer to peer com...
204 篇 resource managem...
195 篇 routing
190 篇 bandwidth
189 篇 servers
188 篇 application soft...
181 篇 distributed data...
166 篇 grid computing

机构

110 篇 beijing univ pos...
88 篇 state key labora...
12 篇 department of co...
11 篇 college of compu...
10 篇 tsinghua univers...
10 篇 poznan supercomp...
10 篇 school of comput...
10 篇 department of co...
10 篇 beijing universi...
9 篇 inria
9 篇 beijing universi...
9 篇 research institu...
9 篇 rissho universit...
9 篇 tsinghua univ pe...
9 篇 institute of net...
9 篇 school of cyber ...
9 篇 institute of com...
8 篇 georgia inst tec...
8 篇 department of co...
8 篇 institute of net...

作者

25 篇 yang yang
16 篇 huang lican
16 篇 lican huang
14 篇 wehrle klaus
13 篇 gao zhipeng
12 篇 dustdar schahram
12 篇 buyya rajkumar
12 篇 rothermel kurt
11 篇 duerr frank
11 篇 wu jan-jan
11 篇 rajkumar buyya
11 篇 wang wei
11 篇 liu pangfeng
11 篇 teruhisa hochin
11 篇 qi qi
10 篇 ming chen
10 篇 hoefler torsten
10 篇 m. takizawa
10 篇 cheng shiduan
10 篇 schahram dustdar

语言

7,086 篇 英文
47 篇 中文
35 篇 其他

检索条件"任意字段=International Conference on Networking and Distributed Computing"

共 7165 条记录，以下是4841-4850 订阅

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

详细简洁

排序：

Formal Derivation of a Generic Algorithmic Program for Solving a Class of Extremum Problems

Formal Derivation of a Generic Algorithmic Program for Solvi...

引用

ACIS international conference on Software Engineering, Artificial Intelligence, networking, and Parallel/distributed computing (SNPD)

作者： Chang-Jing Wang Jin-Yun Xue Jiangxi Normal University Nanchang Jiangxi CN Key Laboratory of High-Performance Computing Technology Jiangxi Normal University Nanchang China Institute of Software Chinese Academy and Sciences Beijing China

In this paper, we derive formally, using PAR method, a generic algorithmic program for solving a class of extremum problems which can be abstract into a algebra structure called semiring. Some typical algorithms, such as minimal sum problem, maximal product problem, longest ascending segment problem, etc, are all instances of the generic algorithmic program. We put emphasis on the algorithmic derivation rather than the algorithmic verification. Not only embody the designer insight but also reveal the main ideas and ingenuity of these algorithms. The example in this paper confirms that PAR method is a simple and practical approach in deriving high-trustworthy generic algorithm programs.

关键词： Algorithm design and analysis Software algorithms Algebra Software engineering Artificial intelligence Intelligent networks Intelligent structures distributed computing Laboratories Computers

来源：评论

学校读者我要写书评

暂无评论

Scheduling Independent Tasks on Heterogeneous distributed Environments by Differential Evolution

Scheduling Independent Tasks on Heterogeneous Distributed En...

引用

international conference on Intelligent networking and Collaborative Systems (INCOS)

作者： Pavel Krömer Václav Snášel Jan Platoš Ajith Abraham Hesam Izakian Department of Computer Science VšB Technical University of Ostrava Ostrava Czech Republic Department of Computer Science VÅ B - Technical University of Ostrava Ostrava-Poruba Czech Republic Norwegian Center of Excellence Norwegian University of Science and Technology Trondheim Norway Islamic Azad University Ramsar Iran

Scheduling is one of the core steps to efficiently exploit the capabilities of heterogeneous distributed computing systems and it is also an appealing NP-complete problem. There is a number of heuristic and meta-heuristic algorithms that were tailored to deal with scheduling of independent jobs. In this paper we investigate the efficiency of differential evolution on the scheduling problem.

关键词： Processor scheduling Scheduling algorithm Heuristic algorithms distributed computing Computer networks Computer science Grid computing Resource management Ant colony optimization Intelligent networks

来源：评论

学校读者我要写书评

暂无评论

A Method for Dynamic NCW Service Selection Based on EA Ontology

A Method for Dynamic NCW Service Selection Based on EA Ontol...

引用

ACIS international conference on Software Engineering, Artificial Intelligence, networking, and Parallel/distributed computing (SNPD)

作者： Sang-Kyu Hwang Kwang-Je Lee Young-Tae Byun MND of KOREA Hongik University South Korea

Service-Oriented computing (SOC) becomes nowadays the core computing paradigm that utilizes services as fundamental elements for executing information warfare. In the Department of Defense (DoD), the main goal of SOC is that all available information resources crowd into a network, so called `Global Information Grid (GIG)' for Net Centric Warfare (NCW), with little effort for network centric services. For achieving the goal, Defense Information Systems Agency (DISA)'s Net-Centric Enterprise Services(NCES) project has a development budget of $37.2 million and an operating budget of $89.9 million for fiscal year 2009. With increasing emphasis on SOC, the automatic service binding method becomes a hot issue in SOC. This paper proposes a new approach of using the DoD Enterprise Architecture Reference Models(DoD EA RM) as a mid-level ontology to support an automatic NCW service binding for a business-level service composition.

关键词： Ontologies US Government Collaboration Military computing Service oriented architecture Documentation Software engineering Artificial intelligence Intelligent networks distributed computing

来源：评论

学校读者我要写书评

暂无评论

Extraction of User Profile Based on the Hadoop Framework

Extraction of User Profile Based on the Hadoop Framework

引用

international conference on Wireless Communications, networking and Mobile computing (WiCom)

作者： Lan Huang Xiao-wei Wang Yan-dong Zhai Bin Yang College of Computer Science and Technology Jilin University Changchun China

With the rapid development of Internet, the Web information dramatically increases, the users are often involved in voluminous information to feel lose, distributed processing of mass data through a cluster composed by many machines and personalized search services based on the user profile have been the hotspots of research and development. This paper firstly studies the operation mechanism of Hadoop, which is a typical distributed processing framework of Apache, then realizes extraction of user profile from a large number of Web log data and through comparison experiment with single machine to verify its efficiency.

关键词： Data mining File systems Data processing Parallel processing distributed processing Research and development Programming profession Logic Java Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

A Novel distributed Power Control Algorithm Based on Game Theory

A Novel Distributed Power Control Algorithm Based on Game Th...

引用

international conference on Wireless Communications, networking and Mobile computing (WiCom)

作者： Chenglin Zhao Yan Guo

In wireless cellular communication, it is essential to find effective means for power control of signals received from randomly dispersed users. In this paper, a novel distributed power control game algorithm, focusing on cellular CDMA system, was proposed by designing an effective cost function. The simulation results show that the proposed algorithm, compared with other three algorithms, not only can obtain faster convergence but also have higher average SIR while the number of mobiles is less than 20.

关键词： Power control Game theory Multiaccess communication Cost function Wireless communication Algorithm design and analysis Background noise Base stations Interference Wireless networks

来源：评论

学校读者我要写书评

暂无评论

Are the open issues of social software-based personal learning environment practices being addressed? 09

Are the open issues of social software-based personal learni...

引用

13th international Academic MindTrek conference: Everyday Life in the Ubiquitous Era, MindTrek 2009

作者： Syvänen, Antti Muukkonen, Joanna Sihvonen, Mika Department of Information Studies and Interactive Media Finland

ISBN: (纸本)9781605586335

Social media has a particularly strong role in many types of activities today. It has also provided new kinds of possibilities, ways to act and be in contact with other people in networks and communities. Learning environment developers have noticed the potential of social media applications and many new theoretical constructs have been built to help apply the tools for learning. One of the most promising ones has been the PLE (Personal Learning Environment) which will allow learners to control their own learning better. PLE can also help to see learning in a more holistic way because it includes operating environments and networks people already use (also in leisure time). But PLE has also raised certain issues that have not been thoroughly considered, like continua of distributed-integrated architecture solutions, individual-collective processes and formal-informal operating environment, although they present several challenges for student learning, motivation and educational organizations. Copyright 2009 ACM.

关键词： Social networking (online)

来源：评论

学校读者我要写书评

暂无评论

Modelling and formal specification of a multiagent telemedicine system for diabetes care

Modelling and formal specification of a multiagent telemedic...

引用

1st international conference on Agents and Artificial Intelligence, ICAART 2009

作者： Martinez-Sarriegui, Iñaki Zhu, Hong Shan, Lijun García-Sáez, Gema Gómez, Enrique J. Hernando, M. Elena Bioengineering and Telemedicine Centre Politechnical University Madrid Spain CIBER-BBN Networking Research Centre Spain Department of Computing Oxford Brookes University United Kingdom Department of Computer Science National University of Defence Technology China

ISBN: (纸本)9789898111661

This paper presents the modelling and formal specification of a telemedicine system for diabetes care. In such scenario, the multiagent technology supports the distributed autonomy of several Personal Assistants;the communications between them and the hospital's agents;the control of the system's access and multitask functionality;scalability;adaptability;robustness;and the provision to the physicians with the necessary automatic processing tools for the analysis of the large amounts of data generated by patients. We evaluated the AOIS meta-model and the CAMLE's modelling environment concluding that this methodology is adequate to represent a complex medical system like the one presented. The model and the formal specification provide a more complete view of the system and contain very useful information to cope with the future system evolution.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Feature-Modeling and Aspect-Oriented Programming: Integration and Automation

Feature-Modeling and Aspect-Oriented Programming: Integratio...

引用

ACIS international conference on Software Engineering, Artificial Intelligence, networking, and Parallel/distributed computing (SNPD)

作者： Kwanwoo Lee Goetz Botterweck Steffen Thiel Department of Information Systems Engineering Hansung University Seoul South Korea Lero – the Irish Software Engineering Research Centre University of Limerick Limerick Ireland Department of Computer Science Furtwangen University of Applied Sciences Furtwangen Germany

Feature modeling is an essential activity for modeling and managing the variability of a software product line. On the other hand, aspect-oriented programming provides effective means for modularizing feature implementation. Although current AOP tools (e.g., AJDT) provide a mechanism for switching aspect modules on and off to configure a product, this becomes infeasible in the context of large-scale product lines with thousands of variations. In this paper, we describe how feature modeling can be integrated with aspect-oriented programming to perform automated product derivation efficiently and effectively in the context of large-scale product lines.

关键词： Automatic programming Automation Software engineering Switches Artificial intelligence Intelligent networks distributed computing Parallel programming Management information systems Systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

Algebraic Specifications for OMA REL Licenses

Algebraic Specifications for OMA REL Licenses

引用

IEEE international conference on Wireless and Mobile computing, networking And Communications (WiMob)

作者： Nikolaos Triantafyllou Iakovos Ouranos Petros Stefaneas School of Electrical and Computer Engineering National and Technical University of Athens Greece School of Applied Mathematical and Physical Sciences National and Technical University of Athens Greece

OMA-Digital Rights Management System is a standard proposed by Open Mobile Alliance for protecting digital content distributed through mobile networks. In such a system, licenses are written in an appropriate language and used to ensure the fine grained consumption of contents. We claim that the Rights Expression Language (OMA-REL) does not rely on formal semantics. To address this problem we propose an abstract syntax for OMA-REL and write an algebraic specification of it using CafeOBJ, an executable algebraic specification language, with the future goal the creation of automated tools that check the behavior of a set of licenses under a certain environment.

关键词： Licenses Protection Mobile computing Specification languages Content management Physics computing Logic Computer networks distributed computing Mobile communication

来源：评论

学校读者我要写书评

暂无评论

NOMAD A Mobile Ad Hoc and Distruption Tolerant Routing Protocol for Tactical Military Networks

NOMAD A Mobile Ad Hoc and Distruption Tolerant Routing Proto...

引用

international conference on distributed computing Systems Workshop

作者： Peter Holliday Wales Australian Defence Force Academy University of New South Wales Australia

There has been a great deal of research in recent years within the general field of mobile ad hoc networks (MANET) with many proposals submitted to the IETF for consideration. Delay or disruption tolerant networking (DTN) is a relatively new field for routing, concerned with networks that experience long transmission delay or periods of disruption. Military forces around the globe have applied one or the other networking paradigm with varying degrees of success to their own problems of mobility at the lower tactical level (brigade and below). The fundamental reason for this limited success is that many of the desired tactical scenarios at this level require a network that is not exclusively ad hoc nor exclusively disrupted, but rather a network that dynamically adapts to a variety of mobility situations ranging from relatively stable, almost enterprise like, to completely disrupted. Clearly, a routing protocol that is capable of seamlessly transitioning between synchronous and asynchronous modes of operation is needed for tactical (and other) networks. This paper will outline such a protocol, called NOMAD - native OLSR for mobile ad hoc and disrupted networks.

关键词： Routing protocols Mobile ad hoc networks Disruption tolerant networking distributed computing conferences Mobile computing Military computing Australia Proposals Military communication

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 481 482 483 484 485 486 487 488 489 490 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：