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 ...
详细信息
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.
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
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 player's gaming experience. Although an academic work, the problem is tackled in a commercial setting.
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...
详细信息
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
Several approaches for scalable interest management (IM) within real-timedistributed virtual environments (DVEs) have been proposed based upon some division of the data-space in to disjoint volumes or cells. Any such...
详细信息
ISBN:
(纸本)9780769531328
Several approaches for scalable interest management (IM) within real-timedistributed 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.
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 ...
详细信息
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-timedistributed systems.
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 sys...
详细信息
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.
A real-time database is a database in which boththe 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 da...
详细信息
ISBN:
(纸本)9780769531328
A real-time database is a database in which boththe 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.
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 th...
详细信息
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-timecomponent 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.
暂无评论