• Aucun résultat trouvé

[PDF] Top 20 A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Has 10000 "A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems" found on our website. Below are the top 20 most common "A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems".

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

... MC and Uppaal SMC can be used to solve queries such as deadlock or ...Models for a Scheduling unit In our framework, a scheduling unit is composed of a set ... Voir le document complet

9

Model-based Specification and Validation of Security and Dependability Patterns

Model-based Specification and Validation of Security and Dependability Patterns

... investigate the design process of Security and Dependabil- ity (S&D) ...patterns. The main goal of this work is to define a modeling and development framework ... Voir le document complet

19

Towards a requirements specification multi-view framework for self-adaptive systems

Towards a requirements specification multi-view framework for self-adaptive systems

... self-adaptive systems inevitably face uncertainty from several sources ...manage the uncertainty in SAS from a selected set of sources, such as Rainbow [3], RELAX [4], FLAGS [5] and ... Voir le document complet

27

A Content Model based on LOM specification Integrating Learning Disabilities: Toward an Adaptive Framework

A Content Model based on LOM specification Integrating Learning Disabilities: Toward an Adaptive Framework

... Content Model In order to allow systems to self-adapt according to the above learner model while preserving reuse of content stored into existing repositories, we propose a ... Voir le document complet

10

Autofunk: an inference-based formal model generation framework for production systems

Autofunk: an inference-based formal model generation framework for production systems

... messages and traces Autofunk takes production messages as input from a (running) system under analysis ...Sua. A production message can be either a stimulus or a response, owns ... Voir le document complet

5

Activity-based Credit Assignment (ACA) Heuristic for Simulation-based Stochastic Search in a Hierarchical Model-base of Systems

Activity-based Credit Assignment (ACA) Heuristic for Simulation-based Stochastic Search in a Hierarchical Model-base of Systems

... ONCLUSION AND PERSPECTIVES As described in sub-section VIII, bucket brigade algorithm is better adapted to rules firing in parallel, profit-sharing is more adapted for single active ...On the other ... Voir le document complet

13

Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems

Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems

... 10. The stages of the detectability and testing method To ensure a well-designed model, several hypotheses and abstraction rules were settled and ...so, the ... Voir le document complet

9

Geometrical Specification Model for Gear - Expression, Metrology and Analysis

Geometrical Specification Model for Gear - Expression, Metrology and Analysis

... coherent, the tolerancing process has to use the same language based on a unified mathematical model to express tolerancing for each person involved during the ...design ... Voir le document complet

5

A Model-Based Combination Language for Scheduling Verification

A Model-Based Combination Language for Scheduling Verification

... Cyber-Physical Systems (CPSs) are built upon discrete software and hardware components, as well as continuous physical ...geneous systems involve numerous domains with competencies and ... Voir le document complet

24

A TT-Based Hierarchical Framework for Decomposing High-Order Tensors

A TT-Based Hierarchical Framework for Decomposing High-Order Tensors

... Train, hierarchical SVD, dimensionality reduction, tensor graph ...Massive and heterogeneous data processing and analysis have been clearly identified by the scientific community as key ... Voir le document complet

28

Model-based Specification and Validation of Security and Dependability Patterns

Model-based Specification and Validation of Security and Dependability Patterns

... investigate the design process of Security and Dependabil- ity (S&D) ...patterns. The main goal of this work is to define a modeling and development framework ... Voir le document complet

20

A Content Model based on LOM specification Integrating Learning Disabilities: Toward an Adaptive Framework

A Content Model based on LOM specification Integrating Learning Disabilities: Toward an Adaptive Framework

... definition, the metadata of learning objects can be considered as a document that contains structured information by categories and subcategories about an entity that can be used for ... Voir le document complet

9

Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems

Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems

... To the best of our knowledge, three mature frameworks provide some architec- ture stylistic ...Morisawa and Torii [20] have restricted their exploration to the client-server style alternatives ... Voir le document complet

17

A Component-based Framework for the Specification, Verification and Validation of Open Distributed Systems

A Component-based Framework for the Specification, Verification and Validation of Open Distributed Systems

... Units for Distribution : the Behavior A component is an entity which manages some resources in the system and o ers services to manipulate ...them. A resource is an item with ... Voir le document complet

19

Optimizing the Resource Requirements of Hierarchical Scheduling Systems

Optimizing the Resource Requirements of Hierarchical Scheduling Systems

... methodologies for schedulability analysis [5, 7] allow modeling more detailed and complicated behavior of the component workload (individual tasks), relative to the analytical ... Voir le document complet

11

A New Specification-based Qualitative Metric for Simulation Model Validity

A New Specification-based Qualitative Metric for Simulation Model Validity

... offers a specification language for models called Discrete Event System Specification (DEVS) using precise operational semantics thanks to an abstract simulator which establishes formal rules ... Voir le document complet

21

Integrated Framework for Model-Driven Systems Engineering: A Research Roadmap

Integrated Framework for Model-Driven Systems Engineering: A Research Roadmap

... enactment model for this case study and an ex- cerpt is shown in the north-east region of Figure ...proposed a multi- dimensional analysis framework in which ... Voir le document complet

11

Modeling and Simulation Framework for Value-based Healthcare Systems

Modeling and Simulation Framework for Value-based Healthcare Systems

... to model an ideal healthcare delivery system viewed as loosely coupled distributed system of systems, (62) presented a methodology and modeling environment for simulating ... Voir le document complet

25

A model-driven framework development methodology for robotic systems

A model-driven framework development methodology for robotic systems

... keeping and lane changing assistance system Lane keeping and lane changing assistance in automobiles is a perfect application in which human and automation have to be integrated ... Voir le document complet

195

HireNet: A Hierarchical Attention Model for the Automatic Analysis of Asynchronous Video Job Interviews

HireNet: A Hierarchical Attention Model for the Automatic Analysis of Asynchronous Video Job Interviews

... Results for Monomodal models that representation scheme for our continuous ...As for our discrete features, we chose to extract the mean, the number of active segments, ... Voir le document complet

10

Show all 10000 documents...