• Journal of KIISE
• /
• v.41 no.10
• /
• pp.859-869
• /
• 2014

In recent years, the obfuscation techniques are commonly exploited to protect malwares, so obfuscated malwares have become a big threat. Especially, it is extremely hard to analyze virtualization-obfuscated malwares based on unusual virtual machines, because the original program is hidden by the virtual machine as well as its semantics is mixed with the semantics of the virtual machine. To confront this threat, we suggest a framework to analyze virtualization-obfuscated programs based on the dynamic analysis. First, we extract the dynamic execution trace of the virtualization-obfuscated executables. Second, we analyze the traces by translating machine instruction sequences into the intermediate representation and extract the virtual machine architecture by constructing dynamic context flow graphs. Finally, we extract abstract semantics of the original program using the extracted virtual machine architecture. In this paper, we propose a method to extract the information of the original program from a virtualization-obfuscated program by some commercial obfuscation tools. We expect that our tool can be used to understand virtualization-obfuscated programs and integrate other program analysis techniques so that it can be applied to analysis of the semantics of original programs using the abstract semantics.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.4
• /
• pp.873-882
• /
• 1998

The parallel database machine approach is currently widely and successfully used. There are four major architectures which are used in this approach: shared-nothing architecture, shared-evertying architecture, shared-disk architecture, and hybrid architecture. In this paper, we use an analytical model to evaluate the performance of these database machine architectures. We define an abstract model for each type of database machine design to obtain performance equatons describing the execution times with respect to the hybrid hash join poeration. Using the performance equations, we evaluate the execution times of the various database machine design models.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.94-96
• /
• 2003

자바가상머신(Java Virtual Machine: JVM)을 이용하는데 있어서 GUI(Graphic User Interface)는 JVM 을 탑재한 제품을 사용하는 사람들에게 제품에 대한 편리한 그래픽 환경을 제공하는데 목적이 있다. AWT(Abstract Window Toolkit)는 JavaTM 프로그램에서 GUI를 제공하기 위한 표준 API인 JFC(Java Foundation Class)의 일부분이다. 이에 본 논문에서는 리눅스 기반 자바 AWT API를 구현하는데 있어 가장 핵심 부분인 이벤트 처리가 X 윈도우 시스템과 자바 AWT API 사이에서 어떻게 상호작용하며 이루어지는지에 대해 기술하고 있다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.24-29
• /
• 1999

Proposed in this paper is a modeling and simulation methodology for a virtual manufacturing environment. Based on DEVS formalism[Zeigler 76], the proposed model, so called GKDEVS, is designed to descript the geometrical knematic structure as well as event-driven and continuous state dynamics. In terms of abstract simulation algorithm[Zeigler 84], the simulation method of GKDEVS is proposed for combined discrete-continuous simulation. Using the GKDEVS, and FMS model consisting of a turing machine, a 3-axis machine and a RGV-mounted robot is constructed and simulated.

• ETRI Journal
• /
• v.19 no.4
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.29 no.3
• /
• pp.297-320
• /
• 2018

This study aims to improve the access and retrieval of images and to find a way to effectively generate tags as a tool for providing explanation of images. To do this, this study investigated the features of human tagging and machine tagging, and compare and analyze them. Machine tags had the highest general attributes, some specific attributes and visual elements, and few abstract attributes. The general attribute of the human tag was the highest, but the specific attribute was high for the object and scene where the human tag constructor can recognize the name. In addition, sentiments and emotions, as well as subjects of abstract concepts, events, places, time, and relationships are represented by various tags. The tag set generated through this study can be used as basic data for constructing training data set to improve the machine learning algorithm.

• Journal for History of Mathematics
• /
• v.15 no.1
• /
• pp.93-98
• /
• 2002

In this paper, we critically survey the mathematical Platonism in respect to its abstract, ahistorical, asocial and acultural character. The uncertainty of man's concepts is investigated with special attention to evolutionary theory, philosophical and epistemological developments regarding the cognitive unconsciousness and the embodied mind. We research into the implication of the Darwin machine theory for human consciousness and Wittegenstein's philosophy of mathematics.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.34 no.2 s.115
• /
• pp.99-112
• /
• 2006

In contemporary design conditions, the focus of landscape architecture has shifted from 'form' to 'process.' Various experimental diagrams have been proposed to overcome the limitations of conventional form-oriented landscape design. This study aims to reconsider theoretically and critically the modes and mechanism of diagrams in recent landscape architectural design. It also explores the operational capabilities of diagram in design process. Although the traditional diagram has served as explanatory and representational graphics in design, contemporary designers emphasize the generative function of diagram on the basis of Gilles Deleuze's theory of 'diagram as abstract machine.' They manifest and practise that diagrams call generate forms and proliferate spaces in their design development. This paper examines current examples of generative and constructive diagrams produced by leading designers. However, the author illuminates another significance of diagram: the diagram as strategic media of design. Contemporary environments and conditions of design, such as the complexity of city and the interactivity of new economy, call for new design intelligence and strategic design. These situations require alternative media in design process. In this context, the diagram can function as strategic media of dynamic and flexible design. This is why contemporary landscape theory and practice have to give attention to diagrams.

• Journal of Intelligence and Information Systems
• /
• v.10 no.2
• /
• pp.165-187
• /
• 2004

Constraint Programming in AS and Optimization in OR started and have grown in different backgrounds to solve common decision-making problems in real world. This paper tries to integrate results from those different fields by suggesting a hybrid solver as an integration framework. Starting with an integrating modeling language, a way to implement a hybrid solver will be discussed using Warren's abstract machine and an finite domain constraint programming solver structures. This paper will also propose some issues rising when implementing the hybrid solver and provide their solutions.

• The KIPS Transactions:PartD
• /
• v.8D no.3
• /
• pp.265-272
• /
• 2001

In case of implementing a complicated application like WAP (Wireless Application Protocol) in a mobile terminal with the characteristics of bare machine and versatile kernel aspects of which are control, interrupt and IPC(Inter Process Communication), a special methodology should be needed. If not, it will cause more cost and human resources, even delayed product into launching for the time-to-market. This paper suggests AKL, (Abstract Kernel Layer) for the design and implementation of WAP on basis of multi-platform. AKL is running on the various kernel including REX, MS-DOS, MS-Window, UNIX and LINUX. For the purpose of it, AKL makes machine-dependant features be minimized and supports a consistent interface on API (Application Program Interface) point of view. Therefore, it makes poring times of a device be shorten and makes easy of maintenance. We validated our suggestion as a consequent of porting WAP into PlamV PDA and mobile phone with AKL.