• Journal of Internet Computing and Services
• /
• v.6 no.1
• /
• pp.51-64
• /
• 2005

In this paper, we introduce a system for evaluating similarity of C program source code using method which compares syntax-trees each others. This method supposes two characteristic features as against other systems. It is not sensitive for program style such as indentation, white space, and comments, and changing order of control structure like sentences, code block, procedures, and so on. Another is that it can detect a syntax-error cause of using paring technique, We introduce algorithms for similarity evaluation method and grouping method that reduces the number of comparison, In the examination section, we show a test result of program similarity evaluation and its reduced iteration by grouping algorithm.

• Journal of Internet Computing and Services
• /
• v.9 no.2
• /
• pp.89-105
• /
• 2008

So far, most of research on automated test data generation(ATDG) deals with programs without pointers. Recently, few works hove been done on ATDG in the presence of pointers, but they ore path-oriented techniques which require the specification of on entire program path to be tested or a program to be executed. This paper presents a new technique for generating test data even without specifying a program path completely. The presented technique is a static technique which transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for ATDG. For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.

• Journal of the Korea Convergence Society
• /
• v.11 no.12
• /
• pp.261-274
• /
• 2020

Research on the development and effectiveness of internet-based cognitive-behavioral therapy with a trauma focus (iCBT-T) has been actively conducted in Western societies, but these studies have just begun in Korea. The purpose of this study was to suggest practical considerations to developing and managing the iCBT-T program. After reviewing previous studies on iCBT-T, this author suggested a model of convergence and collaboration between mental health knowledge and information and communication technologies (ICT) to develop the iCBT-T program. This article outlines practical considerations, including focus and target groups of iCBT-T, intervention types of iCBT-T (open access vs. guided), number of sessions, ethical issues, professional support, and degree of user involvement. Methods to complement the limitations of internet as a medium are also proposed in the iCBT-T program. The convergence model of CBT-T and ICT is expected to promote the development of programs that can contribute to improving the mental health of users who experience traumatic events.

• Journal of Korean Biological Nursing Science
• /
• v.17 no.3
• /
• pp.219-227
• /
• 2015

Purpose: This study was conducted to review physiological mechanisms of internet addiction and to construct a theoretical framework for cognitive behavioral therapy for internet addicts. Methods: We searched for relevant literature in the PubMed and RISS databases using the terms "internet addiction", "internet game addiction", "internet abuser", and "online game". Only English, full-text articles published from 2000 to 2015 were included in this review of physiological indicators of internet addiction. Finally, 12 articles were selected for review. Results: The theoretical framework developed based on the review proposes that excessive internet use itself may induce physiological stress responses with an increase of stress-related hormones and neurotransmitters. Prolonged abnormal responses of these physiological features produce negative structural and functional changes in the prefrontal cortex, which is mainly involved in cognitive and executive functions. These changes may result in decreased cognitive function. As a stressor, excessive internet use leads to transforming voluntary use into involuntary, habitual use and thus promotes the development of internet addiction. Conclusion: The proposed theoretical framework encompasses cognitive processes that may contribute to the effects of internet use-induced physiological stress on internet addiction. We believe that this framework has important implications for developing cognitive behavioral strategies for internet addicts.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.11S
• /
• pp.3332-3339
• /
• 1999

TCP protocol is originally designed for the wired network in which the packet loss in mostly caused the network congestion, and thus the performance of protocol can be decreased in mobile Internet environment due to the comparatively high error rate of wireless link. This paper analyzes the influence of retransmission interference that is a major factor to the TCP performance decrease. We first build a model in order to simulate the mobile Internet environment that includes the wireless network, and then we implement a program using PARSEC simulation language and finally executed the program. Based on the simulation results, we suggest a method that reduce the effect of the retransmission interference.

• Journal of Information Processing Systems
• /
• v.14 no.5
• /
• pp.1272-1285
• /
• 2018

The paper presents a novel embedded multifunctional media sever (EMMS) for mobile devices to receive various media programs. Being different from other contemporary system research, the paper mainly studies how to design a reception solution for terrestrial digital television (DTV) on mobile devices and how to enable mobile devices can receive DTV program, enjoy video-on-demand (VOD), achieve video surveillance and relay Internet video program via local Wi-Fi simultaneously. In the system design, we integrate broadcasting-terrestrial DTV tuner, streaming media re-transmission system, VOD disk, video camera and access interface to the Internet into EMMS, which can either receive terrestrial DTV radio signals and demodulate out digital transport stream (TS), or can read streaming media bit-stream from VOD disk, surveillance camera or access interface to the Internet. The experimental results show the proposed system is stable and quality-efficient. Comparing with the other systems, the proposed system has the least packet loss rate and response time.

• Journal of muscle and joint health
• /
• v.11 no.1
• /
• pp.42-49
• /
• 2004

Purpose: To establish more effective health counselling system by internet and to provide basic data for developing on-line education program for lupus patients. Method: This survey analyzed the contents of health counselling cases from September, 2002 to March, 2004. Among 108 questioners visited questioning/answering(Q/A) site in one lupus center home page. Contents of Q/A were classified and analyzed using SAS program. Results: Most frequent questioners were female and twenties, they needed to know diagnosing process, treatment principles and information regarding the clinic visits. During the study period, the average number of user's questioning were 166.2 cases and answering was 171.1 cases. Conclusions: These findings suggest that computer mediated health counselling may be useful supplement of health education for lupus patients. More research is needed to develop better health counselling service and education program on the web.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.9
• /
• pp.3635-3654
• /
• 2015

With the rapid development of smart devices and mobile Internet, the video application plays an increasingly important role on mobile devices. Understanding user behavior patterns is critical for optimized operation of mobile live streaming systems. On the other hand, volume based billing models on cloud services make it easier for video service providers to scale their services as well as to reduce the waste from oversized service capacities. In this paper, the watching behaviors of a commercial mobile live streaming system are studied in a content-centric manner. Our analysis captures the intrinsic correlation existing between popularity and watching intensity of programs due to the synchronized watching behaviors with program schedule. The watching pattern is further used to estimate traffic volume generated by the program, which is useful on data volume capacity reservation and billing strategy selection in cloud services. The traffic range of programs is estimated based on a naive popularity prediction. In cross validation, the traffic ranges of around 94% of programs are successfully estimated. In high popularity programs (>20000 viewers), the overestimated traffic is less than 15% of real happened traffic when using upper bound to estimate program traffic.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.5
• /
• pp.2181-2202
• /
• 2016

In Wireless Sensor Networks (WSNs) and even in the Internet of Things (IoT) ecosystem, the reconfiguration of sensor variables is an important problem when the role of a system (or application) program's sensor nodes needs to be adjusted in a particular situation. For example, the outdoor temperature in a volcanic zone, which is usually updated in a system every 10 s, should be updated every 1 s during an emergency situation. To solve this problem, this paper proposes a novel approach based on changing only a set of sensor variables in a part of a program, rather than modifying the entire program, in order to reduce both network congestion and the sensor nodes' battery consumption. To validate our approach, we demonstrate an implementation of a proof-of-concept prototype system and also present results of comparative studies showing the performance and effectiveness of our proposed method.

• Korean Journal of Health Education and Promotion
• /
• v.32 no.5
• /
• pp.1-15
• /
• 2015

Objectives: This study aimed to identify general characteristics of health status and health behavior of adolescents in accordance with their purposes with internet. Methods: Based on Adolescent Health Behavior Online Survey (KYRBS) in 2014, a total of 57,333 adolescents who had used internet were examined in this study. Results: Users for non-academic purposes were associated with male, low grades, low education level of parents, low income level, being apart from parents, being without any consulting partners, being with one parent families, low perceived health status, the experience suicidal ideation and negative health behavior such as alcohol and tobacco. In particular, these trends were appeared strongly by internet users for the purpose of the non-academic purposes. Male among high grades is shown to be mostly Academic internet users and they were more likely to have problems with some health behaviors such as exercise frequency and smoking. Conclusions: Target population should be internet users for only non-academic purposes to prevent internet addiction of adolescents. Internet addiction prevention program should be provided in terms of mental health and problematic behavior. Additionally, health behavior of internet over user for only academic purposes should be concerned.