• Journal of the Korea Society for Simulation
• /
• v.8 no.1
• /
• pp.113-138
• /
• 1999

Driven by the explosive expansion and acceptance of the Internet and its multimedia front-end, the Web, a new generation of the modeling and simulation tools have come up with the name of Web-Based Simulation (WBS). Most of WBS libraries inherit its powerful advantages from Java. However, there are cases where explicit specification of models or interface objects is more desirable than the black-box programs. This paper presents an XML-based DEVS (Discrete Event System Specification) markup language for sharing simulation models on the Web. DEVS provides a system-theoretic formalism for the language while XML supports platform-independent data access. This paper focuses on the design of such a language.

• Proceedings of the IEEK Conference
• /
• 2001.06a
• /
• pp.149-152
• /
• 2001

In general, the wireless services based on markup language and provided with wired network requires dedicated gateway system. But in this case, the serious problems such as security vulnerabilities, damage of contents are occurred to the application. In this paper, to improve above problems, we designed and implemented the new application named "Interacted Wired St Wireless Student Information System" using J2ME(Java 2 Micro Edition) platform and XML(eXtensible Markup Language) to transmit user data safely and support the system extendibility maintaining data format consistency respectively.pectively.

• Journal of KIISE:Software and Applications
• /
• v.27 no.6
• /
• pp.607-617
• /
• 2000

Concurrent programs, which are composed of threads that can operate concurrently, are intrinsically nondeterministic. Therefore, we can not directly apply classical testing or debugging techniques developed for sequential programs to concurrent programs because of the nonreproducibility due to nondeterminism. In this paper, we present a source tranformation method to guarantee the reproducibility of multi-threaded programs written in Java programming language. Once a mutli-threaded program has been transformed according to the transformation rules, we can force the program's execution to follow the given sequence of synchronized methods repeatedly and reduce the efforts to find the source of the errors. In addition, we present a method for checking the feasibility of the synchronized method sequence to be replayed.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.346-349
• /
• 2004

The teleoperation system applies all of the industrial fields due to the development of the network infrastructure. It is one of the indispensable elements for controlling the robot at a remote sight and monitoring the limit or unknown environment. The common teleoperation robot system is what has the visual module to supply the network system and realistic UI to the existed robot system. Therefore, remarked that the fusion between modules and transmission of visual data the remarked the important element to improve the robot application in the various environments. Delay of development time by robot platform and noneffective communication among developers are also problem to approach. In this paper we propose the independent teleoperation system. The main application language is JAVA in this system, which is applied JAVA API like JNI and JMF to construct the effective teleoperation system. The system has the both side communication system between sever and client as a basic structure. The visual data that is attached the robot at a remote sight is captured by JMF API and then is transmitted to the web browser called client by RTR protocol. JNI is used to connect between JAVA and the lower part application (sensor fusion, motion control.) of the robot programmed by various Native languages. The proposed system is the application that can perform the elements, for instance transmission of visual data, the fusion of various native application modules and the effective network communication, with any platform.

• The KIPS Transactions:PartA
• /
• v.12A no.3 s.93
• /
• pp.229-234
• /
• 2005

The virtual machine is a programming environment that supports device and platform independence. So far, virtual machines such as JVM and KVM have been used in a variety of environments for the Java language. Some virtual machines similar to them are also being developed and used. This paper Presents the experiences of extracting elements essential for small sized devices such as PDA from Java Class files(*.class) and designing a converted class file(*.rclass) for runtime efficiency by modifying its class file format and developing its translator. In addition, a virtual machine is developed to receive the translated class file entered and output the runtime results.

• The KIPS Transactions:PartA
• /
• v.11A no.1
• /
• pp.97-108
• /
• 2004

This paper proposes to use an algorithmic debugging technique for locating logical errors in Java programs. The algorithmic debugging is a semi-automated debugging technique that builds an execution tree from a source program and locates logical errors, if any, included in the program from the execution tree with top-down method. So, it is very important to build a suitable execution tree from the various programming languages. In this paper we propose the method for building an execution tree iron Java programs and walk through an example. This approach could reduce the number of interactions between a user and a debugging system than the traditional step-wise debugging technique.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2002.11a
• /
• pp.804-807
• /
• 2002

Edge of image have a many information about input image. There is a many applications to using a edge detection and uses by variable special effect. Edge detection is a field of image analysis, image segmentation using a pixel make the one field for decision of image construction. In this paper, image segmentation through many ways of edge detection for image segmentation. First of all, it analyze feature of image and extract by feature of each image, to adopt way of edge detection to selective. It realize edge detection efficiently, consider to feature of language through using a java image segmentation.

• Journal of KIISE:Software and Applications
• /
• v.29 no.5
• /
• pp.345-354
• /
• 2002

There have been many researches about monitoring and checking the implementations during run-time using formal requirement specification. They usually adopt temporal logics or their extensions to specify the requirements for the implementations. However, most of the systems fail to support the specification of requirements fir dynamic systems - systems whore components are created and removed during run-time. Unlike analysis or design models, most actual implementations are dynamic, so the notion of instances should be employed in the property specification language. In this paper, we show how we can monitor and check Java programs using our temporal logic for dynamic systems (HDTL). We suggest a framework in which the execution of Java programs are monitored and chocked against given HDTL requirements.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.476-477
• /
• 2013

Gadget-2 is a scientific simulation code has been used for many different types of simulations like, Colliding Galaxies, Cluster Formation and the popular Millennium Simulation. The code is parallelized with Message Passing Interface (MPI) and is written in C language. There is also a Java adaptation of the original code written using MPJ Express called Java Gadget. Java Gadget writes a lot of checkpoint data which may or may not use the HDF-5 file format. Since, HDF-5 is MPI-IO compliant, we can use our MPJ-IO library to perform parallel reading and writing of the checkpoint files and improve I/O performance. Additionally, to add reliability to the code execution, we propose the usage of Hadoop Distributed File System (HDFS) for writing the intermediate (checkpoint files) and final data (output files). The current code writes and reads the input, output and checkpoint files sequentially which can easily become bottleneck for large scale simulations. In this paper, we propose Sim-Hadoop, a framework to leverage HDFS and MPJ-IO for improving the I/O performance of Java Gadget code.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.9
• /
• pp.1160-1172
• /
• 2019

Federated authentication is a user authentication and authorization infrastructure that spans multiple security domains. Many overseas Web applications have been adopting SAML-based federated authentication. However, in Korea, it is difficult to apply the authentication because of the high market share of a specific Web (application) server, which is hard to use open-source SAML software and the high adoption of Java-based standard framework which is not easy to integrate with SAML library. This paper proposes the SAML4J, which is developed in order to have Web applications easily and safely integrated with the Java-based framework. SAML4J has a developer-friendly advantage of using a session storage independent of the framework and processing Web SSO flows through simple API. We evaluate the functionality, performance, and security of the SAML4J to demonstrate the high feasibility of it.