Results 31 to 40 of about 74,323 (305)

UML Consistency Rules

Proceedings of the 8th International Conference on Formal Methods in Software Engineering, 2020
UML models are standard artifacts used by software engineers for designing software. As software is designed, different UML diagram types (e.g., class diagrams and sequence diagrams) are produced by software designers. Since the various UML diagram types describe different aspects of a software system, they are not independent but strongly depend on ...
Torre, Damiano, Labiche, Yvan, Genero, Marcela, Elaasar, Maged, Menghi, Claudio   +4 more
openaire   +2 more sources

Unbiased Finite Element Mesh Delaunay Constrained Triangulation Applied to 2D Images with High Morphological Complexity Using Mathematical Morphology Tools Part 2: Labeled Images

Computation
We propose a method for generating a constrained Delaunay triangulation CDT applied to labeled 2D images with high morphological complexity. In the previous paper, Part 1, we established an unbiased planar straight-line graph (PLSG) on image objects of ...
F. N’Guyen, T. Kanit, A. Imad
doaj   +1 more source

Systems, Views and Models of UML [PDF]

UML Workshop, 2014
In this paper we show by using the example of UML, how a software engineer­ing method can benefit from an integrative mathematical foundation. The mathematical foundation is given by a mathematical system model.
R. Breu, R. Grosu, F. Huber, Bernhard Rumpe, Wolfgang Schwerin   +4 more
semanticscholar   +1 more source

Unbiased Finite Element Mesh Delaunay Constrained Triangulation Applied to 2D Images with High Morphological Complexity Using Mathematical Morphology Tools Part 1: Binary Images

Computation
We propose a method for establishing a Constrained Delaunay Triangulation CDT applied to 2D binary images of high morphological complexity. A prerequisite for CDT is the unbiased definition of the Planar Straight-Line Graph PSLG, which must respect the ...
Franck N’Guyen, Toufik Kanit, Abdellatif Imad   +2 more
doaj   +1 more source

Design and Build a Pharmacy Location Mapping Information System in Batam City

Journal of Applied Geospatial Information, 2022
Geographic information systems have been widely applied in the health sector, including to determine the location of medical clinics, midwife clinics, and pharmacies. Currently, in Batam City, there is no mapping-based system that is used to find out the
Fendi Hidayat, Dwi Ratna Fitriyani, Fifin Oktaviani, Yoga Fitriana   +3 more
doaj   +1 more source

Towards Modeling Web Service Composition in UML

WSMAI, 2016
This paper focuses on how to model and build composite web ser- vices from already existing services. We build on the experience in workflow modeling and see if the principles are applicable to the web service domain.
Roy Grønmo, I. Solheim
semanticscholar   +1 more source

Phenomenological–based strategy for the Gurson-Tvergaard-Needleman model parameters identification

Applications in Engineering Science
The Gurson–Tvergaard–Needleman GTN model is widely used for ductile fracture simulations. However, the selection of its parameters is often done randomly to reproduce the experimental data without considering the physical consistency of the set of ...
R. Bensaada, A. Imad, T. Kanit, A. EL Moumen, M. Almansba, A. Saouab   +5 more
doaj   +1 more source

Information model of intelligent fully mechanized working face based on OPC UA

Gong-kuang zidonghua, 2022
In the process of data connection of each system in fully mechanized working face, it is necessary to perform frequent correspondence between the data point table and the semantics, which leads to the surge of system interconnection and data sharing cost
DU Yibo, ZHANG Chengfeng, GONG Shixin
doaj   +1 more source

Crosstalk between the ribosome quality control‐associated E3 ubiquitin ligases LTN1 and RNF10

FEBS Letters, EarlyView.
Loss of the E3 ligase LTN1, the ubiquitin‐like modifier UFM1, or the deubiquitinating enzyme UFSP2 disrupts endoplasmic reticulum–ribosome quality control (ER‐RQC), a pathway that removes stalled ribosomes and faulty proteins. This disruption may trigger a compensatory response to ER‐RQC defects, including increased expression of the E3 ligase RNF10 ...
Yuxi Huang, Satoshi Hashimoto, Sota Ito, Chisato Kikuguchi, Miho Hoshi, Kiyoshi Yamaguchi, Yoichi Furukawa, Toru Suzuki, Toshifumi Inada   +8 more
wiley   +1 more source

Real‐time assay of ribonucleotide reductase activity with a fluorescent RNA aptamer

FEBS Letters, EarlyView.
Ribonucleotide reductases (RNR) synthesize DNA building blocks de novo, making them crucial in DNA replication and drug targeting. FLARE introduces the first single‐tube real‐time coupled RNR assay, which enables isothermal tracking of RNR activity at nanomolar enzyme levels and allows the reconstruction of allosteric regulatory patterns and rapid ...
Jacopo De Capitani, Noemi E. Nwosu, Viktoria Gocke, Müge Kasanmascheff, Hannes Mutschler   +4 more
wiley   +1 more source