Results 41 to 50 of about 1,058,068 (314)
On the Achievable Stabilization Delay Margin for Linear Plants with Time-Varying Delays
Mathematics, 2017 The paper contributes to stabilization problems of linear systems subject to time-varying delays. Drawing upon small gain criteria and robust analysis techniques, upper and lower bounds on the largest allowable time-varying delay are developed by using ...
Jing Zhu
doaj +1 more source
Towards a Maude tool for model checking temporal graph properties [PDF]
, 2011 We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi.
Lluch-Lafuente, Alberto +4 more
core +2 more sources
A Model Transformation Method Based on Simulink/Stateflow for Validation of UML Statechart Diagrams
MathematicsA model transformation method based on state refinement and semantic mapping is proposed to address the challenges of high modeling complexity and resource consumption in symbolic validation of industrial software requirements.
Runfang Wu, Ye Du, Meihong Li
doaj +1 more source
Implementing a Practical Declarative Logic-Based Model Transformation Engine [PDF]
, 2007 Declarative approaches to specifying model-model transformation\ud are an attractive approach because they can offer implicit source\ud model traversal, automatic traceability management, implicit\ud target object creation, and implicit rule ordering ...
Michael Lawley +3 more
core +1 more source
Digitale Intensität und Management der Transformation [PDF]
, 2021 Digitale Technologien sind zentrale Treiber für das Entwickeln und Umsetzen digitaler Geschäftsmodelle. Die vorliegende Studie zeigt, dass neben der Entwicklung notwendiger Technologien weitere Bausteine wesentlich sind.
Scherrer, Maike +5 more
core +1 more source
Scope in model transformations [PDF]
Software & Systems Modeling, 2016 A notion of hierarchical scope is commonplace in many programmatic systems. In the context of model, and in particular graph transformation, the use of scope can present two advantages: first, more natural expression of transformation application locality, and second, reduction in the number of match candidates, promising performance improvements ...
Maris Jukss +3 more
openaire +2 more sources
Unpacking the difference between digital transformation and IT-enabled organizational transformation [PDF]
, 2021 Although digital transformation offers a number of opportunities for today’s organizations, information systems scholars and practitioners struggle to grasp what digital transformation really is, particularly in terms of how it differs from the well ...
Cha, J. +4 more
core +1 more source
MathematicsThis study presents the development of an adaptive fuzzy control strategy for double-star PMSM-PWM inverters used in ship electrical propulsion. The approach addresses the current and speed tracking challenges of double-star permanent magnet synchronous ...
Djamel Ziane +3 more
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
Modelling Transformative Education [PDF]
FORUM, 2019 This article is a call to rebalance and broaden contemporary education to include a focus on both conformity and transformation. It includes an overview of three different models of education, relating to different educational purposes. Two emphasise conformity in knowledge acquisition – 'mastering knowledge' and 'discovering knowledge' – as well as a
Webb, Rebecca, Kirby, Perpetua
openaire +1 more source