• The Korean Nurse
• /
• v.32 no.5
• /
• pp.31-49
• /
• 1994

• KIPS Transactions on Software and Data Engineering
• /
• v.11 no.10
• /
• pp.399-408
• /
• 2022

ERC-20, the standard API for Ethereum token smart contracts, was introduced to ensure compatibility among applications such as wallets and decentralized exchanges. However, many compatibility vulnerability problems have existed because there is no rigorous functional specifications for each API nor conformance review tools for the standard. In this paper, we proposed a new review procedure and a tool to perform the procedure to review if ERC-20 token smart contract programs for the Ethereum blockchain conform to the de facto standards. Based on the knowledge from an analysis on the ERC-20 API functional behavior of the top 100 token smart contract programs in the existing Ethereum blockchain, a new specification for the de facto standard for ERC-20 API was explicitly defined. The new specification enabled us to design a systematic review method for Ethereum smart contract programs. We developed a tool to support this review method and we evaluated a few benchmark programs with the tool.

• Magazine of the Korea Concrete Institute
• /
• v.7 no.3
• /
• pp.36-40
• /
• 1995

• Nuclear industry
• /
• v.4 no.3 s.19
• /
• pp.8-13
• /
• 1984

• Journal of the Korean hospital association
• /
• v.31 no.1 s.275
• /
• pp.67-72
• /
• 2002

• 월간산업보건
• /
• s.223
• /
• pp.25-29
• /
• 2006

• 월간산업보건
• /
• s.192
• /
• pp.39-43
• /
• 2004

• Magazine of the Korea Concrete Institute
• /
• v.7 no.3
• /
• pp.31-35
• /
• 1995

• The Science & Technology
• /
• v.9 no.9 s.88
• /
• pp.33-36
• /
• 1976

시간은 일상 생활에서 중요한 비중을 차지하고 있다. 천문관측을 기초로하여 시민 생활과 항해항공에 필요한 표준시간의 유지관리 및 경위도를관측하는 시보업무는 천문대에서 중요한 비중을 차지하며 일상 생활과 밀접한 관례가 있다.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.45 no.2
• /
• pp.233-252
• /
• 2021

The Gwan ceremony (冠禮) is a coming-of-age ceremony that takes place through traditional Gwan (冠: the hat) and clothes in the traditional era. The rite is performed by wearing hats and clothes three consecutive times (三加禮). It was an important rite which meant that underage children were formally recognized as members of society. This study examined costumes of people who participated in various coming-of-age ceremony rites in the Ming dynasty imperial court of China. For the research data, this study mainly used authentic chronicles (正史), codes of law and books on Ming dynasty rituals. This study examined the costumes used in the coming-of-age ceremony for the emperor, Prince Imperial, Emperor's eldest grandson, and emperor's sons. The results of this study were divided into an analysis of the document structure, institutional changes by time, characteristics of costumes, and characteristics of the rite. Of particular note in their ceremony, the emperor is presupposed to be a 'human already full-equipped with virtue', which means that the costume is worn only once. It is a case in which the emperor's absolute identity is revealed through the rite and costume.