Results 1 to 10 of about 1,135,516 (291)
Formal Model Engineering for Embedded Systems Using Real-Time Maude [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
Peter Csaba Ölveczky
doaj +4 more sources
Prototyping Formal System Models with Active Objects [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We propose active object languages as a development tool for formal system models of distributed systems. Additionally to a formalization based on a term rewriting system, we use established Software Engineering concepts, including software product ...
Eduard Kamburjan, Reiner Hähnle
doaj +3 more sources
Sensors, 2022 Multi-access edge computing implementations are ever increasing in both the number of deployments and the areas of application. In this context, the easiness in the operations of packet forwarding between two end devices being part of a particular edge ...
Pedro Juan Roig +4 more
doaj +1 more source
Robot Arm Reconfiguration to Minimization Moving Parts [PDF]
Journal of Electrical and Computer Engineering Innovations, 2018 Background and Objectives: This paper presents a new optimization problem in the field of linkage reconfiguration. This is the problem of minimizing moving parts of a given robot arm for positioning the end effector of the given robot arm at the given ...
A. Nourollah, N. Behzadpour
doaj +1 more source
Modeling of a Generic Edge Computing Application Design
Sensors, 2021 Edge computing applications leverage advances in edge computing along with the latest trends of convolutional neural networks in order to achieve ultra-low latency, high-speed processing, low-power consumptions scenarios, which are necessary for ...
Pedro Juan Roig +4 more
doaj +1 more source
Modeling an Edge Computing Arithmetic Framework for IoT Environments
Sensors, 2022 IoT environments are forecasted to grow exponentially in the coming years thanks to the recent advances in both edge computing and artificial intelligence.
Pedro Juan Roig +4 more
doaj +1 more source
IEEE Access, 2021 State-of-the-art software technologies have enabled Higher Education Institutions to record and store large amounts of student data. Analyzing this large amount of data can facilitate the decision-making process.
Muhammad Nauman +3 more
doaj +1 more source
Timed-SAS: Modeling and Analyzing the Time Behaviors of Self-Adaptive Software under Uncertainty
Applied Sciences, 2023 Self-adaptive software (SAS) is gaining in popularity as it can handle dynamic changes in the operational context or in itself. Time behaviors are of vital importance for SAS systems, as the self-adaptation loops bring in additional overhead time ...
Deshuai Han +4 more
doaj +1 more source
Formal approach to modeling of modern Information Systems
International Journal of Information Systems and Project Management, 2016 Most recently, the concept of business documents has started to play double role. On one hand, a business document (word processing text or calculation sheet) can be used as specification tool, on the other hand the business document is an immanent ...
Bálint Molnár +4 more
doaj +2 more sources
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems [PDF]
Leibniz Transactions on Embedded Systems, 2022 Designing and modeling complex cyber-physical systems (CPS) faces the double challenge of combined discrete-continuous dynamics and concurrent behavior.
Kamburjan, Eduard +2 more
doaj +1 more source