Results 81 to 90 of about 4,368,218 (320)
Building traceable Event-B models from requirements
Science of Computer Programming, 2015 Bridging the gap between informal requirements and formal specifications is a key challenge in systems engineering. Constructing appropriate abstractions in formal models requires skill and managing the complexity of the relationships between requirements and formal models can be difficult.
Alkhammash, Eman +3 more
openaire +4 more sources
A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems [PDF]
, 2010 Requirements traceability modeling is a key issue in real-time embedded design process. In such systems, requirements are of different nature (software-related, system-related, functional and non functional) and must be traced through a multi level ...
Dubois, Hubert +2 more
core +2 more sources
Tumour–host interactions in Drosophila: mechanisms in the tumour micro‐ and macroenvironment
Molecular Oncology, EarlyView.This review examines how tumour–host crosstalk takes place at multiple levels of biological organisation, from local cell competition and immune crosstalk to organism‐wide metabolic and physiological collapse. Here, we integrate findings from Drosophila melanogaster studies that reveal conserved mechanisms through which tumours hijack host systems to ...
José Teles‐Reis, Tor Erik Rusten
wiley +1 more source
Performance Prediction of a MongoDB-Based Traceability System in Smart Factory Supply Chains
Sensors, 2016 In the future, with the advent of the smart factory era, manufacturing and logistics processes will become more complex, and the complexity and criticality of traceability will further increase.
Yong-Shin Kang +2 more
doaj +1 more source
Modeling of Traceability Information System for Material Flow Control Data. [PDF]
, 2010 This paper focuses on data modeling for traceability of material/work flow in information layer of manufacturing control system. The model is able to trace all associated data throughout the product manufacturing from order to final product.
Ismail, Md. Yusof +3 more
core
COMP–PMEPA1 axis promotes epithelial‐to‐mesenchymal transition in breast cancer cells
Molecular Oncology, EarlyView.This study reveals that cartilage oligomeric matrix protein (COMP) promotes epithelial‐to‐mesenchymal transition (EMT) in breast cancer. We identify PMEPA1 (protein TMEPAI) as a novel COMP‐binding partner that mediates EMT via binding to the TSP domains of COMP, establishing the COMP–PMEPA1 axis as a key EMT driver in breast cancer.
Konstantinos S. Papadakos +6 more
wiley +1 more source
Economic Evaluation of Food Traceability Systems through Reference Models [PDF]
Food supply chains complexity present a real challenge to perform economic evaluation of food traceability systems and their innovation/upgrades. In order to perform a supply chain wide economic evaluation a conceptual framework is developed using food ...
Brofman, Freddy +2 more
core +1 more source
Molecular Oncology, EarlyView.Pre‐analytical handling critically determines liquid biopsy performance. This study defines practical best‐practice conditions for cell‐free DNA (cfDNA) and extracellular vesicle–derived DNA (evDNA), showing how processing time, storage conditions, tube type, and plasma input volume affect DNA integrity and mutation detection.
Jonas Dohmen +11 more
wiley +1 more source
Traceability requirements for information systems in the agro-food sector [PDF]
, 2006 Food safety and quality are keys to companies' business survival and great effort and resources are devoted to them. The food production chain, from the farms and feed mills to the finished products leaving the processing plants, is subject to ...
Füzesi, István, Herdon, Miklós
core
A Practical Environment to Apply Model-Driven Web Engineering [PDF]
, 2009 The application of a model-driven paradigm in the development of Web Systems has yielded very good research results. Several research groups are defining metamodels, transformations, and tools which offer a suitable environment, known as model-driven ...
Escalona Cuaresma, María José +7 more
core +1 more source