• The KIPS Transactions:PartC
• /
• v.10C no.5
• /
• pp.585-594
• /
• 2003

Java card is one of promising smart card platform with java technology. Java card defines necessary packages and classes for Embedded device that have small memory such as smart card Jana card is compatible with EMV that is Industry specification standard and ISO-7816 that is international standard. However, Java card is not offers user authentication protocol. In this paper, We design and implement an user authentication protocol applicable wireless devices based on Java Card using standard 3GPP Specification (SMS), Java Card Specification (APDU), Cryptography and so on. Our Java Card user authentication techniques can possibly be applied to the area of M-Commerce, Wireless Security, E-Payment System, Mobile Internet, Global Position Service, Ubiquitous Computing and so on.

• Journal of the Korea Computer Industry Society
• /
• v.4 no.4
• /
• pp.633-646
• /
• 2003

Using the self-contained characteristics of XML, in various areas the XML is widely used to a meta language which can describe information and is recognized to a standard language to present information on the web. In this paper, we point out many difficult problems when we are going to a serial activity of software engineering like that we analyze, reuse, and maintenance source programs. Then we describe whether the existed studies about documentation provide the solutions for the problems above mentioned or not. Finally, we propose the JML(Java Markup Language) that can effectively support solutions about these difficulties. Then we analyze the sample program and present the generated JML docuement using the results. explain the result that The JML is an XML DTD to describe software information written by Java language. Also, we describe the meaning of elements that are parts of whole JML, and explain how to represent the information of Java source codes using each element.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.3
• /
• pp.45-56
• /
• 2004

Java provides support for Web, concurrent programming, safety, portability, and GUI, so there is a steady increase in the number of Java users. Java is based on the object-oriented concepts such as classes, instances, encapsulation, inheritance, and polymorphism. However the JVM(Java Virtual Machine) hides most of the phenomena related to the concepts. This is why most of Java users have much difficulty in learning and using Java. As a solution to the problem, I have developed a tool Alpha that visualizes the phenomena occurred in the JVM from the standpoint of the concepts and will describe the design and features of the tool in this paper. For practicality and extendability Alpha has an MVC(Model-View-Controller) architecture and visualizes the phenomena such as object instantiations, method invocations, field accesses, cross-references among objects, and execution flows of threads in the various ways according to the levels and purposes of the users.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.170-176
• /
• 2002

Java language is a representative object-oriented language that is used at the various platform and fields. A structure of java language is simpler than traditional procedural-oriented language because of characters of object-oriented language But it is difficult to debug complicated java programs. Debugging has always been a costly part of software development. Syntax errors of java programs is easily found by the current debugging system. But it is difficult to locate logical errors included in java programs. Traditional debugging techniques locating logical errors in java program have been still used with conventional methods that are used at procedural-oriented languages. Unfortunately, these traditional methods are often inadequate for the task of isolating specific program errors. Debugger users may spend considerable time debugging code of program development with sequential methods according as program size is large and is complicated. It is important to easily locate errors included in java program in the software development. In this paper, we apply algorithmic debugging method that debugger user can easily debug programs to java program. This method executes a program and makes an execution tree from calling relation of functions. And it locates errors at the execution tree. So, Algorithmic debugging method can reduce the number of debugging than conventional sequential method.

• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.73-80
• /
• 2003

The Java programming language is designed for developing effective applications in a heterogeneous network environment. Major problem in Java is its performance. many attractive features of Java make the development of software easy, but also make it expensive to support ; applications written in Java are often much slower than their counterparts written in C or C++. To use Java`s attractive features without the performance penalty, sophisticated optimizations and runtime systems are required. Optimising Java bytecode has several advantages. First, the bytecode is independent of any compiler that is used to generate it. Second, the bytecode optimization can be performed as a pre=pass to Just-In-Time(JIT) compilation. Many attractive features of Java make the development of software easy, but also make it expensive to support. The goal of this work is to develop automatic construction of code optimizer for Java bytecode. We`ve designed and implemented a Bytecode Optimizer that performs the peephole optimization, bytecode-specific optimization, and method-inlining techniques. Using the Classfile optimizer, we see up to 9% improvement in speed and about 20% size reduction in Java class files, when compared to average code using the interpreter alone.

• The KIPS Transactions:PartD
• /
• v.15D no.1
• /
• pp.99-106
• /
• 2008

Recently developed compilers perform some optimizations in order to speed up the execution time of source program. These optimizations require the reordering of the sequence of program statements. This reordering does not give any problems in a single-threaded program. However, the reordering gives some significant errors in a multi-threaded program. State-of-the-art model checkers such as JavaPathfinder do not consider the reordering resulted in the optimization step in a compiler since they just consider a single memory model. In this paper, we develop a new verification tool to verify Java source program based on Java Memory Model. And our tool is capable of handling the reordering in verifying Java programs. As a result, our tool finds an error in the test program which is not revealed with the traditional model checker JavaPathFinder.

• Korean Institute of Interior Design Journal
• /
• v.22 no.6
• /
• pp.199-211
• /
• 2013

Indonesia is archipelago country and plural society which consist of diverse ethnic groups. This study select Java island and Java houses as a representative housing of Indonesia. The aim of this study is to present a comprehensive overview of traditional houses of Java in Indonesia by examining pre-existing literature. First, the Java House as a microcosm of the universe that shows universal and religious aspects. Furthermore, each building contains spiritual symbolism. These ideological aspects select the location and layout of the towns, villages and buildings, which create an order to the interior space. The space structure of Java housing is characterized by strong juxtaposition between east/west, front/back, public/private, male/female, and open space/ closed space. There is also a hierarchy of space, which were applied in floor level, height of space and lightness. The structure of the roof shows the best formativeness. Depending on the shape of the roof, the function of the building is shown, and also it represents the social rank and religious respect. Joglo's unique formativeness is an icon of the Java architect.

• The Journal of Information Technology and Database
• /
• v.6 no.1
• /
• pp.1-13
• /
• 1999

The modeling components in the object-oriented paradigm are based on the object, not the structured function or procedure. That is, in the past, when one wanted to solve problems, he would describe the solution procedure. However, the object-oriented paradigm includes the concepts that solve problems through interaction between objects. The object-oriented model is constructed by describing the relationship between object to represent the real world. As in object-oriented model the relationships between objects increase, the control of objects caused by their insertions, deletions, and modifications comes to be very complex and difficult. Because the loss of the referential integrity happens and the object reusability is reduced. For these reasons, the necessity of the control of objects and the visualization of the relationships between them is required. In order that we design a database necessary to implement Object Browser that has functionalities to visualize Java objects and to perform the query processing in Java object modeling, in this paper we show the processes for EER modeling on Java object and its transformation into relational database schema. In addition we implement Java Object Parser that parses Java object and inserts the parsed results into the implemented database.

• Journal of Korea Multimedia Society
• /
• v.8 no.12
• /
• pp.1658-1668
• /
• 2005

This paper presents the bytecode-to-SIL translator which enables the execution of the java program in EVM(Embedded Virtual Machine) environment without JVM(java Virtual Machine), translating bytecodes produced by compiling java programs into SIL(Standard Intermediate Language) codes. EVM, what we are now developing, is a virtual machine solution that can download and execute dynamic application programs written in sequential languages like C language as well as object oriented languages such as C#, Java, etc. EVM is a virtual machine mounted on embedded systems such as mobile device, set-top box, or digital TV, and converts the application program into SIL, an assembly language symbolic form, and execute it. SIL is a virtual machine code for embedded systems, based on the analysis of existing virtual machine codes such as bytecode, MSIL, etc. SIL has such features as to accommodate various programming languages, and in particularly has an operation code set to accept both object-oriented languages and sequential languages. After compiling, a program written in java language is converted to bytecode, and also executed by JVM platform but not in other platform such as .NET, EVM platform. For this reason, we designed and implemented the bytecode-to-SIL translator system for programs written in java language to be executed in the EVM platform without JVM. This work improves the execution speed of programs, enhances the productivity, and provides an environment for programmers to execute application programs at various platforms.

• Journal of Korea Multimedia Society
• /
• v.14 no.1
• /
• pp.103-111
• /
• 2011

Legacy Java card which adapts a Java platform loads and executes an application when electronics power is provided. However, recently the most Java cards are embedded into a mobile terminal as USIM cards, therefore the power is continually provided for the smart cards. In this case, operation of a Java card system needs to consider its operating system to be advanced in memory management, object management and transaction mechanism. In this paper, we present a high performance Java Card system which is able to have efficient installation, loading and execution of application by applying a new memory management of the smart card that has safe power system.