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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

909 篇 会议
16 册 图书
4 篇 期刊文献

馆藏范围

929 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

572 篇 工学
- 451 篇 计算机科学与技术...
- 285 篇 软件工程
- 135 篇 信息与通信工程
- 134 篇 控制科学与工程
- 62 篇 电气工程
- 54 篇 交通运输工程
- 46 篇 安全科学与工程
- 43 篇 生物工程
- 32 篇 网络空间安全
- 31 篇 电子科学与技术（可...
- 27 篇 动力工程及工程热...
- 27 篇 石油与天然气工程
- 24 篇 生物医学工程（可授...
- 22 篇 机械工程
- 20 篇 仪器科学与技术
- 18 篇 光学工程
228 篇 理学
- 139 篇 数学
- 51 篇 生物学
- 31 篇 物理学
- 28 篇 系统科学
- 28 篇 统计学（可授理学、...
- 16 篇 化学
161 篇 管理学
- 116 篇 管理科学与工程(可...
- 82 篇 工商管理
- 78 篇 图书情报与档案管...
48 篇 经济学
- 48 篇 应用经济学
30 篇 教育学
- 30 篇 教育学
29 篇 法学
- 25 篇 社会学
20 篇 医学
- 19 篇 临床医学
- 17 篇 基础医学(可授医学...
7 篇 农学
4 篇 军事学
2 篇 文学
2 篇 艺术学

主题

36 篇 computer science
26 篇 control systems
21 篇 machine learning
16 篇 artificial intel...
13 篇 access control
13 篇 reinforcement le...
13 篇 computational mo...
13 篇 real-time system...
13 篇 costs
12 篇 traffic control
12 篇 bandwidth
11 篇 deep learning
11 篇 computer archite...
11 篇 protocols
10 篇 quality of servi...
9 篇 automation
9 篇 neural networks
9 篇 hardware
8 篇 mobile ad hoc ne...
8 篇 computer communi...

机构

7 篇 university polit...
7 篇 faculty of autom...
6 篇 national institu...
6 篇 university polit...
6 篇 computer science...
5 篇 pazhou lab
5 篇 chinese acad sci...
4 篇 al-balqa applied...
4 篇 faculty of autom...
4 篇 university polit...
4 篇 school of inform...
4 篇 school of comput...
4 篇 guangdong univ t...
3 篇 college of compu...
3 篇 college of infor...
3 篇 univ chinese aca...
3 篇 univ jinan sch m...
3 篇 department of gr...
3 篇 department of co...
3 篇 university polit...

作者

7 篇 li hui
5 篇 florea adina mag...
5 篇 fagarasan ioana
4 篇 adina magda flor...
4 篇 min-chul lee
4 篇 ghassan samara
4 篇 myungjin cho
4 篇 samara ghassan
4 篇 mocanu stefan
4 篇 liu derong
4 篇 mustata alexandr...
4 篇 hyun-woo kim
4 篇 teng luyao
4 篇 ştefan mocanu
3 篇 bogdan-costel mo...
3 篇 giorgian neculoi...
3 篇 mihnea alexandru...
3 篇 stamatescu grigo...
3 篇 ding naikan
3 篇 grigore stamates...

语言

916 篇 英文
11 篇 其他
4 篇 中文

检索条件"任意字段=24th International Conference on Control Systems and Computer Science, CSCS 2023"

共 929 条记录，以下是851-860 订阅

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

详细简洁

排序：

An agent development framework for data exchange at ATN environment

An agent development framework for data exchange at ATN envi...

引用

24th DASC: 24th Digital Avionics systems conference

作者： Ishibashi, R. Anzaloni, A. Technological Institute of Aeronautics Electronic Engineering and Computer Science Division São José Dos Campos São Paulo Brazil

ISBN: (纸本)0780393074

this work explains and describes the evolution of ATS (Air Traffic Services) messaging including the background, standards and constraints which ICAO (international Civil Aviation Organization) is working within and the new methods/protocols to provide better transference of information on ATN (Aeronautical Telecommunication Network). there are many plans to take advantage of this new technology at both Brazilian Universities, mainly at ITA (Technological Institute of Aeronautics), and some Industries. In the context described above, the main goal is to establish a necessary infrastructure to migrate from existent AFTN (Aeronautical Fixed Telecommunication Network) system to a new AMHS (ATS Message Handling System) solution. this migration is an opportunity for providing to Aeronautical Community a Software Framework which integrates a variety of formal messaging requirements to the several ATN profiles defined by ICAO. this paper follows the previous researches about ATN and describes the purpose of this Framework that is designed for ATN End systems developers. Its intend to provide the core of functionalities of UA (User Agents) and the MTA (Message Transfer Agents) standards which are responsible for data exchange between these End systems over the AMHS environment. Furthermore, it is in accordance with all ATN ICAO specifications under ISO standards applied to X.400 protocol suite. From the X.400 protocol suite, two of these protocols are addressed: PI and P7. the reason of this is due to the fact that the data traffic occurrences always occur by means of systems based on its. the Framework allows the use of native X.400 services for interpersonal message exchange at AMHS environment within a designed profile for each application target. the importance of this work is that ATN applications can grow up by means of a defined, organized and hierarchical set of MTAs and UAs grouped in a unique Software Development Framework. © 2005 IEEE.

关键词： Air traffic control

来源：评论

学校读者我要写书评

暂无评论

Pattern-based analysis of the control-flow perspective of UML activity diagrams

引用

24th international conference on Conceptual Modeling - ER 2005

作者： Wohed, Petia Van Der Aalst, Wil M. P. Dumas, Marion Ter Hofstede, Arthur H. M. Russell, Nick Centre de Recherche en Automatique de Nancy Université Henri Poincaré - Nancy 1/CNRS BP239 54506 Vandoeuvre les Nancy France Department of Technology Management Eindhoven University of Technology GPO Box 513 NL5600 MB Eindhoven Netherlands Faculty of Information Technology Queensland University of Technology GPO Box 2434 Brisbane QLD 4001 Australia

ISBN: (纸本)3540293892

the Unified Modelling Language (UML) is a well-known family of notations for software modelling. Recently, a new version of UML has been released. In this paper we examine the Activity Diagrams notation of this latest version of UML in terms of a collection of patterns developed for assessing control-flow capabilities of languages used in the area of process-aware information systems. the purpose of this analysis is to assess relative strengths and weaknesses of control-flow specification in Activity Diagrams and to identify ways of addressing potential deficiencies. In addition, the pattern-based analysis will yield typical solutions to practical process modelling problems and expose some of the ambiguities in the current UML 2.0 specification [9]. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

SECK: survivable and efficient clustered keying for wireless sensor networks

SECK: survivable and efficient clustered keying for wireless...

引用

IEEE international conference on Performance, Computing and Communications (IPCCC)

作者： M. Chorzempa J.-M. Park M. Eltoweissy Bradley Department of Computer and Electrical Engineering Virginia Technology Blacksburg VA USA Department of Computer Science Virginia Technology Falls Church VA USA

A wireless sensor network (WSN) typically consists of a large number of small sensor nodes and one or more high-end control and data aggregation nodes. Sensor nodes have limited computation and communication capabilities, and communicate via wireless links. Consequently, WSNs are highly vulnerable to attacks. this vulnerability is exacerbated when WSNs have to operate unattended in a hostile environment, such as battlefields. In this paper, we propose a novel self-organizing key management scheme for large-scale WSNs, called Sunivable and efficient clustered keying (SECK). Our scheme was designed specifically to address the key management issues within the low-tier of a hierarchical network architecture. Previous approaches for WSN key management adequately addressed operational issues, but to a large extent, ignored robustness and recoverability issues. Using simulation and analysis, we show that SECK is highly robust against key and node captures, and has noteworthy advantages over other key management schemes.

关键词： Wireless sensor networks Robustness Base stations computer science Sensor systems Data security Cryptography Analytical models computer architecture Scalability

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of a channel allocation scheme with preemptive priority for integrated voice/data mobile networks

Performance analysis of a channel allocation scheme with pre...

引用

IEEE international conference on Performance, Computing and Communications (IPCCC)

作者： S. Tang W. Li Department of Electrical Engineering and Computer Science University of Tolctlo and Eötvös Lárand University Toledo OH USA

ISBN: (纸本)10972641

this paper presents a new channel allocation scheme with preemptive priority for the integrated voice/data mobile network. Based on the scheme, a two-dimensional Markov process is built, and the steady-state probability is solved by the matrix-analytic method. the preemptive priority mechanism introduced gives more benefit to voice traffic at the expense of degrading some data traffic, while the victim buffer compensates the degradation and has no negative effect on voice traffic. From the analysis and numerical results, we can conclude that our scheme can guarantee different QoS requirements from different traffic classes, and significantly improve the channel utilization.

关键词： Performance analysis Channel allocation Traffic control Quality of service Bandwidth Telecommunication traffic Degradation Mobile computing Markov processes Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

A logical account of NGSCB

引用

24th international conference on Formal Techniques for Networked and Distributed systems

作者： Abadi, M Wobber, T Univ Calif Santa Cruz Santa Cruz CA 95064 USA

ISBN: (纸本)3540232524

As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provides protection against software attacks. this paper describes NGSCB using a logic for authentication and access control. Its goal is to document and explain the principals and primary APIs employed in NGSCB.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Distributed games with causal memory are decidable for series-parallel systems

Distributed games with causal memory are decidable for serie...

引用

24th international conference on Foundations of Software Technology and theoretical computer science

作者： Gastin, P Lerman, B Zeitoun, M Univ Paris 07 LIAFA F-75251 Paris 05 France CNRS F-75251 Paris 05 France

ISBN: (纸本)3540240586

this paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. the main difference with other notions of distributed games recently introduced is that, instead of having a local view, strategies and controllers are able to use a more accurate memory, based on their causal view. Our main result states that using the causal view makes the control synthesis problem decidable for series-parallel systems for all recognizable winning conditions on finite behaviors, while this problem with local view was proved undecidable even for reachability conditions.

关键词： Computability and decidability

来源：评论

学校读者我要写书评

暂无评论

A new QoS point coordination function for multimedia wireless LANs

A new QoS point coordination function for multimedia wireles...

引用

Proceedings - 24th international conference on Distributed Computing systems

作者： Chou, Zi-Tsan Wu, Shih-Lin Institute for Information Industry Taipei 106 Taiwan Dept. of Comp. Science Engineering Chang Gung University Tao-Yuan 333 Taiwan

In this paper, we propose a new MAC protocol, named Q-PCF (quality-of-service PCF), which provides QoS guarantees to real-time multimedia applications for WLANs. Specifically, Q-PCF has the following attractive features. First, it supports multiple priority levels and guarantees that high-priority stations always join the polling list earlier than low-priority stations. Second, it provides fast reservation scheme such that real-time stations can get on the polling list in bounded time. third, it employs dynamic bandwidth allocation scheme to support CBR/VBR transportation and provide per-flow probabilistic performance assurances. Forth, it adopts the novel mobile-assisted admission control technique such that the access point can admit as many newly flows as possible, while not violating admitted flows' guarantees. Simulation results do confirm that Q-PCF achieves high goodput and low frame delay dropped rate. Last but not least, we believe that the Q-PCF protocol can be easily applied to the current IEEE 802.11 products without major modifications.

关键词： Local area networks

来源：评论

学校读者我要写书评

暂无评论

Evaluating GUESS and non-forwarding peer-to-peer search

Evaluating GUESS and non-forwarding peer-to-peer search

引用

international conference on Distributed Computing systems

作者： B. Yang P. Vinograd H. Garcia-Molina Computer Science Department University of Stanford USA

Current search techniques over unstructured peer-to-peer networks rely on intelligent forwarding-based techniques to propagate queries to other peers in the network. Forwarding techniques are attractive because they typically require little state and offer robustness to peer failures; however they have inherent performance drawbacks due to the overhead of forwarding and lack of central control. We study GUESS, a nonforwarding search mechanism, as a viable alternative to currently popular forwarding-based mechanisms. We show how non-forwarding mechanisms can be over an order of magnitude more efficient than forwarding mechanisms; however, they must be deployed with care, as a naive implementation can result in highly suboptimal performance, and make them susceptible to hotspots and misbehaving peers.

关键词： Peer to peer computing Protocols Centralized control computer science Intelligent networks Robust control Costs Bandwidth File servers Network servers

来源：评论

学校读者我要写书评

暂无评论

Eventcasting with a wearable computer

Eventcasting with a wearable computer

引用

international conference on Distributed Computing systems Workshop

作者： M. Drugge M. Nilsson K. Synnes P. Parnes Department of Computer Science & Electrical Engineering Division of Media Technology Luleå University of Technology Lulea Sweden

Traditionally, interaction methods for wearable computers have focused on input to the computer itself, yet little has been done when it comes to allowing interaction with the surrounding environment. Pervasive computing, on the other hand, offers access to computational power from any place all the time, yet most interaction techniques utilize either physical hardware or monitoring of the user in order to receive input. this paper presents a novel form of interaction by which a wearable computer user can interact with and control a pervasive computing environment in a natural and intuitive manner. Using sensors, the user can be allowed to literally "throw" events into the environment as a way of interacting with devices and computers.

关键词： Wearable computers Pervasive computing Pharmaceutical technology Hardware Wearable sensors Humans computer science Power engineering computing Physics computing computerized monitoring

来源：评论

学校读者我要写书评

暂无评论

Ensuring content and intention consistency in real-time group editors

Ensuring content and intention consistency in real-time grou...

引用

international conference on Distributed Computing systems

作者： D. Li R. Li Department of Computer Science Texas A&M University College Station Texas USA

Real-time group editors allow distributed users to work on local replicas of a shared document simultaneously to achieve high responsiveness and free interaction. Operational transformation (OT) is the standard method for consistency maintenance in state-of-the-art group editors. It is potentially able to achieve content consistency (convergence) as well as intention consistency (so that the converged content is what the users intend), while traditional concurrency control methods such as locking and serialization often cannot. However, existing OT algorithms are often not able to really guarantee consistency due to important algorithmic flaws that have been there for fourteen years. We present a novel state difference based transformation (SDT) algorithm to solve the problem. Our result also reveals that the standard priority schemes to break ties in distributed systems should be used with more caution.

关键词： Delay Concurrency control Collaborative software Collaborative work Protocols computer science Convergence Collaboration computer networks IP networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共93页 << < 82 83 84 85 86 87 88 89 90 91 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：