Results 11 to 20 of about 24,109,276 (315)
Parallel Scheduling of Multiple SDF Graphs Onto Heterogeneous Processors
IEEE Access, 2021 Parallel scheduling of multiple real-time applications onto heterogeneous processors is needed in the emerging embedded systems such as self-driving cars, smart cameras, and smartphones. Assuming that an embedded application is specified as a synchronous
Dowhan Jeong +3 more
doaj +1 more source
A Colored Petri Net Executable Modeling Approach for a Data Flow Well-Structured BPMN Process Model
IEEE Access, 2022 BPMN process models have been widely used in software designs. The BPMN process models are characterized by a static graph-oriented modeling language and a lack of analytical capabilities as well as dynamic behavior verification capabilities, which not ...
Fenglan Huang +4 more
doaj +1 more source
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
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
International Journal of Entrepreneurial Behavior & Research, 2022 Purpose In a move characterized by ambiguity, Facebook changed its name to Meta in October 2021, announcing a new era of social interaction, enabled by the metaverse technology that appears poised to become the future center of gravity for online social ...
S. Kraus +4 more
semanticscholar +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
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