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

Proceedings - 2011 14th ieee international symposium on object/component/Service-oriented real-time distributed computing, ISORC 2011 2011年 ix页

作者： Shokri, Eltefaat Brinkschulte, Uwe Takizawa, Makoto Aerospace Corporation United States University of Frankfurt Germany Seikei University Japan

来源：评论

学校读者我要写书评

暂无评论

Advanced Protected Services - A Concept Paper on Survivable Service-oriented Systems

Advanced Protected Services - A Concept Paper on Survivable ...

引用

ieee international symposium on object/component/Service-oriented real-time distributed computing Workshops (ISORCW)

作者： Partha Pal Michael Atighetchi Joseph Loyall Andrew Gronosky Charles Payne Robert Hillman Information and Knowledge Technologies Unit Raytheon BBN Technologies Cambridge USA Cyber Security Group Adventium Laboratories Minneapolis USA Air Force Research Laboratory Rome USA

As newer software construction paradigms like service-oriented architecture (SOA) are adopted into systems of critical importance, it becomes imperative that technology and design artifacts exist that can be utilized to raise the resiliency and protection of such systems to a level where they can withstand sustained attacks from well-motivated adversaries. In this paper we describe a sampling of innovative services and mechanisms that are designed for the protection of systems that are based on service-oriented architectures.

关键词： Protection Service oriented architecture Paper technology USA Councils Military computing Context-aware services real time systems Laboratories Computer aided manufacturing distributed computing

来源：评论

学校读者我要写书评

暂无评论

Efficient Resource Management for Game Server Hosting

Efficient Resource Management for Game Server Hosting

引用

international symposium on object-oriented real-time distributed computing

作者： Dan Martin Aad van Moorsel Graham Morgan Alpha Networks LLP Tewkesbury Tewkesbury UK School of Computing Science University of Newcastle UK

this paper describes work to ease the resource allocation problem in the domain of game server hosting. A solution was sought that required no alteration to game server code and would not inhibit a player9;s gaming... 详细信息

ISBN: (纸本)9780769531328

关键词： Resource management Web server File servers Quality of service distributed computing Network servers Availability Scalability Costs Computer networks

来源：评论

学校读者我要写书评

暂无评论

real-time Dynamic Guarantee in component-Based Middleware

Real-Time Dynamic Guarantee in Component-Based Middleware

引用

international symposium on object-oriented real-time distributed computing

作者： Cassia Yuri Tatibana Carlos Montez Romulo Silva de Oliveira Pós-Graduação em Engenharia Elétrica Universidade Federal de Santa Catarina Brazil

this paper describes an extension to the component-based programming model to support real-time dynamic guarantee for distributed applications. the extended model aims to include an acceptance tests to component-based servers at bind time. We present the mapping of our model to the CORBA component Model, the architecture to support the dynamic guarantee in component-based middleware, the implementation of this architecture in CIAO (component Integrated ACE ORB) and the result of experiments run to evaluate the cost of the mechanisms used

关键词： Middleware Application software real time systems Dynamic programming Testing Computer architecture Costs Embedded system Availability Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

Push-Pull Interest Management for Virtual Worlds

Push-Pull Interest Management for Virtual Worlds

引用

international symposium on object-oriented real-time distributed computing

作者： Rob Minson Georgios theodoropoulos School of Computer Science University of Binningham Birmingham UK

ISBN: (纸本)9780769531328

Several approaches for scalable interest management (IM) within real-time distributed virtual environments (DVEs) have been proposed based upon some division of the data-space in to disjoint volumes or cells. Any such approach, however, must implement some mechanism for propagating the query and update messages around the distributed system. the efficiency of this process can greatly effect the scalability of such systems. In this paper we evaluate an adaptive approach to this problem.

关键词： distributed decision making Subscriptions Environmental management Computer science Virtual environment Scalability distributed computing Algorithm design and analysis object oriented modeling Robustness

来源：评论

学校读者我要写书评

暂无评论

Modeling and Verification of time-Triggered Communication Protocols

Modeling and Verification of Time-Triggered Communication Pr...

引用

international symposium on object-oriented real-time distributed computing

作者： Maria Sorea Bruno Dutertre Wilfried Steiner EADS Innovation Works Munich Germany Computer Science Laboratory SRI International Inc. USA TTTech Computertechnik AG Vienna Austria

ISBN: (纸本)9780769531328

We give an introduction and survey of a formal modeling and verification approach that has been successfully applied to time-triggered protocols. this method allows us to capture and reason about real-time properties of distributed systems. It relies on the modeling concept of calendar similar to what has been used for a long time in discrete event simulation. It is also supported by efficient symbolic verification tools provided by the SAL environment. We present the basis of the modeling method and discuss two related verification approaches for analyzing complex, real-time distributed systems.

关键词： Protocols real time systems object oriented modeling Laboratories Fault tolerant systems Safety Timing Arithmetic distributed computing Calendars

来源：评论

学校读者我要写书评

暂无评论

Message from the ieee ISORC 2014 general chairs

Proceedings - IEEE 17th International Symposium on Object/Co...

引用

Proceedings - ieee 17th international symposium on object/component/Service-oriented real-time distributed computing, ISORC 2014 2014年 xi页

作者： Pettit, Rob Pereira, Carlos Kim, Doohyun Aerospace Corporation United States Federal University of Rio Grade Do Sul Brazil Brazil Konkuk University Korea Republic of

来源：评论

学校读者我要写书评

暂无评论

Wrong Assumptions and Neglected Areas in Embedded Systems Research

Wrong Assumptions and Neglected Areas in Embedded Systems Re...

引用

international symposium on object-oriented real-time distributed computing

作者： Hermann Kopetz Technical University of of Vienna Austria

ISBN: (纸本)9780769531328

Today many embedded computer applications are developed under the assumptions that the hardware works always as described in the documentation, the operating system is free of design errors and the clients use the system as specified. these assumptions lead to systems that are fragile - they break if even a single transistor out of a billion transistors chip occasionally malfunctions or a sporadic Heisenbug [J. Gray, 1986] occurs in the operating system.

关键词： Embedded system Robustness Hardware Operating systems Semiconductor device testing Internet real time systems distributed computing Computer applications Documentation

来源：评论

学校读者我要写书评

暂无评论

Structural Model of real-time Databases: An Illustration

Structural Model of Real-Time Databases: An Illustration

引用

international symposium on object-oriented real-time distributed computing

作者： Nizar Idoudi Claude Duvallet Bruno Sadeg Rafik Bouaziz Faiez Gargouri UFR des Sciences et des Techniques Le Havre France MIRACL-ISIMS Sfax Tunisia

ISBN: (纸本)9780769531328

A real-time database is a database in which both the data and the operations upon the data may have timing constraints. the design of this kind of database requires the introduction of new concepts to modelize both data structures and the dynamic behavior of the database. In this paper, we propose an UML2.0 profile, entitled UML-RTDB, allowing the design of structural model for a real-time database. One of the main advantages of UML-RTDB is its capacity to take into account real-time database properties through specialized concepts in rigourous, easy and expressive manner.

关键词： object oriented modeling Unified modeling language Transaction databases Timing object oriented databases Packaging distributed databases Relational databases Power system modeling real time systems

来源：评论

学校读者我要写书评

暂无评论

A real-time Java component Model

A Real-Time Java Component Model

引用

international symposium on object-oriented real-time distributed computing

作者： A. Plsek P. Merle L. Seinturier INRIA Lille-Nord Europe Project-team ADAM USTL-LIFL CNRS UMR 8022 Villeneuve d'Ascq France

ISBN: (纸本)9780769531328

the real-time specification for Java (RTSJ) is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs for an extensive framework comprising all the aspects of RTSJ development. As the first contribution of this paper, we present a real-time component model directly fitting the needs of RTSJ. Our motivation is to clearly separate real-time and business concerns of applications. We further argue that the RTSJ concerns need to be considered at early stages of architecture design in order to mitigate the complexities of the implementation phase. therefore, as our second contribution, we propose a design process introducing gradually RTSJ concepts into the architecture. We are thus able to alleviate the development of real-time systems and to tailor them for different real-time conditions. Finally, we demonstrate the feasibility of our solution on an example scenario.

关键词： Java real time systems Process design object oriented modeling Yarn distributed computing Europe object oriented programming Embedded system Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：