• Journal of the Korea Society of Computer and Information
• /
• v.12 no.2 s.46
• /
• pp.29-36
• /
• 2007

In the Java a profiler interface such as JVM TI is provided for communication between a Java virtual machine and a profiler. The JVM TI specification, however does not require an implementation of a profiler interface. Consequently the JVM without an implementation of a profiler interface cannot use a profiler with the JVM TI. For solving the problem, we propose a technique which analyzes heap usage without a profiler interface. This technique inserts codes to extract heap usage into source files in the Java. We implemented a code inserter to verify the proposed technique. We experimented with Java programs that are frequently used and opened. the experimental result presents the number of created objects. the maximum number of allocated objects, and the used pattern of the objects.

• The KIPS Transactions:PartD
• /
• v.15D no.6
• /
• pp.879-888
• /
• 2008

As web services have become an important architecture solution, web service composition applications are developed actively. A mobile application supporting multiple services requires a complex user interface so that the interface needs to consist of more than one view and to provide a way to navigate between views. In this paper, we presented a formal way to analyze a set of views for a given service specification, and a relation model between views and methods. We then provided an algorithm to generate codes for service method calls and navigation between views. Therefore, with an optional user configuration input, we could automatically generated XForms codes from the web service specifications. Finally, we developed a proof of concept implementation of XForms browser to show that the generated codes works well as an interface for web service compositions.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.11B
• /
• pp.1583-1594
• /
• 2001

In this paper, the transmission structure and procedure of a random access channel for the IMT-2000 satellite radio specification are presented. The proposed random access method has much commonality with that of the 3GPP FD specification which is a terrestrial radio interface of IMT-2000. The proposed method was designed by considering characteristics of satellite link as we71 as the commonality with the terrestrial component. A preamble consists of sub-preamble repetition and a message is transmitted along with the preamble successively. The propose method has fast indication of preamble acquisition by physical layer. The proposed method has been included in the SAT-CDMA which is a radio transmission technology Proposed by TTA, KOREA and approved as a satellite radio interface at ITU-R. Additionally, in this Paper the signaling delay for the proposed random access channel will be analyzed and it will be compared to that of the random access methods using a conventional ALOHA procedure and the 3GPP procedure in aspect of the signaling delay. When the SAT-CDMA satellite constellation at the height of about 1600 km is considered, the delay of the proposed method was estimated to 100 ms less than that of the conventional ALOHA. This delay difference increases with 7he number of retransmissions. The delay is reduced by 30 ms, compared with the 3GPP method.

• Journal of Internet Computing and Services
• /
• v.9 no.5
• /
• pp.59-72
• /
• 2008

Computing systems in the modern era are expanding rapidly to include mobile-based businesses that make us of the various convergence distributed business process. This has lead to growing interest in the field of mobile embedded software development methodology, which has in turn lead to the proliferation of the embedded mobility. The use of CBD (Component Based Development) provides reusability, maintainability and portability, all of which are very important and focus issues to the business process. It also comes with the inherent productivity, quality and reliability of CBD. To make efficient use of CBD, though, clarified interface definitions for component integration are necessary. These definitions should be made up of collaborative hierarchical and horizontal architecture layers. Successful definitions should apply an effective framework made up of the architecture and process. In this paper, we describe an interface specification for small grained mobile embedded components(MEC) for the mobile embedded domain to meet maximum user requirements. We build and deploy the reconfigurable design patterns and components (in business domain categories) to make a component hierarchy and business logics for mobile embedded software. Proposed components specification plays a major role in development of the software for handling inconsistency in existing specification. It also includes plenty of specification information, using semantics and modeling based mechanisms to support business processes. We propose a development model of mobile embedded software using CBD for very complex and dynamic mobile business. We can apply it in a plug and play manner to develop the software. We verify that our framework supports very good productivity, quality and maintainability to meet the user's requirements in mobile business.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1992.06a
• /
• pp.155-159
• /
• 1992

본 논문은 디지틀 음성통신 서비스의 품질기준 (통화품질, 접속품질)을 설정하기 위한 실험용 통화모델 시스템의 사용자 접속 규격을 구현한 것이다. 본 논문에서 구현한 사용자 접속 규격은 디지틀 음성통신망에서 사용하려는 접속 protocol을 그대로 적용하여 실제의 상황과 같도록 하기 위하여 종합정보통신망 (ISDN)의 표준규격인 사용자 - 망 접속 규격을 이용하여 구현하였다. CCITT 권고안 I series의 규격을 만족하는 Protocol Simulator 와의 연동실험을 통하여 구현한 모델 시스템에 대한 사용자 접속 규격의 처리 및 성능을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.163-165
• /
• 2003

ebXML은 단일한 방법으로 기업간 비즈니스 프로세스의 자동화를 지원할 수 있는 표준이다. 본 논문은 ebXML의 CPA(Collaboration Protocol Agreement) 및 BPS(Business Process Specification)에 정의된 내용에 따라 프로세스 자동화를 관리하는 BSI(Business Process Interface) 엔진의 주요 설계 내용을 기술한다. 고려 사항으로는 BPSS 1.05, CPA 2.0을 지원하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.51.4-51
• /
• 2002

$\textbullet$ A noval haptic mouse system is developed for human computer interface. $\textbullet$ Five bar mechanism is adapted for 2 dof force feedback with virtual environment. $\textbullet$ Double prismatic joint type mechanism is adapted to reflect 1 dof grabbing force feedback. $\textbullet$ Cable driven mechansim is used for actuation to reduce backlash and endow backdrivability. $\textbullet$ Virtual wall perception experiment is conducted to obtain force specification for haptic mouse. $\textbullet$ Average mouse workspace is measured using magnetic position tracker.

• Journal of the Korea Society for Simulation
• /
• v.14 no.1
• /
• pp.19-32
• /
• 2005

In this study, a distributed simulation of Petri net models under HLA/RTI framework is considered. Throughout our modeling experiences, it is recognized that the proper use of interface specification and time management services are important in order to achieve successful implementation of RTI. The interfacing tokens between Petri net models are distinguished as information entity and physical entity. Both entities are modeled as InteractionClass in order to send and receive messages. For the synchronization of local simulation clocks, a conservative method with NERA service is considered. A cell manufacturing system is modeled and implemented with RTI to illustrate the distributed simulation of Petri net models.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.109-111
• /
• 2002

객체기술의 확장, 분산처리기술의 발전과 더불어 주목받는 컴포넌트 기반 소프트웨어 구축기술은 기존의 프로그래밍 기술을 대체하는 효율적인 기법으로 평가받고 있다. 소프트웨어의 재사용 측면에서 이러한 컴포넌트들은 프로그램 개발의 생산성 증대에 기여하는 것은 사실이지만 이러한 효과가 현실화되기 위해서는 기본적인 제반요소 -검색 및 저장소, 효과적인 컴포넌트 서술- 가 해결되어야 한다. 이에 본 논문에서는 컴포넌트의 명세를 기반으로 한 컴포넌트 저장소 모델을 제안한다. 이러한 컴포넌트의 명세는 인터페이스 기술에 대만 명세, 상속등과 같은 재사용에 대한 정보, 인터페이스들을 포함하는 컴포넌트 명세들 간의 상호작용에 관만 정보를 포함한다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.12
• /
• pp.3127-3137
• /
• 1998

COBRA 표준명세는 표준을 만족하는 구현에서 제공해야 할 기능뿐만 아니라 서비스 제공 모듈의 사용자 인터페이스도 IDL을 사용하여 엄격하게 정의하고 있다. CORBA 표준에 대한 확신과 신뢰성을 가지기 위해서는 IDL(Interface Definition Language)로 기술된 표준명세를 정형화하고 수학적으로 엄격히 증명할 필요가 있다. 본 논문에서는 CORBA 표준을 정형적으로 명세하고 검증할 방법을 제시한다. 먼저 표준모듈을 Larch/CORBA IDL(LCB)를 사용하여 정형적으로 명세하고, LCB의 의미론에 준하여 LCB 명세를 LSL(Larch Shared language)로 변환한다. 변환한 LCB 명세와 LSL 증명논리를 사용하여 특성을 수학적으로 증명한다. 변환기반의 LCB 의미론을 정립하여 제안한 방법의 이론적 바탕을 마련하고 CORBA 이름서비스명세에 실제 적용하여 그 효용성을 보인다.