Zobrazeno 1 - 10
of 301
pro vyhledávání: '"Jin Song Dong"'
Publikováno v:
Neural Networks. 161:693-707
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dbd053809d9c5b1484b6d58b594842ee
https://doi.org/10.1016/j.neunet.2023.02.011
https://doi.org/10.1016/j.neunet.2023.02.011
Publikováno v:
Neural Networks. 160:259-273
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b664bcabe4f2af86aa927782413501c1
https://doi.org/10.1016/j.neunet.2023.01.012
https://doi.org/10.1016/j.neunet.2023.01.012
Autor:
Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong
Publikováno v:
Proceedings of the ACM on Measurement and Analysis of Computing Systems. 6:1-31
Due to the surging popularity of various cryptocurrencies in recent years, a large number of browser extensions have been developed as portals to access relevant services, such as cryptocurrency exchanges and wallets. This has stimulated a wild growt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f602132cd43d18f2f16af2d88e97df30
https://doi.org/10.1145/3570603
https://doi.org/10.1145/3570603
Publikováno v:
Applied Intelligence. 53:14371-14382
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d49351104ed1b7e99507645ccd4209d
https://doi.org/10.1007/s10489-022-04180-1
https://doi.org/10.1007/s10489-022-04180-1
Publikováno v:
ACM Computing Surveys; 2023 Suppl13s, Vol. 55, p1-47, 47p
Autor:
Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee
Publikováno v:
Formal Aspects of Computing. 34:1-31
Automated model repair techniques enable machines to synthesise patches that ensure models meet given requirements. B-repair, which is an existing model repair approach, assists users in repairing erroneous models in the B formal method, but repairin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec75887a32283f30811a3a209095a858
https://doi.org/10.1145/3536430
https://doi.org/10.1145/3536430
Publikováno v:
ACM Computing Surveys.
The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs. The UML specification, maintained by the Object Management Group (OMG
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b899fac5147b8defa38da867831b7571
https://doi.org/10.1145/3579821
https://doi.org/10.1145/3579821
Publikováno v:
Advances in Knowledge Discovery and Data Mining ISBN: 9783031333767
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3460481a16aff30bdb6a664c87683422
https://doi.org/10.1007/978-3-031-33377-4_34
https://doi.org/10.1007/978-3-031-33377-4_34
Autor:
Mark Huasong Meng, Qing Zhang, Guangshuai Xia, Yuwei Zheng, Yanjun Zhang, Guangdong Bai, Zhi Liu, Sin G. Teo, Jin Song Dong
Publikováno v:
Proceedings 2023 Network and Distributed System Security Symposium.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c3ea686890e8e910113844eeedd09bc
https://doi.org/10.14722/ndss.2023.23176
https://doi.org/10.14722/ndss.2023.23176
Autor:
Ling Shi, Zhenkai Liang, Kailong Wang, Yan Liu, Guangdong Bai, Kulani Mahadewa, Jin Song Dong
Publikováno v:
IEEE Transactions on Software Engineering. 47:2667-2683
A key feature of the booming smart home is the integration of a wide assortment of technologies, including various standards, proprietary communication protocols and heterogeneous platforms. Due to customization, unsatisfied assumptions and incompati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01a577f531963e6a20185a2642b1c4a5
https://doi.org/10.1109/tse.2019.2960690
https://doi.org/10.1109/tse.2019.2960690