[PDF] Top 20 Contribution to dynamic reconfiguration in component-based systems: consistency and non-functional properties specification
Has 10000 "Contribution to dynamic reconfiguration in component-based systems: consistency and non-functional properties specification" found on our website. Below are the top 20 most common "Contribution to dynamic reconfiguration in component-based systems: consistency and non-functional properties specification".
Contribution to dynamic reconfiguration in component-based systems: consistency and non-functional properties specification
... Purtilo and Hofmeister’s approach The work of Purtilo and Hofmeister [PH91, HP93, HWP93] describe an approach to sup- port dynamic reconfiguration in heterogeneous distributed ... Voir le document complet
135
Preserving the Global Consistency of Dynamic Reconfiguration
... Reconfigurable systems should be ...Therefore, in this paper we focus on the big picture by looking at the system as a set of components rather than diving to the statements and variables ... Voir le document complet
7
Component-Based Specification of Software Architecture Constraints
... description. In the proposed approach, each time the architect wants to check a given constraint on a business component, she/he should specify a new kind of required (non-functional or ... Voir le document complet
11
Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration
... Software systems have to face evolutions of their running context and ...so-called dynamic reconfiguration has been commonly adopted for modifying some components and/or the ... Voir le document complet
11
Preserving the Global Consistency of Dynamic Reconfiguration
... Reconfigurable systems should be ...Therefore, in this paper we focus on the big picture by looking at the system as a set of components rather than diving to the statements and variables ... Voir le document complet
8
Modeling functional and non-functional properties of systems based on a multi-view approach
... defined in the PRISMSYS power-aware model expresses its be- havior by a state machine in Figure ...HwComponent in the HardwareView, owns a power behavior whose modes are: Idle, to express that ... Voir le document complet
176
Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations
... related to memory con- sistency focus on coherence protocols and/or weak memory ...formal specification of a caching algorithm, and its verification in TLA ...specifications in ... Voir le document complet
9
Component-based systems engineering for autonomous spacecraft
... [C.4.1] The Guest Scientist Program sends the desired operating mode for the Propulsion Subsystem to the Sphere Controller. [->PropulsionSubsystemModeInputl.[r] ... Voir le document complet
95
Dynamic consistency of expected utility under non-classical(quantum) uncertainty
... central to Quantum Mechanics and informs about the impact of a measurement on the state of a system can be derived from a consistency requirement on choice ...according to the postulate, the ... Voir le document complet
37
Incremental Verification of Component-Based Timed Systems
... of properties during an incremental development process, we propose to use τ -simulation relations, adapted for timed ...As in the untimed case, this relation, called timed τ -simulation, preserves ... Voir le document complet
20
Wringing out objects for programming and modeling component-based systems
... reflective component-based programming language allowing for stan- dard component-based application development by support- ing modeling and programming development ...continuum ... Voir le document complet
7
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
... defined in the previous ...model and supplying ...relevant properties are defined with an Event-B ...Solvable and CauchyLipschitzCondition define predicates that states respectively that a ... Voir le document complet
17
Testing Component-Based Real Time Systems
... detection and composability checking. Composing a component-based application from com- ponents that are not specifically designed for the in- dividual application poses a number of ... Voir le document complet
8
Combining Model Learning and Data Analysis to Generate Models of Component-based Systems
... is to identify the different components in the traces of T ...given in [2] is divided into three pro- ...traces and segments them in sub- ...Coefficient to evaluate the ... Voir le document complet
7
Component-based Design of Heterogeneous Reactive Systems in Prometheus
... Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe - 38334 Montbonnot Saint-Ismier France Unité de recherche INRIA Futurs : Parc Club Orsay Université - ZAC des Vignes 4, rue J[r] ... Voir le document complet
22
Approach Based Patterns for System-of-Systems Reconfiguration
... composition and fusion operations of other ...selects and composes CSs must preserve the consistency in the ...want to create a new tactical command ...ambulance to transport an ... Voir le document complet
5
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
... defined in the previous ...model and supplying ...relevant properties are defined with an Event-B ...Solvable and CauchyLipschitzCondition define predicates that states respectively that a ... Voir le document complet
18
Modeling dynamic systems : contribution to the unsteady behavior of a condenser based on the pseudo-bond graph approach
... domain and temperature and enthalpy flow (for convection) or heat flow (for conduction) for thermal ...possible to use volume flow rate [17] and entropy flow rate instead of mass flow rate ... Voir le document complet
20
A formal specification of the Fractal component model in Alloy
... developed in the previous sections a formal specification of the Fratal com- ponent ...informal specification pretty truthfully (see Section 10 for a list of the differences between the two), ... Voir le document complet
48
Extending the Causal Consistency Condition to any Object Defined by a Sequential Specification
... point in causal consistency lies in the fact that each process has its own view of the objects, and all these views agree on the partial order on the operations but not necessarily on their ... Voir le document complet
13
Sujets connexes