Results 101 to 110 of about 193,599 (260)
Extended distributed UML-based protocol synthesis method
, 2014 Synthesizing specifications for real time applications that involve distributed communication protocol entities from a service specification, which is modeled in the UML state machine with composite states, is a time-consuming and labor-intensive task ...
Dallal, Jehad Al
core +1 more source
Journal of the Association for Information Science and Technology, EarlyView.Abstract The term semantic primitives refers to a set of basic, atomic concepts from which all other (compound) concepts are constructed. It presupposes the principle of compositionality—the idea that complex items or expressions can be formed by combining simpler constituents.
Birger Hjørland
wiley +1 more source
eGFR slope as predictor of mortality in heart failure patients
ESC Heart Failure, Volume 12, Issue 2, Page 1217-1226, April 2025.Abstract Aims Heart failure (HF) leads to an imbalance between heart and kidney function, resulting in poor outcomes. However, the prognostic significance of the estimated glomerular filtration rate (eGFR) trajectory in HF patients remains unclear. We analysed electronic health records (EHRs) of real‐world HF patients, assessing eGFR trajectories and ...
Sofie Verstreken +10 more
wiley +1 more source
Derived classes as a basis for views in UML/OCL data models [PDF]
UML is the de facto standard language for analysis and design in object-oriented frameworks. Information systems, and in particular information systems based on databases and their applications, rely heavily on sound principles of analysis and design ...
Balsters, H.
core +1 more source
Data-Visualizing Language Uml And Metalanguage Usc For Historical Memes Studies
, 2021 С. С. Калинин +4 more
openalex +1 more source
Epilepsia Open, EarlyView.Abstract Objective Late‐onset unexplained epilepsy (LoUE), defined as epilepsy onset after age 55 without an obvious cause, is an important risk factor for dementia. Studies have shown that 10%–25% of individuals with LoUE develop dementia within 3–4 years following their first seizure.
Alice D. Lam +13 more
wiley +1 more source
Model evolution and system evolution
Journal of Computer Science and Technology, 2000 In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional ...
Claudia Pons +2 more
doaj
Modelling and Refinement in CODA
, 2013 This paper provides an overview of the CODA framework for modelling and refinement of component-based embedded systems. CODA is an extension of Event-B and UML-B and is supported by a plug-in for the Rodin toolset.
Butler, Michael +6 more
core +2 more sources
Safety Considerations in Deployment of Robotic Systems – A Systematic Review
Journal of Field Robotics, EarlyView.ABSTRACT An in‐depth understanding of the risks related to robotic systems is crucial to guarantee safety throughout all stages of robot design and operations. This required a thorough risk assessment following international standards. This study presents a systematic review of previous research on safety considerations in the design of robotic systems,
Adedire D. Adesiji +6 more
wiley +1 more source
An Evaluation of Inter-Organizational Workflow Modelling Formalisms [PDF]
This paper evaluates the dynamic aspects of the UML in the context of inter-organizational workflows. Two evaluation methodologies are used. The first one is ontological and is based on the BWW (Bunge-Wand-Weber) models. The second validation is based on
Aymeric Dussart +2 more
core