• Journal of KIISE
• /
• v.42 no.11
• /
• pp.1404-1409
• /
• 2015

In this paper, we present a novel approach to analyzing large-scale JavaScript applications statically by tuning the analysis scalability, possibly sacrificing soundness. For a given sound static baseline analysis of JavaScript programs, our framework allows users to define a sound approximation of selected executions that they wish to analyze, and it derives a tuned static analysis that can analyze the selected executions practically. The selected executions serve as parameters of the framework by taking a trade-off between the scalability and the soundness of the derived analyses. We formally describe our framework in the abstract interpretation setting and present two instances of the framework.

• Journal of the Korea Convergence Society
• /
• v.13 no.3
• /
• pp.147-161
• /
• 2022

The purpose of the study was to investigate mothers' beliefs and executions in the social relations area of the 2019 revised Nuri curriculum, and to investigate the effects of beliefs and executions on the emotional intelligence and prosocial behavior of young children. For this purpose, data were collected by distributing questionnaire packets to 268 mothers of children aged 3-5 years who were enrolled in 7 early childhood education institutions in Gyeonggi-do. The collected data were analyzed using the SPSS 25.0 program. As a result of the study, first, there was a statistically significant difference in the overall belief according to the mother's personal characteristic, the educational level, and a significant difference in the sub-factor, living together, in the execution. Second, it was found that there was a significant positive correlation between all variables except for the relationship between social relation execution and the ability to regulate others, which is a sub-factor of emotional intelligence. Third, beliefs and executions in social relation were found to affect all emotional intelligence and pro-social behavior, except for the effect of social relation execution on the ability to regulate others. This study is expected to provide basic data to improve parents' interest in the improvement of young children's social ability and practical interaction in child rearing.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.3
• /
• pp.71-78
• /
• 2001

In this paper, we describe the vulnerabilities against mobile agent and analyze existing schemes to cope with them. Also we propose a new scheme which protects the executed information by mobile agent and simultaneously traces the executions of mobile agent. The proposed scheme provides non-repudiation between participations for the executions of mobile agent, forward integrity against modification and protection against code insertion or deletion attack.

• Journal of Korean Home Economics Education Association
• /
• v.13 no.1
• /
• pp.93-106
• /
• 2001

The purpose of this research is to study the performance assessment made by high school home economics teachers : their awareness and attitudes toward the assessment correlate with the qualitative output of the executions of it. as well s to determine how their awareness and attitudes toward the assesment correlate with the qualitative output of the executions of their performance assessments. The research has yielded the following results : 1. The attitudinal score shows above average of 58.7/90. By the sub-factors. awareness of the characteristics of performance assessment is 20.6/30 : the favorable attitudinal score is at 20.0/30. the behavioral attention at 9.5/15. and the effects of performance assessment on the teachers and the classes at 8.6/15. 2. In a single semester. the highest frequency of executing performance assessment is between 1 to 2 times (58.7%). and practical skill test is proven to be the most frequently used category at 79.9%. 3. The correlation between the overall attitude on performance assessment and the quality of actual performance assessment executed is high. indicating superior quality of performance assessment. which is directly proportionate to the enhanced attitude of teachers on performance assessment.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.3 no.4
• /
• pp.247-253
• /
• 2008

The TMO may contain two types of methods, time-triggered methods(also called the spontaneous methods of SpMs) which are clearly separated from the conventional service methods (SvMs). The SpM executions are triggered upon design time whereas the SvM executions are triggered by service request message from clients. In this paper, we describes the application environment as the patient monitor telemedicine system with TMO structure. Vital sign information web viewer systems is also the standard protocol for medical image and transfer. In order to embrace new technologies as telemedicine service, it is important to develope the standard protocol between different systems in the hospital, as well as the communication with external hospital systems.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.9
• /
• pp.424-433
• /
• 2001

The cyclic debugging approach often fails for message passing parallel programs because they non-deterministic characteristics due to message race conditions. This paper identifies the MPI events that affect non-deterministic executions, and then converts the concurrent execution to the sequential one that is controlled in order to make it equivalent to a reference execution by keeping their orders of events in two executions identical. This paper also presents an efficient algorithm for the causal distributed breakpoint which is initiated by any sequential breakpoint in one process, and restores each process to the earliest state that reflects all events that happened causally before the sequential breakpoint. So a cyclic debugging approach can be used in debugging MPI parallel programs as like as in debugging sequential programming environments.

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 1993.10a
• /
• pp.1212-1221
• /
• 1993

The shape optimization procedure applying finite element method was carried out for the specific purpose of analysis of a tractor chassis frame. Minimization of the mass as an objective function is executed under multiple constrained conditions of nodal displacements and stresses. The optimization process executions were succeeded in converging into single optimum solution. Although mass reduction and stress alleviation were attained by 40% and 26 to 24% respectively , the geometry of the shape is so complicated for fabrication that the refinement of the geometry is of necessity.

• Journal of Astronomy and Space Sciences
• /
• v.12 no.1
• /
• pp.102-111
• /
• 1995

A series of east/west and north/south station-keeping maneuvers were simulated for the KOREAST spacecraft which has to be maintained within $\pm$0.05 at the nominal longitude of $116^{\circ}$E. Weekly an biweekly based station-deeping maneuver plannings were used, and weekend maneuvers were avoided. All of the station-keeping maneuver plannings and executions were performed using KOREASTA Mission Analysis Software on VAX/VMS operating system. Fourteen weeks station-keeping maneuvers were performed and various station-keeping orbital parameters were obtained.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.9 no.2
• /
• pp.94-102
• /
• 1984

The UUCP program of either 4.1BSD or 4.2BSD version has been implemented to run under the System Development Network(SDN). This allows file transfers, remote command executions and mail transfers among UNIX systems. The major tasks are: developing dial-up capabilities, connections to domestic and international computer networks such as SDN, USENET and EUNET.

• Journal of Information Technology Applications and Management
• /
• v.23 no.3
• /
• pp.61-69
• /
• 2016

Growing information threats have threatened organization to lose information security controls in these days. Many organizations have accepted the various information security management systems does mention necessity of a continuous evaluation process for the executions of information security management in a theoretical aspect. This study suggests a continuous evaluation process for information security management reflecting the real execution of managers and employees in organizations.