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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

753 篇 会议
16 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

295 篇 工学
- 284 篇 计算机科学与技术...
- 118 篇 软件工程
- 37 篇 电气工程
- 16 篇 控制科学与工程
- 15 篇 信息与通信工程
- 8 篇 安全科学与工程
- 6 篇 机械工程
- 4 篇 建筑学
- 3 篇 生物医学工程（可授...
- 3 篇 生物工程
- 3 篇 网络空间安全
- 2 篇 冶金工程
- 2 篇 动力工程及工程热...
- 2 篇 电子科学与技术（可...
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 土木工程
133 篇 管理学
- 117 篇 管理科学与工程(可...
- 20 篇 图书情报与档案管...
- 16 篇 工商管理
31 篇 理学
- 19 篇 数学
- 8 篇 系统科学
- 3 篇 生物学
- 1 篇 物理学
- 1 篇 地球物理学
- 1 篇 地质学
- 1 篇 统计学（可授理学、...
4 篇 经济学
- 4 篇 应用经济学
2 篇 法学
- 2 篇 社会学
2 篇 医学
- 2 篇 基础医学(可授医学...
1 篇 军事学

主题

209 篇 real time system...
202 篇 distributed comp...
124 篇 quality of servi...
97 篇 object oriented ...
82 篇 application soft...
82 篇 embedded system
82 篇 middleware
81 篇 computer archite...
54 篇 real-time system...
54 篇 hardware
51 篇 timing
45 篇 unified modeling...
42 篇 resource managem...
42 篇 java
40 篇 computer science
38 篇 protocols
36 篇 operating system...
34 篇 runtime
34 篇 costs
32 篇 service oriented...

机构

11 篇 school of comput...
6 篇 department of el...
6 篇 okuma corporatio...
5 篇 college of compu...
5 篇 konkuk universit...
5 篇 aerospace corpor...
5 篇 graduate school ...
5 篇 arizona state un...
5 篇 octopath corpora...
4 篇 university of ca...
4 篇 arizona state un...
4 篇 boeing co st lou...
4 篇 school of comput...
4 篇 department of in...
4 篇 univ leeds sch c...
4 篇 department of co...
3 篇 vienna universit...
3 篇 department of ee...
3 篇 get-télécom pari...
3 篇 graduate school ...

作者

17 篇 jie xu
11 篇 gokhale aniruddh...
11 篇 schmidt douglas ...
11 篇 karsai gabor
10 篇 xu jie
9 篇 aniruddha gokhal...
9 篇 k.h. kim
9 篇 gabor karsai
8 篇 takuya azumi
8 篇 dubey abhishek
8 篇 douglas c. schmi...
8 篇 martin schoeberl
7 篇 uwe brinkschulte
7 篇 paul townend
7 篇 liu lu
7 篇 hiroshi oyama
6 篇 lu liu
6 篇 hill james h.
6 篇 david webster
5 篇 a. polze

语言

769 篇 英文

检索条件"任意字段=IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing"

共 769 条记录，以下是401-410 订阅

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

详细简洁

排序：

Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in distributed real-time and Embedded Systems

Evaluating the Correctness and Effectiveness of a Middleware...

引用

international symposium on object-oriented real-time distributed computing

作者： Amogh Kavimandan Anantha Narayanan Aniruddha Gokhale Gabor Karsai Institute for Software Integrated Systems Vanderbilt University Nashville TN USA

ISBN: (纸本)9780769531328

Recent advances in software processes and artifacts for automating middleware configurations in distributed realtime and embedded (DRE) systems are starting to address the complexities faced by system developers in dealing with the flexibility and configurability provided by contemporary middleware. Despite the benefits of these new processes, there remain significant challenges in verifying their correctness, and validating their effectiveness in meeting the end-to-end quality of service (QoS) requirements of DRE systems. This paper addresses this problem by describing how model-checking and structural correspondence can be used to verify the correctness of a middleware QoS configuration process that uses model-based graph transformations at its core. Next, it provides empirical proof to validate the effectiveness of our technique to meet the end-to-end QoS requirements in the context of a representative DRE system.

关键词： Middleware real time systems Embedded system Quality of service object oriented modeling Embedded software Logic Model driven engineering distributed computing Software systems

来源：评论

学校读者我要写书评

暂无评论

CROWN: A service-oriented Grid Middleware System: Experience and Applications

CROWN: A Service-Oriented Grid Middleware System: Experience...

引用

international symposium on object-oriented real-time distributed computing

作者： Jinpeng Huai Chunming Hu Tianyu Wo Jianxin Li Beihang University China

ISBN: (纸本)9780769531328

Grid computing has emerged as a new paradigm of distributed computing technology on large-scale resource sharing and coordinated problem solving. Based on a proposed Web service-based grid architecture, we have designed a service grid middleware system called CROWN which aims to promote the utilization of valuable resources and cooperation of researchers nationwide and world-wide. To address the issues of CROWN resource management, we proposed some key technologies including trustworthy remote and hot service deployment, overlay-based distributed resource organization, resource scheduling and load balance, and federation-based virtual organization management. A status of the wide-area CROWN testbed is also introduced in this paper. Three typical applications including AREM, MDP and gViz are deployed on the CROWN testbed. Experience of CROWN testbed deployment and application development shows that the middleware can support the typical scenarios such as computing-intensive applications and data-intensive applications etc.

关键词： Middleware Resource management Testing Grid computing distributed computing Large-scale systems Problem-solving Computer architecture service oriented architecture Scheduling

来源：评论

学校读者我要写书评

暂无评论

service-oriented Integration of Systems for Military Capability

Service-Oriented Integration of Systems for Military Capabil...

引用

international symposium on object-oriented real-time distributed computing

作者： Duncan Russell Nik Looker Lu Liu Jie Xu School of Computing University of Leeds UK

ISBN: (纸本)9780769531328

service oriented architecture (SOA) is becoming established in computing as a means to integrate processing and data across organisations. This paper proposes that system-level integration can benefit from service oriented architectural descriptions and loose coupling between the problem domain requirements and different system solutions. The problem domain is exemplified as military capability, from the UK Ministry of Defence (MoD), in particular, network enabled capability (NEC). Representations of military capability in the problem domain can be described in terms of processes. The processes are sequences of functions that can be described as services. Then different types of system solutions can implement the described services. Firstly, the paper presents an overview of conceptual SOA and in the context of military capability compares three levels of service integration: business services, systems services and computing services. Secondly, the paper presents a framework for evaluating the performance and effectiveness of service integration to compare different solutions in delivering military capability.

关键词： National electric code Military computing distributed computing service oriented architecture Semiconductor optical amplifiers Force control Large-scale systems real time systems Context-aware services Quality of service

来源：评论

学校读者我要写书评

暂无评论

Wrong Assumptions and Neglected Areas in real-time Systems

Wrong Assumptions and Neglected Areas in Real-Time Systems

引用

international symposium on object-oriented real-time distributed computing

作者： E. Douglas Jensen MITRE Corporation USA

The real-time computing community uses the terms "predictability" and "determinism" - usually referring to timeliness - without defining them, or incorrectly as synonyms. That results in confusion,... 详细信息

ISBN: (纸本)9780769531328

关键词： real time systems Predictive models object oriented modeling distributed computing Uncertainty Probability distribution Particle measurements Accuracy Exponential distribution Environmental management

来源：评论

学校读者我要写书评

暂无评论

XML Profile for distributed real time Systems

XML Profile for Distributed Real Time Systems

引用

international symposium on object-oriented real-time distributed computing

作者： Polly M. Poon Tharam S. Dillon Elizabeth Chang Ling Feng Faculty of Information Technology Sydney University of Technology Sydney Australia Digital Ecosystems and Business Intelligence Institute Curtin University of Technology Perth Australia Database Group Department of Computer Science Technology Tsinghua University Beijing China

ISBN: (纸本)9780769531328

In this paper, we describe a XML based profile for modeling the semantics of real time systems. We aim to use real time Markup Language (RTML) to provide a comprehensive description of temporal properties for the use in distributed systems communication. RTML is derived from a number of specifications including OMG UML Profile in Schedulability, Performance, and time. In this paper, we discuss the technique that was used to develop RTML semantic model and the important concepts in RTML.

关键词： XML real time systems object oriented modeling Streaming media Australia Markup languages Application software Quality of service Memory Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

Applicability of Web service Technologies to Reach real time Capabilities

Applicability of Web Service Technologies to Reach Real Time...

引用

international symposium on object-oriented real-time distributed computing

作者： Steffen Prüter Guido Moritz Elmar Zeeb Ralf Salomon Frank Golatowski Dirk Timmermann University of Rostock Rostock Germany Center for Life Science and Automation Rostock Germany

Currently the developing process for enterprise applications is improved by the service oriented architecture (SOA) paradigms. With SOAs the creation of modular and clearly defined software architectures at a high grade of interoperability and reusability is possible. For resource- constraint networked devices the devices profile for Web services (DPWS) specification adapt the SOA paradigms to create a framework for interoperable and standardized communication between embedded devices. This paper explains how special parts of DPWS can be adapted to provide real-time capabilities. So this paper shows how developers of real-time software can use the advantages of Web services and which adaptations are necessary to create Web services with real-time capabilities.

关键词： Web services service oriented architecture Media Access Protocol Linux Automation Operating systems Embedded system Network interfaces XML Ethernet networks

来源：评论

学校读者我要写书评

暂无评论

Message from the symposium co-chairs

Proceedings - 11th IEEE Symposium on Object/Component/Servic...

引用

Proceedings - 11th ieee symposium on object/component/service-oriented real-time distributed computing, ISORC 2008 2008年 12-12页

作者： Pettit, Robert Brinkschulte, Uwe Dillon, Tharam Aerospace Corporation United States University of Karlsruhe Germany Curtin University of Technology Australia

来源：评论

学校读者我要写书评

暂无评论

On Safe service-oriented real-time Coordination for Autonomous Vehicles

On Safe Service-Oriented Real-Time Coordination for Autonomo...

引用

international symposium on object-oriented real-time distributed computing

作者： Basil Becker Holger Giese System Analysis and Modeling Group Hasso Plattner Institute University Potsdam Potsdam Germany

ISBN: (纸本)9780769531328

The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavior of multiple autonomous units. However, due to ad-hoc connections and the real-time interaction the correctness and safety of such coordinated autonomous units is very hard to ensure. In this paper we present how service- oriented real-time coordination can be employed to achieve this goal. Based on the proper real-time coordination between two or more vehicles captured by a service contract, we focus on structural changes and the instantiation and termination of service contracts which is a crucial prerequisite for a safe system operation. We present how the structural changes and the service contract creation/deletion can be modeled by a well-defined UML subset consisting of class and object diagrams with collaborations as well as well-defined behavioral rules can be verified taking the dynamic structural changes due to the ad-hoc networking as well as the real-time coordination into account. The new verification technique is outlined and the application of the technique for an application example is presented.

关键词： Remotely operated vehicles Vehicle safety Mobile robots Contracts Collaboration real time systems object oriented modeling Termination of employment Unified modeling language Vehicle dynamics

来源：评论

学校读者我要写书评

暂无评论

realization of an Adaptive distributed Sound System Based on Global-time-Based Coordination and Listener Localization

Realization of an Adaptive Distributed Sound System Based on...

引用

international symposium on object-oriented real-time distributed computing

作者： Emmanuel Henrich Juan A. Colmenares Keizo Fujiwara Chansik Im K.H. Kim Liangchen Zheng Panasonic Avionics Corporation USA University of California Irvine USA Microsoft Japan Japan EECS Department University of California Irvine USA Intel Corporation USA

ISBN: (纸本)9780769531328

This paper discusses the benefits of exploiting 1) the principle of global-time-based coordination of distributed computing actions (TCoDA) and 2) a high-level component-/object-based programming approach in developing real-time embedded computing software. The benefits are discussed in the context of a concrete case study. A new major type of distributed multimedia processing applications, called Adaptive distributed Sound Systems (ADSSs), is presented here to show the compelling nature of the TCoDA exploitation. High-quality ADSSs impose stringent real-time distributed computing requirements. They require a global-time base with precision better than 100 mus. For efficient implementation, the TMO programming scheme and associated tools are shown to be highly useful. In addition, a prototype TMO-based ADSS has been developed and its most important quality attributes have been empirically evaluated. The prototype ADSS has also turned out to be a cost-effective tool for assessing the quality of service of a TMO execution engine.

关键词： Adaptive systems Audio systems distributed computing Prototypes Embedded computing Embedded software Concrete Multimedia systems Application software Quality of service

来源：评论

学校读者我要写书评

暂无评论

QoS Aware Dependable distributed Stream Processing

QoS Aware Dependable Distributed Stream Processing

引用

international symposium on object-oriented real-time distributed computing

作者： Vana Kalogeraki Dimitrios Gunopulos Ravi Sandhu Bhavani Thuraisingham Department of Computer Science & Engineering University of California Riverside USA Institute for Cyber Security University of Technology San Antonio USA Department of Computer Science University of Technology Dallas USA

ISBN: (纸本)9780769531328

In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. distributed stream processing applications have strong timeliness and security demands. In particular, we address the following challenges: (1) propose a real-time dependable execution model by extending the component-based execution model with real-time and dependability properties, and (2) develop QoS-aware application composition and adaptation techniques that employ resource management strategies and security policies when discovering and selecting application components. Our approach enables us to develop a distributed stream processing environment that is predictable, secure, flexible and adaptable.

关键词： distributed computing Application software Streaming media Large-scale systems Quality of service Computer networks Computer science object oriented modeling Resource management Data security

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共77页 << < 37 38 39 40 41 42 43 44 45 46 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：