• 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.

• 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.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.1
• /
• pp.42-49
• /
• 2000

This paper presents a solid modeling system that enables real time co-operative modeling and discussion on m between geographically separated designers. The modeling system is implemented using CORBA architecture and integrated in WWW with Java technology. The server objects use a commercial solid modeling kernel to provide modeling features and access database including product model data. The client is implemented using Java2 platform so that enables end-users access the system with web-browsers.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2011.01a
• /
• pp.241-244
• /
• 2011

본 논문에서는 다양한 하드웨어를 능동적으로 관리할 수 있는 미들웨어 시스템을 제안한다. 최근 WII Remote, KINECT와 같은 게임기에서 사용되는 하드웨어를 일반 데스크톱에서 사용하고자 하는 노력들이 많이 이루어지고 있다. 뿐만 아니라 RFID, 블루투스, 이동전화 등 기존에 나와 있는 다양한 기기들도 데스크톱에서 이용할 수 있도록 많은 기술적 접근이 이루어지고 있다. 각각의 디바이스를 관리하기 위해서는 그에 맞는 디바이스 드라이버와 API를 만들어야만 한다는 단점이 있다. 제안하는 시스템은 시대적 흐름에 맞추어 다양한 하드웨어 시스템을 효율적으로 관리할 수 있으며, C, C++, C#, JAVA의 다양한 언어로 구현된 어플리케이션을 하나의 미들웨어 위에서 동작시킬 수 있는 큰 장점이 있다. 기존의 미들웨어는 이종 다바이스간의 데이터 호환 및 처리를 수행하였지만 본 논문에서 제안하는 시스템은 이종 플랫폼간의 데이터 호환까지 지원한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11b
• /
• pp.1375-1378
• /
• 2002

디지털 TV, 셋톱박스, 홈 서버 등 정보 가전 분야에서 Java 기술을 적용하는 범위가 확대되고 있지만, 현재 Sun 의 JVM 이나 공개용 Kaffe VM 등의 경우에 스케줄링 측면이나 가비지 콜렉터의 관점에서 실시간 조건을 고려하고 있지 않기 때문에 실시간 응용 분야에 바로 적용하기에는 문제점을 갖고 있다. 특히, 가비지 콜렉터의 측면에서는 가비지 회수 동안 응용 프로그램의 수행을 중지시키는 stop-the-world 방식으로 진행되어 응답 시간 및 실행 시간 계측 불가로 인해 실시간 시스템에 적합하지 않다. 따라서 작은 단위의 가비지 컬렉션 기능과 응용 프로그램의 수행을 병행하는 점진적(incremental) 가비지 콜렉터의 설계가 필요하다. 본 논문에서는 가비지 콜렉터의 관점에서 실시간 특성을 보장하는 점진적 가비지 컬렉션 방법에 관해 살펴본다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2011.06a
• /
• pp.217-219
• /
• 2011

Smart Grid를 위해서 전기의 끊김없는 공급과 안전한 전기사용이 중요하다. Smart Grid에 사용되는 전기IT기기의 성능평가와 인증을 받기 위해서는 모듈 기준값, 모듈 성능값, 제품별 기능, 실험장비, 허용오차 등 실험 DataBase가 발생한다. 전기IT기기는, 기존의 존기기기에 IT와 통신기능을 융합하여 전기의 공급과 안전성을 강화시킨 제품이다. 본 논문에서는 Smart Grid DataBase 개발을 위한 전기IT기기들을 안전하게 관리하고, IT와 통신을 통한 인터넷 웹브라우저에서 접속할 수 있는 Java Servlet 기술을 이용한, 전기IT기기에 대한 평가기관 및 인증기관이 실시간으로 평가와 인증 자료를 관리 할 수 있도록 한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.627-630
• /
• 2005

This paper describes the development of a racing game with three-dimensional computer graphics as one of web-based game contents. Client user using web can access and run java applet program with download of Java Bytecode with the independence of hardware system. It consists of graphic user interface module, initial space generation module, event handler module, and thread control module. It uses 2-D linked list data structure for the 3-D graphic objects that are located in three-dimensional space for high-speed object searching and sorting. It enhances the dynamic object moving and viewing in three-dimensional space. We can use the developed racing game to inform game users of information for an advertisement like tourism information, and can apply the proposed 3-D drawing technology to 3-D game graphic engine core.

• 소프트웨어공모대전
• /
• s.6
• /
• pp.394-403
• /
• 2001

• Journal of Korea Multimedia Society
• /
• v.10 no.5
• /
• pp.604-611
• /
• 2007

Java Card has gained genera1 acceptance with standard for smart card and (U)SIM technology, and it is in distinction from native card by its post-issuance of an application and independence from hardware platforms. However, a main weak point of Java Card is its low execution speed caused by the hardware limitation and Java programming language itself. In this paper, we propose a new Java Card Installer to improve the download speed during the post-issuance of an application by resolving symbolic references to physical references in HAM. Our Resolution_In_RAM is based on the improved new RAM writing is 100,000 times faster than EEPROM writing and PageBuffer that is operated as block mode, rather than cell mode is used to write to EEPROM. Consequently, the total number of EEPROM writing are reduced 37%, and the times of downloading are reduced over 30% by using the Resolution_In_RAM-based Java Card Installer.

• Proceedings of the Korea Database Society Conference
• /
• 1998.09a
• /
• pp.347-364
• /
• 1998

Oracle's KM Technology ㆍCore Technologies - Oracle Application Server 4.0 JCORBA Cartridge, JTS - Oracle 8.1 JavaVM, Java Stored Procedure, CORBA/ORB, IIOP - ConText Carridge 8.1 - Enterprise Scalability and Performance - Open SQL Query Layer - Fully-Extensible Object Model for custom solutions ㆍNext Plan - Oracle Application Server 4.1 EJB Cartridge(omitted)