Zobrazeno 1 - 10
of 63
pro vyhledávání: '"Wiwat Vatanawood"'
Publikováno v:
IEEE Access, Vol 12, Pp 124260-124281 (2024)
Modeling and verification are crucial in designing traffic light control systems, guaranteeing these systems meet desired operational properties and handle dynamic traffic conditions effectively. The design process involves addressing complexities su
Externí odkaz:
https://doaj.org/article/2126f3b27b784344b23b2633f3143c46
Publikováno v:
Computers, Vol 10, Iss 12, p 169 (2021)
Many learners who are not familiar with the accounting terms find blended learning very complex to understand with respect to the computerized accounting system, the journal entries process, and tracing the accounting transaction flows of accounting
Externí odkaz:
https://doaj.org/article/11fe10117e3540da91d8c9dd314ce5d5
Publikováno v:
2022 26th International Computer Science and Engineering Conference (ICSEC).
Publikováno v:
2022 19th International Joint Conference on Computer Science and Software Engineering (JCSSE).
Publikováno v:
Engineering Journal. 25:135-150
Publikováno v:
The 2021 9th International Conference on Computer and Communications Management.
Considering the importance of workflow model in the modern business process, we propose an alternative way to modify the ordinary YAWL workflow which is one of the popular and simple models, to be able to validate and verify the workflow time perform
Autor:
Woramon Chareonsuk, Wiwat Vatanawood
Publikováno v:
2021 18th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON).
Cloud computing is so important and essential for facilitating the access of scalable application and its huge data from the virtual computing infrastructure via internet connection. In practice, the cloud application designer needs the common orches
Publikováno v:
IEEE Access, Vol 7, Pp 16795-16815 (2019)
The BPMN design models are widely used in the software development process. Owing to the lack of BPMN standard semantics, formal verification is used to validate whether the BPMN design model is free of undesirable properties. The primary challenges
Autor:
Chutiakrn Jitmit, Wiwat Vatanawood
Publikováno v:
2021 6th International Conference on Machine Learning Technologies.
Coloured Petri nets (CPNs) have been practically exploited to represent the high-level model of the wide ranges of applications. These particular CPN models would simulate the algorithms and provide the state space analysis and verification of the ta
Autor:
Wiwat Vatanawood, Amarat Pimkote
Publikováno v:
ICSCA
To consider the effects of preemptive scheduling occurred in the concurrent threads of the independent tasks with priority values, we propose an alternative to simulate the preemptive scheduling using timed automata tool. Firstly, each independent ta