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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

535 篇 会议
176 篇 期刊文献
27 册 图书

馆藏范围

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

日期分布

学科分类号

419 篇 工学
- 317 篇 计算机科学与技术...
- 230 篇 软件工程
- 114 篇 信息与通信工程
- 58 篇 控制科学与工程
- 51 篇 电子科学与技术（可...
- 32 篇 电气工程
- 29 篇 生物工程
- 22 篇 动力工程及工程热...
- 21 篇 机械工程
- 19 篇 建筑学
- 18 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 交通运输工程
- 12 篇 安全科学与工程
- 11 篇 化学工程与技术
- 10 篇 生物医学工程（可授...
- 9 篇 力学（可授工学、理...
155 篇 理学
- 91 篇 数学
- 30 篇 系统科学
- 29 篇 生物学
- 24 篇 物理学
- 20 篇 统计学（可授理学、...
- 13 篇 化学
122 篇 管理学
- 75 篇 管理科学与工程(可...
- 58 篇 图书情报与档案管...
- 35 篇 工商管理
17 篇 法学
- 12 篇 社会学
14 篇 医学
- 14 篇 临床医学
- 11 篇 基础医学(可授医学...
11 篇 经济学
- 11 篇 应用经济学
5 篇 教育学
5 篇 农学
2 篇 军事学
1 篇 艺术学

主题

53 篇 computer science
26 篇 routing
26 篇 protocols
24 篇 bandwidth
23 篇 quality of servi...
22 篇 monitoring
20 篇 telecommunicatio...
19 篇 application soft...
19 篇 hardware
18 篇 computer archite...
18 篇 throughput
18 篇 real time system...
18 篇 computational mo...
18 篇 distributed comp...
17 篇 runtime
17 篇 software enginee...
15 篇 network topology
15 篇 resource managem...
15 篇 wireless sensor ...
15 篇 vehicles

机构

18 篇 department of di...
15 篇 institute of par...
8 篇 key laboratory o...
8 篇 distributed syst...
7 篇 chair for embedd...
7 篇 school of comput...
7 篇 department of co...
7 篇 department of di...
7 篇 school of comput...
6 篇 microelectronics...
6 篇 department of co...
5 篇 school of electr...
5 篇 institute of dis...
5 篇 distributed and ...
5 篇 embedded systems...
5 篇 distributed embe...
5 篇 swedish institut...
5 篇 department of di...
4 篇 institute of com...
4 篇 center for appli...

作者

16 篇 rajkumar buyya
16 篇 dustdar schahram
15 篇 chen haibo
11 篇 m. menth
11 篇 michael menth
10 篇 jörg henkel
10 篇 könig-ries birgi...
10 篇 muhammad shafiqu...
9 篇 babalou samira
9 篇 menth michael
9 篇 janakiram d.
9 篇 bastian blywis
9 篇 felix juraschek
8 篇 jeon gwanggil
8 篇 frank slomka
8 篇 juraschek felix
8 篇 özdenizci ozan
7 篇 blywis bastian
7 篇 sri parameswaran
7 篇 zang binyu

语言

712 篇 英文
13 篇 中文
10 篇 其他
3 篇 德文
1 篇 葡萄牙文

检索条件"机构=Distributed Embedded Systems-Institute of Computer Science"

共 738 条记录，以下是561-570 订阅

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

详细简洁

排序：

Extending the strand space method to verify Kerberos V

Extending the strand space method to verify Kerberos V

引用

18th International Conference on Parallel and distributed Computing, Applications and Technologies, PDCAT 2007

作者： Yongjian, Li Jun, Pang Chinese Academy of Sciences Institute of Software Laboratory of Computer Science P.O.Box 8718 Beijing China State Key Laboratory of Information Security P.O.Box 8718 Beijing China University of Oldenburg Department of Computer Science Safety-critical Embedded Systems 26111 Oldenburg Germany

ISBN: (纸本)0769530494

In this paper, we present two extensions of the strand space method to model Kerberos V. First, we include time and timestamps to model security protocols with times-tamps: we relate a key to a crack time and combine it with timestamps in order to define a notion of recency. Therefore, we can check replay attacks in this new framework. Second, we extend the classic strand space theory to model protocol mixture. The main idea is to introduce a new relation → to model the causal relation between one primary protocol session and one of its following secondary protocol session. Accordingly, we also revisit the definition of unsolicited authentication test. To demonstrate the power of this new theory, we model the Kerberos V protocol, and prove its secrecy and authentication goals. Our framework and the proofs of the example have been mechanized using Isabelle/HOL. © 2007 IEEE.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Model-driven construction of workflow-based web applications with domain-specific languages

Model-driven construction of workflow-based web applications...

引用

3rd International Workshop on Model-Driven Web Engineering, MDWE 2007

作者： Freudenstein, Patrick Buck, Jan Nussbaumer, Martin Gaedke, Martin University of Karlsruhe Institute of Telematics IT Management and Web Engineering Research Group Engesserstr. 4 76128 Karlsruhe Germany Chemnitz University of Technology Faculty of Computer Science Distributed and Self-Organizing Computer Systems Group Straße der Nationen 62 09107 Chemnitz Germany

The requirements for Web applications concerning workflow execution, interaction, aesthetics, federation and Web service integration are steadily increasing. Considering their complexity, the development of these "rich workflow-based Web applications" requires a systematic approach taking key factors like strong user involvement and clear business objectives into account. To this end, we present an approach for the model-driven construction and evolution of such Web applications on the basis of workflow models which is founded on Domain-specific Languages (DSLs) and a supporting technical framework. We describe our approach's core DSL for workflow modeling which supports various modeling notations like BPMN or Petri nets and outline a set of DSLs used for designing workflow activities like dialog construction, data presentation and Web service communication. In conclusion, rich workflow-based Web applications can be built by modeling workflows and activities and passing them to the associated technical framework. The resulting running prototype can then be configured in detail using the presented DSLs.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Refactoring an Automotive embedded Software Stack using the Component-Based Paradigm

Refactoring an Automotive Embedded Software Stack using the ...

引用

International Symposium on Industrial embedded systems

作者： Thomas M. Galla Dietmar Schreiner Wolfgang Forster Christof Kutschera Karl M. Goschka Martin Horauer DECOMSYS Dependable Computer Systems GmbH Vienna Austria Distributed Systems Group Institute of Information Systems Vienna Austria University of Applied Sciences Technikum Vienna Department of Embedded Systems Vienna Austria University of Applied Sciences Technikum Vienna Vienna Austria Institute of Information Systems Distributed Systems Group Vienna University of Technology Vienna Austria

The number of electronic systems in cars is continuously growing. Electronic systems, consisting of so-called electronic control units (ECUs) interconnected by a communication network, account for up to 30% of a modern car's worth. Consequently, software plays an ever more important role, both for the implementation of functions and the infrastructure. In order to benefit from the reuse of software modules, the major automotive companies have standardized a large number of these modules in the context of the AUTOSAR consortium. In this paper we propose the refactoring of the AUTOSAR stack of system software modules by applying the component-based paradigm in order to increase the scalability of the software stack according to the particular requirements of the application. We demonstrate the feasibility of this approach by performing the refactoring of the modules FlexRay Driver and FlexRay Interface as an example and by deploying the resulting refactored components in a sample automotive application. Finally, we measure the execution time as well as the memory consumption of the refactored components and compare these measures to the measures obtained from the corresponding ordinary AUTOSAR modules.

关键词： Automotive engineering embedded software Time measurement Communication system control Control systems Communication networks System software Scalability Application software Automotive applications

来源：评论

学校读者我要写书评

暂无评论

Transaction pseudonyms in mobile environments

Transaction pseudonyms in mobile environments

引用

作者： Jorns, Oliver Jung, Oliver Quirchmayr, Gerald Donau-City Strasse 1 1220 Vienna Austria School of Computer and Information Science University of South Australia SA-5001 Adelaide Australia Institute of Distributed and Multimedia Systems University of Vienna Liebiggasse 4/3-4 1010 Vienna Austria

Network Operators start to offer formerly hidden services such as location service, messaging services and presence services. This fosters the development of a new class of innovative context aware applications that are operated by third party application providers. However, without the implementation of proper privacy protection mechanisms, location and presence information, that is processed by third party application providers, may also imply severe risks to users. If no privacy protection is foreseen, the user's identity could be used maliciously which renders such applications dangerous. To protect the user's sensitive data such as location information we propose a novel service architecture which fosters the development of innovative applications that brings together internet applications with telco services. An underlying privacy enhancing mechanism that is based on the notion of pseudonyms allows even untrusted third party application providers to access sensitive data provided by telco services such as location, presence or messaging services. Due to their high security, pseudonyms guarantee that the user's identity is kept secret towards the untrusted application providers. Due to its low computational complexity this pseudonym generation scheme can also be implemented on devices such as mobile phones and digital assistants with only little computational power and restricted memory capabilities. To illustrate our approach, we demonstrate a transportation ticket application that implements the proposed service architecture. This application allows the use of transportation tickets which are extended by the location-tracking functionality. Similar to the well known paper based transportation tickets our solution supports anonymity of users even if the ticket application "knows" the location of the holder. © Springer-Verlag France 2007.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Performance Evaluation of the PVFS2 Architecture

Performance Evaluation of the PVFS2 Architecture

引用

Euromicro Conference on Parallel, distributed and Network-Based Processing

作者： Julian M. Kunkel Thomas Ludwig Germany Institute of Computer Science Research Group Parallel and Distributed Systems Ruprecht-Karls-Universität Heidelberg Germany

As the complexity of parallel file systems' software stacks increases it gets harder to reveal the reasons for performance bottlenecks in these software layers. This paper introduces a method which eliminates the influence of the physical storage on performance analysis in order to find these bottlenecks. Also, the influence of the hardware components on the performance is modeled to estimate the maximum achievable performance of a parallel file system. The paper focuses on the parallel virtual file system 2 (PVFS2) and shows results for the functionality file creation, small contiguous I/O requests and large contiguous I/O requests

关键词： File systems Performance analysis Network servers File servers Runtime Software performance Benchmark testing Libraries Software testing computer architecture

来源：评论

学校读者我要写书评

暂无评论

Blended Learning Technology in Information Security Management Courses

Blended Learning Technology in Information Security Manageme...

引用

International Conference on Availability, Reliability and Security, ARES

作者： Gerald Quirchmayr School of Computer and Information Science University of South Australia SA Australia Faculty of Computer Science Institute of Distributed and Multimedia Systems University of Technology Vienna Wien Austria

ISBN: (纸本)9780769527758

In this paper the author describes the approaches to blending learning he has pursued at the University of Vienna's institute of distributed and Multimedia systems and at the University of South Australia's School of computer and Information science in an attempt to supply online students and on campus students with enhanced teaching and learning materials in an Information Security Management course

关键词： Information security Information management Technology management computer science education Educational programs Multimedia systems distributed computing Information science Australia Environmental management

来源：评论

学校读者我要写书评

暂无评论

Reducing Component systems' Behavior Specification

Reducing Component Systems' Behavior Specification

引用

computer science Society (SCCC) International Conference Chilean FLAGGED

作者： Viliam Holub Frantisek Plasil Distributed Systems Research Group Charles University Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Czech Republic

Behavior verification of large component systems suffers of state explosion in particular when components involve parallel activities. For behavior protocols, a method of component behavior specification, we present a method of state space size reduction based on symbolic manipulation with the specification done by applying a set of reduction rules. A case study is presented showing that the specification size is often reduced to only a fraction of the original one.

关键词： Protocols Algebra computer science Interleaved codes Explosions State-space methods Merging Carbon capture and storage System recovery Veins

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Simulation of Grid Scheduling Strategies

Model-Driven Simulation of Grid Scheduling Strategies

引用

IEEE International Conference on e-science and Grid Computing

作者： Hui Li Rajkumar Buyya Leiden Institute of Advanced Computer Science (LIACS) Leiden University Leiden Netherlands Grid Computing and Distributed Systems Laboratory Department of CSSE University of Melbourne VIC Australia

Simulation studies of grid scheduling strategies require representative workloads to produce dependable results. Real production grid workloads have shown diverse correlation structures and scaling behavior, which are different than the characteristics of the available supercomputer workloads and cannot be captured by Poisson or simple distribution-based models. We present models that are able to reproduce various correlation structures, including pseudo-periodicity and long range dependence. By conducting model-driven simulation, we quantitatively evaluate the performance impacts of workload correlations in grid scheduling. The results indicate that autocorrelations in workloads result in worse system performance, both at the local and the grid level. It is shown that realistic workload modeling is not only possible, but also necessary to enable dependable grid scheduling studies.

关键词： Processor scheduling Autocorrelation Grid computing Computational modeling computer simulation Supercomputers Degradation computer science Laboratories Production

来源：评论

学校读者我要写书评

暂无评论

A Workflow-Driven Approach for the Efficient Integration of Web Services in Portals

A Workflow-Driven Approach for the Efficient Integration of ...

引用

IEEE International Conference on Services Computing (SCC)

作者： Patrick Freudenstein Martin Nussbaumer Frederic Majer Martin Gaedke IT Management and Web Engineering Research Group Institute of Telematics University of Karlsruhe Karlsruhe Germany Distributed and Self-organizing Computer Systems Group Faculty of Computer Science Chemnitz University of Technology Chemnitz Germany

As service-oriented architectures (SOA) mature, an efficient approach for the integration of Web services in portals is required. This holds true especially in medium and large-scale SOA-based systems with a multitude of Web services to be made accessible to the users. The integration scenarios, i.e. the Web service-based features within a portal, are usually composed of complex sequences of user interaction and service communication, aggravating the need for an efficient integration solution. We present an approach for the business process-driven modeling of these scenarios in form of 'user interaction (UI) workflows' as well as a technical framework enabling the model execution within existing portal systems. The integration of Web services in a portal can thus be realized very efficiently by modeling UI workflows and configuring highly generic activity building blocks for dialog construction, service communication and data presentation.

关键词： Web services Portals Service oriented architecture Telematics Technology management Engineering management Data engineering Chemical technology computer science distributed computing

来源：评论

学校读者我要写书评

暂无评论

Transmission protocols for challenging networks: LTP and LTP-T

Transmission protocols for challenging networks: LTP and LTP...

引用

International Workshop on Satellite and Space Communications (IWSSC)

作者： Fahad Syed Muhammad Laurent Franck Stephen Farrell Communication Propagation and Radar IETR National Institute for Applied Sciences Rennes France Microwaves Department ENST de bretagne Toulouse France Distributed Systems Group Department of Computer Science Trinity College Dublin Dublin Ireland

Challenging networks require transmission protocols able to deal with the specificities of the environment. These adverse conditions include very long delays (delays in hours are normal), episodic connectivity, asymmetric data rates, higher bit error rate (The raw BERs are in the order of 10 -2 ), very high free space losses (around 250-300 dB) and power constraints that may severely compromise the effectiveness of standard transport protocols. Transmissions protocols must also relieve applications and other upper-layer protocols (like the bundle protocol from the Delay Tolerant Network architecture) from the need to deal with the characteristics of intervening communications networks and services. In this paper we analyse the impacts of parameters such as loss probability and propagation delay on Licklider Transmission Protocol (LTP) [1], [2] and the newly proposed Licklider Transmission Protocol-(LTP-T) [3] following a comparative study of both the protocols.

关键词： Propagation delay Bit error rate Propagation losses Earth Mars Delay effects Transport protocols Disruption tolerant networking Communication standards IP networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共74页 << < 53 54 55 56 57 58 59 60 61 62 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：