Interplay of Security&Dependability and Resource using Model-driven and Pattern-based Development
Texte intégral
Figure
Documents relatifs
The DEVS simulation model allows bridging the gap between the BPMN model, which is commonly a static view of the process, and the execution over time of the
In this work, we present a framework for trusted Resource Constrained Embedded Systems (RCES) development by design, by defining both a model to represent S&D pattern language and
i) a model-driven trace checking procedure, which relies on a mapping of temporal requirements written in TemPsy into Ob- ject Constraint Language (OCL) constraints on a meta-model
Aphanomyces euteiches cell wall fractions containing novel glucan-chitosaccharides induce defense genes and nuclear calcium oscillations in the plant host Medicago truncatula...
In our study, ClustMMRA was applied to search for oncogenic / tumour suppressor polycistronic miRNAs driv- ing breast cancer subtypes, pointing out five novel miRNA clusters
The induced intrinsic microporosity and molecular architecture of the polyimide containing Tröger’s base units has merits for accessing a variety of novel functional polyimides
/ La version de cette publication peut être l’une des suivantes : la version prépublication de l’auteur, la version acceptée du manuscrit ou la version de l’éditeur. Access
Mahloojifar, “A low-complexity adaptive beamformer for ultrasound imaging using structured covariance matrix,” IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control