• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.9
• /
• pp.936-947
• /
• 2010

In the mobile gaming market, it is desirable for a specific content to be served on various platforms. Recently, it is a very important issue in the market for mobile games. This problem incurs extra cost, because we need to redevelop existing contents to be executed on another platforms. Moreover, the release of a new platform has spent much more effort and cost developing many contents in short period of time. Therefore, we need to research about translation techniques that enable the existing contents to run on a different platform. In this paper, we propose translation techniques for mobile games. The techniques can be applied on converting mobile contents to runnable contents on a new platform. To realize it, we design and implement a source-level contents translator which is targeting Android platform using the suggested techniques. Our source-level contents translator is implemented systematically by applying compiler theory. Also, we solve partially translation problems between different programming languages. The translator has been implemented separately divided into three tasks such as kernel porting, library mapping as well as language translation. We expect these techniques to increase utilization of existing mobile games and contribute to vitalizations of mobile contents industry.

• The Journal of the Korea Contents Association
• /
• v.13 no.3
• /
• pp.119-130
• /
• 2013

This paper researches the algorithm, whose materiality and expressiveness can be obtained through live coding. Live coding is an improvised genre of music that generates sounds while writing code in real time and projecting it onto a screen. Previous studies of live coding have focused on the development environment to support live coding performance effectively. However, this study examines the aesthetic attitude immanent in the realization of the algorithm through analyzing mostly used languages such as ChucK, Impromtu, and the visualization of live code and cases of "aa-cell" and "slub" performance. The aesthetic attitudes of live coding performance can be divided into algebraic and geometric attitudes. Algebraic attitudes underline the temporal development of concepts; geometric attitudes highlight the materialization of the spatial structure of concepts through image schemas. Such a difference echoes the tension between conception and materiality, which appears in both conceptual and concrete poetry. The linguistic question of whether conception or materiality is more greatly emphasized defines the expressiveness of the algorithm.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.411-419
• /
• 2009

In order to derive hidden Information (concept subsumption, concept satisfiability and realization) of OWL ontologies, a number of OWL reasoners have been introduced. Most of the reasoners were implemented to be based on tableau algorithm. However this approach has certain limitation. This paper presents architecture for Medusa. The Medusa is an extended DL-reasoner for SWRL(Semantic Web Rule Language) reasoning under well-founded semantics with ontologies specified in Description Logic. Description logic based ontology reasoners theoretically explore knowledge representation and its reasoning in concept languages. However these logics are not equipped with rule-based reasoning mechanisms for assertional knowledge base; specifically, rule and facts in logic programming, or interaction of rules and facts with terminology. In order to deal with the enriched reasoning, The Medusa provides combining DL-knowledge base and rule based reasoner. The described prototype uses $Prot{\acute{e}}g{\acute{e}}$ API[1] for controlling communication with the ontology reasoner.

• The Journal of Korean Association of Computer Education
• /
• v.6 no.2
• /
• pp.137-146
• /
• 2003

The Web programming techniques like CGI and server-sided script languages such as ASP, PHP and JSP have been used for developing on-line Web-based learning systems on SQL. But, the systems developed by using those techniques are dependent on the platforms on which the target DBMS's are located. Therefore, they can be hardly reused and maintained. In addition, it is not easy for them to provide a learner with the feedback information on processing his/her query and to give a teacher an opportunity of monitoring and guiding learner's learning process. In this paper, we propose an SQL learning system on the Web by using Java Applet and JDBC, which is independent on the target DBMS's. Moreover, it gives feedback information on learner's queries so that a teacher can monitor the learning process and teach them efficiently.

• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.3-32
• /
• 2005

Hilbert's rational ambition to establish consistency in Number theory and mathematics in general was frustrated by the fact that the statement itself claiming consistency is undecidable within its formal system by $G\ddot{o}del's$ second theorem. Hilbert's optimism that a mathematician should not say "Ignorabimus" ("We don't know") in any mathematical problem also collapses, due to the presence of a undecidable statement that is neither provable nor refutable. The failure of his program receives more shock, because his system excludes any ambiguity and is based on only mechanical operations concerning signs and strings of signs. Above all, $G\ddot{o}del's$ theorem demonstrates the limits of formalization. Now, the notion of provability in the dimension of syntax comes to have priority over that of semantic truth in mathematics. In spite of his failure, the notion of algorithm(mechanical processe) made a direct contribution to the emergence of programming languages. Consequently, we believe that his program is failure, but a great one.

• Journal of the Korea Convergence Society
• /
• v.10 no.12
• /
• pp.71-80
• /
• 2019

DevOps is a combining which means giving a diverse environments for software development and operations through whole software lifecycle. The key value of the proposed DevOps platform is the fast and stable service capability for a software development and operation environment. To do this, the DevOps gives pre-embedded 7 programming languages-Java, C/C++, Python, PHP, Ruby, Node.js, goLang and 7 service frameworks - Korea eGov Framework, Spring, Struts, Django, Laravel, Rails, Express. With the DevOps platform, it is possible to develop a software and also to build and distribute operation packages directly with the Linux containers. In this paper, the performance evaluation for a compile time, a distribution time and a processing capability is will be also proved. Though the performance evaluation, this paper shows capabilities of the proposed DevOps for Cloud services with commercial service level, prospectively.

• The Journal of the Korea Contents Association
• /
• v.10 no.2
• /
• pp.89-98
• /
• 2010

The enterprise system is becoming more complex and larger. With the changes of the times, the system is developing to object-oriented programming method(OOP). However, the same code inserts to the core class repetitiously in the OOP, that causes a decrease in productivity and a trouble of application of another requirement. To solve this weak point, we propose a weaving mechanism what applies to metadata and crosscutting concern. For a class optimization and an integration between different languages, we take the following way. This paper uses three ways, those are, metadata generation using reflection, transformation to Abstract Syntax Tree, and mapping through crosscutting information specified XML. Through the proposed theory, class optimization can be accomplished by solving a functional decentralization and a confusion of codes.

• The Journal of the Korea Contents Association
• /
• v.11 no.11
• /
• pp.28-33
• /
• 2011

Recently the market of smart phone applications grows very fast. And users want more various and rich experiments using enhanced smart phone functions. But the development of smart phone applications is not an easy job. Specially to control smart phone sensors can be realized by using each native programming languages in experts level. Moreover the process needs separate development based on each smart phone OS. Development of the Web-based smart phone application using Web Common APIs, known as 'WebApp', is one of solutions to overcome these problems. The method includes interface constructions with HTML, and Web Common API calls and accesses to smart phone device APIs with Java scripts. In this paper, the experience in development of the smart phone e-book application is introduced, which is implemented with comport and OS independent WebApp development method.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.1
• /
• pp.39-60
• /
• 2017

In the Cloud, for the scheduling of parallel jobs, there are many tasks in a job and those tasks are executed concurrently on different VMs (Visual machines), where each task of the job will be executed synchronously. The goal of scheduling is to reduce the execution time and to keep the fairness between jobs to prevent some jobs from waiting more time than others. We propose a Cloud model which has multiple Clouds, and under this model, jobs are in different lists according to the waiting time of the jobs and every job has different parallelism. At the same time, a new method-ZOMT (the scheduling parallel tasks based on ZERO-ONE scheduling with multiple targets) is proposed to solve the problem of scheduling parallel jobs in the Cloud. Simulations of ZOMT, AFCFS (Adapted First Come First Served), LJFS (Largest Job First Served) and Fair are executed to test the performance of those methods. Metrics about the waiting time, and response time are used to test the performance of ZOMT. The simulation results have shown that ZOMT not only reduces waiting time and response time, but also provides fairness to jobs.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.55 no.10
• /
• pp.435-442
• /
• 2006

One of the most important topics about the safety of electrical and electronic system is the reliability of the wiring system. The Time-Frequency Domain Reflectometry(TFDR) is a state-of-the-art system for detecting and estimating of the fault on a wiring. In this paper, We've considered the load resistance measurement on a coaxial cable using TFDR in a way of expanded application. The TFDR system was built using commercial Pci extensions for Instrumentation(PXI) and LabVIEW. The proposed real time TFDR system consisted of the reference signal design, signal generation, signal acquisition, algorithm execution and results display part. To implement real time system, all of the parts were programmed by the LabVIEW which is one of the graphical programming languages. Using the application software implemented by the LabVIEW, we were able to design a proper reference signal which is suitable for target cable and control not only the arbitrary waveform generator in the signal generation part but alto the digital storage oscilloscope in the signal acquisition part. By using the TFDR real time system with the terminal resistor on the target cable, we carried out load impedance measurement experiments. The experimental results showed that the proposed system are able not only to detect the location of impedance discontinuity on the cable but also to estimate the load resistance with high accuracy.