Results 31 to 40 of about 1,135,516 (291)
Formal Ontology Driven Model Refactoring [PDF]
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 2018 Refactoring, successfully used in the field of programming, can be used in maintenance and restructuring of the large and complex models. In this paper, we present a novel approach for model refactoring and a set of modelling patterns that are applicable for refinement-based formal development.
Singh, Neeraj Kumar +2 more
openaire +3 more sources
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems [PDF]
, 2016 Trust and reputation models for distributed, collaborative systems have been studied and applied in several domains, in order to stimulate cooperation while preventing selfish and malicious behaviors. Nonetheless, such models have received less attention
Aldini +33 more
core +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Nurses are central to cancer care for children and adolescents, yet no comprehensive synthesis has defined essential core competencies for pediatric oncology nursing (PON) practice internationally, particularly in Latin America and the Caribbean (LAC).
Luís Carlos Lopes‐Júnior +7 more
wiley +1 more source
Madeus: A Formal Deployment Model [PDF]
2018 International Conference on High Performance Computing & Simulation (HPCS), 2018 Distributed software architecture is composed of multiple interacting modules, or components. Deploying such software consists in installing them on a given infrastructure and leading them to a functional state. However, since each module has its own life cycle and might have various dependencies with other modules, deploying such software is a very ...
Chardet, Maverick +3 more
openaire +2 more sources
Cell wall target fragment discovery using a low‐cost, minimal fragment library
FEBS Letters, EarlyView.LoCoFrag100 is a fragment library made up of 100 different compounds. Similarity between the fragments is minimized and 10 different fragments are mixed into a single cocktail, which is soaked to protein crystals. These crystals are analysed by X‐ray crystallography, revealing the binding modes of the bound fragment ligands.
Kaizhou Yan +5 more
wiley +1 more source
Formal Modeling and Verification of Feeder Automation Algorithm [PDF]
Jisuanji gongcheng, 2016 Testing and simulation are main technologies used to ensure the proper running of distribution feeder automation system.But they both refer to the low-level details of electrical equipment so that the computing resources are scattered,affecting the ...
TANG Zhengyi,WANG Jinshui,HE Dongwei,XUE Xingsi,HU Wenyu
doaj +1 more source
DAG-Based Formal Modeling of Spark Applications with MSVL
Information, 2023 Apache Spark is a high-speed computing engine for processing massive data. With its widespread adoption, there is a growing need to analyze its correctness and temporal properties. However, there is scarce research focused on the verification of temporal
Kaixuan Fan, Meng Wang
doaj +1 more source
A formal theory of conceptual modeling universals [PDF]
, 2004 Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate ...
Guizzardi, Giancarlo +2 more
core +3 more sources
FEBS 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
Cognitive Science, 2023 AbstractThe grammatical paradigm used to be a model for entire areas of cognitive science. Its primary tenet was that theories are axiomatic‐like systems. A secondary tenet was that their predictions should be tested quickly and in great detail with introspective judgments.
Chemla, Emmanuel +7 more
openaire +3 more sources