Results 61 to 70 of about 388,807 (307)

Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems

open access: yesIEEE Access, 2016
Robots are meant to replace humans for a broad variety of everyday tasks, such as environmental monitoring or patrolling large public areas for security assurance.
Federico Ciccozzi   +3 more
doaj   +1 more source

A Sketch of a Model-Driven Approach to Develop Smart Tourism Mobile Applications

open access: yesComputer Sciences & Mathematics Forum, 2023
Several approaches have been proposed to accelerate software development. Model-driven engineering (MDE) is one approach that aims to abstract and automate the development process using models and transformations as the main artifacts.
Hamza Abdelmalek   +3 more
doaj   +1 more source

Incorporating Security Behaviour into Business Models Using a Model Driven Approach [PDF]

open access: yes, 2007
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these models to generate refinements leading to usable implementations over specific ...
Linington, Peter F.   +3 more
core   +1 more source

Organ‐specific redox imbalances in spinal muscular atrophy mice are partially rescued by SMN antisense oligonucleotides

open access: yesFEBS Letters, EarlyView.
We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley   +1 more source

Quality-Driven Detection and Resolution of Metamodel Smells

open access: yesIEEE Access, 2019
In model-driven engineering, analogously to any software development practice, metamodel design must be accurate and performed by considering relevant quality factors, including maintainability, reusability, and understandability.
Lorenzo Bettini   +3 more
doaj   +1 more source

Safety Verification of Multiple Industrial Robot Manipulators with Path Conflicts Using Model Checking

open access: yesMachines, 2023
Software development for robotic systems is traditionally performed based on simulations, manual code implementation, and testing. However, this software development approach can cause safety issues in some scenarios, including multiple robots sharing a ...
Metin Ozkan   +3 more
doaj   +1 more source

Challenging Models: Formalizing Quests in Gamified Systems for Behavioral Change

open access: yes, 2023
Tasks performed by users in exchange for some reward, also known as quests or challenges, are one of the essential elements found in gamified systems, including systems for behavioral change.
Bonetti, Federico   +3 more
core   +1 more source

Tau acetylation at K331 has limited impact on tau pathology in vivo

open access: yesFEBS Letters, EarlyView.
We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto   +3 more
wiley   +1 more source

Computer-aided design for building multipurpose routing processes in discrete event simulation models

open access: yesEngineering Science and Technology, an International Journal, 2021
Good domain-modeling enables an appropriate separation of concerns that improves quality properties in the simulation models, such as modifiability and maintainability.
María Julia Blas, Silvio Gonnet
doaj   +1 more source

Calpain small subunit homodimerization is robust and calcium‐independent

open access: yesFEBS Letters, EarlyView.
Calpains dimerize via penta‐EF‐hand (PEF) domains. Using single‐molecule force spectroscopy, we measured the strength and kinetics of PEF–PEF homodimer binding. The interaction is robust, shows a transient conformational step before dissociation, and remains largely insensitive to Ca2+.
Nesha May O. Andoy   +4 more
wiley   +1 more source

Home - About - Disclaimer - Privacy