Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Dahlia Al-Janabi"'
Publikováno v:
Mathematics, Vol 10, Iss 23, p 4404 (2022)
Evolutionary systems (ES) include software applications that solve problems using heuristic methods instead of the deterministic ones. The classical computing used for ES development involves random methods to improve different kinds of genomes. The
Externí odkaz:
https://doaj.org/article/a9d61c99f5c84573971fd5f4a144ab23
Publikováno v:
ICSTCC
The development of quantum software applications requires models capable to describe quantum features (superposition, entanglement, reversibility etc.) as well as the software algorithm requirements. The newly proposed Quantum Petri Nets (QPNs) have
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::102079ce582a1b12866ca5a6db52edac
https://doi.org/10.1109/icstcc52150.2021.9607302
https://doi.org/10.1109/icstcc52150.2021.9607302
Publikováno v:
ICSTCC
OER-TPN (Object Enhanced Real-Time Petri Nets) have been successfully used to model, design, analyze and test applications. Apart from realtime contraints, OER-TPNs can be used to describe concurrency, task creation and input/output channel communica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d41e47d2b7c7d1492ac2e854b8e8760
https://doi.org/10.1109/icstcc50638.2020.9259746
https://doi.org/10.1109/icstcc50638.2020.9259746
Publikováno v:
ICCP
CoDIT
CoDIT
Software developers use metrics to estimate the software quality before the development stage to impact early decision making at the requirement stage, development quantification, operation, and software maintenance. These metrics give knowledge of a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb592cfdc55e01cb994b3438aa655bea
https://doi.org/10.1109/iccp51029.2020.9266201
https://doi.org/10.1109/iccp51029.2020.9266201
Publikováno v:
2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
While UML can describe all kinds of features by making use of the appropriate model (diagram), OETPN uses only one model for specification, synthesis, design, implementation, and finally verification and testing of components. The paper shows the equ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5528ff4ace484566cfa870327542038a
https://doi.org/10.1109/aqtr49680.2020.9129999
https://doi.org/10.1109/aqtr49680.2020.9129999
Publikováno v:
2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
The railway systems are based on large, complex and highly developed cyber physical systems (CPS) that require powerful modeling capabilities. The current approach of railway resilience is based on newly introduced Object Enhanced Real-Time Petri Net
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3efb6be41a62ad16ac8c1ec304c320b
https://doi.org/10.1109/aqtr49680.2020.9129996
https://doi.org/10.1109/aqtr49680.2020.9129996
Publikováno v:
2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
The considered traffic systems are large, complex and can switch some of their zones from ordered behaviors to chaotic ones. The study is based on Object Enhanced Real-Time Petri Net (OER-TPN) models. A variable number of entities move according to t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f06c78201df1ce12d0d542915e7cb03c
https://doi.org/10.1109/aqtr49680.2020.9129931
https://doi.org/10.1109/aqtr49680.2020.9129931
Autor:
Tiberiu S. Letia, Dahlia Al Janabi
Publikováno v:
ICSTCC
Object Enhanced Time Petri Nets (OETPN) can be used for specifications analysis, design (including synthesis), implementation, integration and maintenance of software applications in the domain of reactive systems, cyber-physical systems, embedded sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40ba7e6438fc52818c4dea7672fbee3f
https://doi.org/10.1109/icstcc.2019.8885601
https://doi.org/10.1109/icstcc.2019.8885601
Autor:
Dahlia Al-Janabi, Tiberiu Letia
Publikováno v:
2018 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
Many software applications in the domains of reactive systems, cyber-physical systems, internet of things etc. need models that are capable to describe complex structure, concurrent behaviors including reaction to internal and external events, or dis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e139eb83f43c8ec15e071377e5b1684d
https://doi.org/10.1109/aqtr.2018.8402743
https://doi.org/10.1109/aqtr.2018.8402743
Publikováno v:
2018 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
Nowadays the world demands trains that go with a very high speed. To achieve this, a concept of a railway modeling using software applications is proposed for the purpose of increasing the resilience of railway traffic. Software applications need mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::816deeeb5fcdaa48c15dcac4ca0b41fc
https://doi.org/10.1109/aqtr.2018.8402744
https://doi.org/10.1109/aqtr.2018.8402744