Results 11 to 20 of about 3,690,239 (301)
Applied Sciences, 2023 The cross-line operation mode, based on interoperability technology, is becoming increasingly common in urban rail transits (URTs). Compared to trains running on a single line, cross-line trains can greatly facilitate transfer passengers.
Jianjun Yuan, Xiaoqun Zhao, Pengzi Chu
doaj +1 more source
Jordanian Journal of Computers and Information Technology, 2020 This paper deals with modeling and verification of software systems by combining UML diagrams and Pi-calculus. UML 2.0 Activity diagrams are used for modeling the behavior of software systems, while Pi-calculus is used for semantic and verification ...
Raida Elmansouri +4 more
doaj +1 more source
Regenerative-Relational Tritangtu: Sundanese Triadic Transformation Model [PDF]
, 2013 Â Tritangtu atau pola pikir tritunggal merupakan kosmologi masyarakat Sunda dan Minang yang terdiri dari tiga entitas (pola tiga). Tritangtu sebagai kearifan lokal juga melatarbelakangi struktur mental pelaku kreatif dalam membuat karya baik berupa ...
Ahimsa-Putra, H. S. (Heddy) +3 more
core +3 more sources
An Automated Model-Based Approach for Developing Mobile User Interfaces
IEEE Access, 2021 The ever-increasing number of mobile platforms constitutes a challenge for application developers, who must develop efficient mobile applications for multiple platforms.
Lassaad Ben Ammar
doaj +1 more source
Transformers for modeling physical systems [PDF]
Neural Networks, 2022 22 pages, 14 figures, 3 ...
Nicholas Geneva, Nicholas Zabaras
openaire +3 more sources
Interoperability: A Data Conversion Framework to Support Energy Simulation
Proceedings, 2017 In this paper an interoperability solution is proposed, aiming to go from (building) construction models to energy simulation. Moreover, the energy simulation results will feed the KPI’s analysis of a designed building. The proposed solution will be used
Luís Paiva +7 more
doaj +1 more source
MDA-Based Approach for Blockchain Smart Contract Development
Applied Sciences, 2022 Blockchain smart contracts can support the decentralisation of business processes, but due to smart contracts’ specifics, their development is a complicated process.
Mantas Jurgelaitis +4 more
doaj +1 more source
Marginal Deformations of WZNW and Coset Models from O(d,d) Transformation [PDF]
, 1992 We show that O(2,2) transformation of SU(2) WZNW model gives rise to marginal deformation of this model by the operator $\int d^2 z J(z)\bar J(\bar z)$ where $J$, $\bar J$ are U(1) currents in the Cartan subalgebra. Generalization of this result to other
Ashoke Sen +50 more
core +3 more sources
Applied Sciences, 2023 Connectors are powerful architectural elements that allow the specification of interactions between software components. Since the connectors do not include behavior in UML, the components include the behavior for coordinating the components ...
Alper Tolga Kocatas, Ali Hikmet Dogru
doaj +1 more source
Feasibility of EPC to BPEL Model Transformations Based on Ontology and Patterns [PDF]
, 2010 Model-Driven Engineering holds the promise of transforming\ud business models into code automatically. This requires the concept of\ud model transformation.
Eckartz, Silja M. +2 more
core +3 more sources