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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是351-360 订阅

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

详细简洁

排序：

A Document Centric Framework for Building distributed Smart object Systems

A Document Centric Framework for Building Distributed Smart ...

引用

international symposium on object-oriented real-time distributed computing

作者： Fahim Kawsar Tatsuo Nakajima Department of Computer Science Waseda University Japan

We present an architectural framework that provides the foundation for building smart object systems and uses a document centric approach utilizing a profile based artefact framework and a task based application framework. Our artefact framework represents an instrumented physical smart objects as a collection of service profiles and expresses these services in generic documents. Applications for smart objects are expressed as a collection of functional tasks (independent of the implementation) in a corresponding document. A runtime component provides the foundation for mapping these tasks to the corresponding service provider smart objects. There are three primary advantages of our approach- firstly, it allows developers to write applications in a generic way without prior knowledge of the smart objects that could be used by the applications. Secondly, smart object management (locating/accessing/etc.) issues are completely handled by the infrastructure thus application development becomes rapid and simple. Finally, the programming abstraction used in the framework allows extension of functionalities of smart objects and applications very easily. We describe an implemented prototype of our framework and show examples of its use in a real life scenario to illustrate its feasibility.

关键词： Buildings Application software Runtime Fluid dynamics Context awareness Context-aware services Space technology Temperature sensors real time systems distributed computing

来源：评论

学校读者我要写书评

暂无评论

Extending component-Based Approaches for Multithreaded Design of Multiprocessor Embedded Software

Extending Component-Based Approaches for Multithreaded Desig...

引用

international symposium on object-oriented real-time distributed computing

作者： Sunwoo Lee Byung Kwan Jung Minsoo Ryu Seungwon Lee Department of Computer Engineering Hanyang University South Korea Corporate Technology Operations Samsung Advanced Institute of Technology South Korea

Multiprocessor embedded software presents major challenges including the increased complexity and stringent performance requirements raised by parallel processing capability. Although component-based approaches can greatly alleviate the complexity problem, traditional approaches do not provide adequate support for performance requirements on multiprocessors. In this paper, we extend component-based approaches for performance-aware design and analysis of multiprocessor embedded software. The proposed approach begins with a component model that is able to capture concurrent and performance-critical behavior based on UML activity diagrams. It then identifies and exploits potential sources of concurrency within components to produce a multithreaded software design targeted at multiprocessors. We also provide a schedulability analysis that can be used for validating multithreaded software design from a temporal perspective.

关键词： Embedded software Concurrent computing Software design Scheduling Software performance Assembly Yarn distributed computing Parallel processing Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Resource Scopes: Toward Language Support for Compositional Determinism

Resource Scopes: Toward Language Support for Compositional D...

引用

international symposium on object-oriented real-time distributed computing

作者： Madhukar Anand Sebastian Fischmeister Insup Lee Cisco Systems Inc. USA Department of Elect. and Comp. Eng. University of Waterloo Canada Department of Comp. and Inf. Science University of Pennsylvania USA

Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and compositionality simplifies the assembly of complex systems out of smaller modules. This paper describes the PEACOD framework that is developed to support deterministic behavior for resource consumption, value passing, and timing. The paper introduces the notions of determinism in the context of the resource, value, and temporal domains, and present the resource-scope language construct that can be used to program such deterministic behaviors. Furthermore, the paper also provides semantics for the resource scope construct and uses these semantics to show that the program behavior is preserved under composition. The paper briefly describes the current implementation of PEACOD.

关键词： Timing real time systems Embedded system Sampling methods distributed computing Systems engineering and theory Assembly systems Embedded computing Sensor systems Embedded software

来源：评论

学校读者我要写书评

暂无评论

From AADL Architectural Models to Petri Nets: Checking Model Viability

From AADL Architectural Models to Petri Nets: Checking Model...

引用

international symposium on object-oriented real-time distributed computing

作者： Xavier Renault Fabrice Kordon Jérôme Hugues Laboratoire d'Informatique de Paris 6/MoVe Université Pierre et Marie Curie Paris France Institut Telecom Telecom Paris Tech Paris France

ISBN: (纸本)9781424435715

Modeling of distributed real-time embedded (DRE) systems allows one to evaluate models behavior or schedulability. However, assessing that a DRE system's behavior is correct in the causal domain is a challenge: one need to elaborate a mathematical abstraction suitable for checking properties like absence of deadlock or safety conditions (i.e. an invariant remains all over the execution). In this paper, we propose a global approach to building Petri Nets models from an architecture described using AADL. We consider the semantics of interacting entities defined by AADL, and show how to build corresponding Petri Nets models. Based on a case study, we show how the verification process could be automated and parameterized.

关键词： Petri nets Yarn real time systems Telecommunications System recovery distributed computing Safety Buildings System testing Runtime

来源：评论

学校读者我要写书评

暂无评论

From Requirements to Code Revisited

From Requirements to Code Revisited

引用

international symposium on object-oriented real-time distributed computing

作者： Tewfik Ziadi Xavier Blanc Amine Raji University of Paris Paris France ENSIETA-Ecole Nationale Superieure des Ingenieurs des Etudes et Techniques d''Armement Brest France

In this article paper entitled "From Play-In Scenarios to Code: An Achievable Dream",David Harel presented a development schema that makes it possible to go from high-level user-friendly requirements to a full system model, and from there to the final implementation. Even if Harel's schema represents a real contribution to filing the gap between user requirements and final implementations, there is few work on its feasibility and none within *** paper addresses this lack. First we use UML2 sequence diagram as a formalism for requirement specification. Then an approach that synthesizes state machines from UML2 sequence diagrams is presented. From the obtained state machines, we implement a transformation to code. The AIBO platform (one of several typesof robotic pets designed and manufactured by Sony) is used as a case study toillustrate our implementation.

关键词： Unified modeling language real time systems distributed computing Robots Positron emission tomography Manufacturing Bridges Software tools

来源：评论

学校读者我要写书评

暂无评论

A Reconfigurable Virtual Storage Device

A Reconfigurable Virtual Storage Device

引用

international symposium on object-oriented real-time distributed computing

作者： Su-Fang Hsiao Pi-Cheng Hsiu Tei-Wei Kuo Department of Computer Science and Information Engineering National Taiwan University Taipei Taiwan Department of Computer Science and Information Engineering Graduate Institute of Networking and Multimedia National Taiwan University Taipei Taiwan

This research is motivated by the demands of personalized storage devices that fit the quality-of-service needs of each individual user. In particular, the design of a virtual storage device, that consists of multiple heterogeneous storage devices, is proposed with the capability in dynamic reconfiguration to fit the needs of users. A dynamic remapping mechanism is presented with a heap-based data structure to manage the moving of data among component storage devices for performance optimization. A lazy swapping method is then proposed to reduce the mapping overheads. The capability of the proposed design is evaluated with a prototype virtual storage device of a flash drive and a hard drive over an ex2 file system and realistic/generated workloads.

关键词： File systems Computer science Quality of service Data structures Optimization Virtual prototyping Optical devices Delay Costs System performance

来源：评论

学校读者我要写书评

暂无评论

Marte CCSL to Execute East-ADL Timing Requirements

Marte CCSL to Execute East-ADL Timing Requirements

引用

international symposium on object-oriented real-time distributed computing

作者： Frédéric Mallet Marie-Agnès Peraldi-Frati Charles Andre Aoste Project I3S-INRIA Université de Nice-Sophia Antipolis Sophia-Antipolis France

In the automotive domain, several loosely-coupled architecture description languages (ADLs) compete to provide a set of abstract modeling and analysis services on top of the implementation code. In an effort to make all these languages, and more importantly their underlying models, interoperable, we use the UML profile for MARTE as a pivot to define the semantics of these *** this paper, we particularly focus on East-ADL2. We discuss the benefits of having an integrated, MARTE-centered, approach. We give a formal semantics of East-ADL2 timing requirements. Relying on this semantics, several kinds of analysis are possible. Requirements become executable and simulations are run. A constraint solver is used to detect logical inconsistencies. Our proposal is illustrated on an anti-lock braking system (ABS).

关键词： Timing Unified modeling language Automotive engineering Architecture description languages Proposals Buildings distributed computing Software systems Embedded software real time systems

来源：评论

学校读者我要写书评

暂无评论

Intelligent Resource Management and Dynamic Adaptation in a distributed real-time and Embedded Sensor Web System

Intelligent Resource Management and Dynamic Adaptation in a ...

引用

international symposium on object-oriented real-time distributed computing

作者： John S. Kinnebrew William R. Otte Nishanth Shankaran Gautam Biswas Douglas C. Schmidt Department of Electrical Engineering and Computer Science Vanderbilt University Nashville TN USA

Sensor webs are often composed of servers connected to distributed real-time embedded (DRE) systems that operate in open environments where operating conditions, workload, resource availability, and connectivity cannot be accurately characterized a priori. The South East Alaska MOnitoring Network for Science, Telecommunications, Education, and Research (SEAMONSTER) project exhibits many common system management and dynamic operation challenges for effective, autonomous system adaptation in a representative sensor web. These challenges cover both field operation (e.g., power management through system sleep/wake cycles and reaction to local environmental changes) and server operation (e.g., system adaptation for new/modified goals, resource allocation for a changing set of applications, and configuration changes for fluctuating workload). This paper presents the results of integrating and applying quality-of-service (QoS)-enabled component middleware, dynamic resource management, and autonomous agent technologies to address these challenges in SEAMONSTER.

关键词： Intelligent sensors Resource management real time systems Sensor systems Sensor phenomena and characterization Network servers Power system management Availability Project management Telecommunication network management

来源：评论

学校读者我要写书评

暂无评论

Property Preservation and Composition with Guarantees: From ASSERT to CHESS

Property Preservation and Composition with Guarantees: From ...

引用

international symposium on object-oriented real-time distributed computing

作者： Tullio Vardanega Department of Pure and Applied Mathematics University of Padua Italy

While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required guarantees. The very nature of high-integrity software systems make a-posteriori verification totally inapt to meet the time, cost and quality constraints that impend on developers. What is wanted instead is a development method that facilitates early verification and that devolves to proven automation as many of the error-prone development tasks as practically possible. Model-driven engineering (MDE) is an especially fit option to explore in that respect. In a recent European project very interesting results were obtained in the development and industrial evaluation of an MDE process centered on the joint principles of correctness by construction and property preservation. The proceedings of that project were so encouraging in fact that a continuation of it was instigated with a challenging broader *** paper provides an account of the approach taken in the original project with regard to property preservation and outlines the intent of its continuation.

关键词： Model driven engineering Costs Software systems Automation Application software Computer industry distributed computing Mathematics Construction industry Software quality

来源：评论

学校读者我要写书评

暂无评论

On the Semantics of UML/MARTE Clock Constraints

On the Semantics of UML/MARTE Clock Constraints

引用

international symposium on object-oriented real-time distributed computing

作者： Frédéric Mallet Charles Andre INRIA Sophia Antipolis Méditerranée Université de Nice Sophia Antipolis France

ISBN: (纸本)9781424435715

The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in their domain specific profiles. In the UML profile for MARTE, we devised a broadly expressive time model to provide a generic timed interpretation for UML models. Our clock constraint specification language supports the specification of systems with multiple clock domains. Starting with a priori independent clocks, we progressively constrain them to get a family of possible executions. Our language supports both synchronous and asynchronous constraints, just like the synchronous language Signal, but also allows explicit non determinism. In this paper, we give a formal semantics to a core subset of MARTE clock constraint language and we give an equivalent interpretation of this kernel in two other very different formal languages, Signal and time Petri nets.

关键词： Unified modeling language Clocks Specification languages Formal languages Petri nets real time systems Computational modeling distributed computing Kernel Embedded system

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共77页 << < 32 33 34 35 36 37 38 39 40 41 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：