Digital Library
KIPS Transactions on Computer and Communication Systems, Vol. 12, No. 5, May. 2023
Formal Semantics for Lambda Expression of Java
Han Jung Lan
KIPS Transactions on Computer and Communication Systems, Vol. 12, No. 5, pp. 157-164, May. 2023
https://doi.org/10.3745/KTCCS.2023.12.5.157
Keywords: Formal Semantics, Action Equation 3.0, Functional Interface, Specification of Semantics, Lambda Expression
KIPS Transactions on Computer and Communication Systems, Vol. 12, No. 5, pp. 157-164, May. 2023
https://doi.org/10.3745/KTCCS.2023.12.5.157
Keywords: Formal Semantics, Action Equation 3.0, Functional Interface, Specification of Semantics, Lambda Expression
Ethereum Phishing Scam Detection based on Graph Embedding and Semi-Supervised Learning
Yoo-Young Cheong, Gyoung-Tae Kim, Dong-Hyuk Im
KIPS Transactions on Computer and Communication Systems, Vol. 12, No. 5, pp. 165-170, May. 2023
https://doi.org/10.3745/KTCCS.2023.12.5.165
Keywords: Blockchain, Ethereum, Phishing Scam, Graph Embedding, Semi-supervised learning
KIPS Transactions on Computer and Communication Systems, Vol. 12, No. 5, pp. 165-170, May. 2023
https://doi.org/10.3745/KTCCS.2023.12.5.165
Keywords: Blockchain, Ethereum, Phishing Scam, Graph Embedding, Semi-supervised learning
Development of an Eye Patch-Type Biosignal Measuring Device to Measure Sleep Quality
Changsun Ahn, Jaekwan Lim, Bongsu Jung, Youngjoo Kim
KIPS Transactions on Computer and Communication Systems, Vol. 12, No. 5, pp. 171-180, May. 2023
https://doi.org/10.3745/KTCCS.2023.12.5.171
Keywords: Sleep Mask, Sleep Biomedical Signal, Quaility of Sleep, Self-measurement, Sleep Management
KIPS Transactions on Computer and Communication Systems, Vol. 12, No. 5, pp. 171-180, May. 2023
https://doi.org/10.3745/KTCCS.2023.12.5.171
Keywords: Sleep Mask, Sleep Biomedical Signal, Quaility of Sleep, Self-measurement, Sleep Management