• Proceedings of the Korea Society of Design Studies Conference
• /
• 2004.05a
• /
• pp.290-291
• /
• 2004

• Proceedings of the CALSEC Conference
• /
• 2004.02a
• /
• pp.191-196
• /
• 2004

Web Service ·A software application identified by a URI, whose interface and bindings are capable of being defined, described, and discovered as XML artifacts A Web service supports direct interactions with other software agents using XML-based messages exchanges via Internet-based protocols(W3C) ·Utilize the WWW infrastructure ·Example ： http：//etech.kaist.ac.kr：8080/search.html(omitted)

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2005.10a
• /
• pp.112-113
• /
• 2005

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.11a
• /
• pp.297-300
• /
• 2003

This paper considers formal verification methods for enhancing software reliability. The formal method verifies that a software is correctly implemented according to its specification by using a mathematical formalism. This paper presents a partial survey on the formal methods and discusses possible applications for the improved software implementation. Finally, some topics are remarked as further studies.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.8
• /
• pp.1231-1238
• /
• 1990

Though the studies on object-oriented software design which software component corresponds to phrases appearing in sentences of natural language have been going on, the design methodology has not been clearly set up yet. In this paper, the module structure of good quality was found not only by nouns that indicate class of object but also by subdividing sentences. I also suggested objected-oriented methodology observing the interdependency between objects and their relationships, and assessed the control problem of lift as an example.

• Proceedings of the CALSEC Conference
• /
• 2001.08a
• /
• pp.637-649
• /
• 2001

ㆍ Research Method - Experimental Design ㆍWhen Entity Bean is deployed and Client request to inquire a specific information of Doctor Table, we experiment Total Time for Query Execution according to Time Measurement Operation in Client code. ㆍWe can apply the statistics for the experiment to the design of Entity Beans.(omitted)

• Proceedings of the CALSEC Conference
• /
• 2001.08a
• /
• pp.651-658
• /
• 2001

□결론 ☆재사용 가능한 클래스는 재사용. ☆많은 클래스들이 EJB의 두 가지 성격을 내포하고 있어서 클래스 분해가 필요. ☆빈 추출 단계 제시. ☆빈 매핑 테이블 제시. ☆사례연구로 채팅 시스템 구현. □향후 연구과제 ☆기존 시스템에서의 컴포넌트 식별 ☆인터페이스 설계에 대한 연구 ☆빈 명세서에 대한 구체적인 구성요소 연구 ☆구현시 문제점 분석(중략)

• Genomics & Informatics
• /
• v.13 no.4
• /
• pp.119-125
• /
• 2015

RNA is a polymeric molecule implicated in various biological processes, such as the coding, decoding, regulation, and expression of genes. Numerous studies have examined RNA features using whole transcriptome sequencing (RNA-seq) approaches. RNA-seq is a powerful technique for characterizing and quantifying the transcriptome and accelerates the development of bioinformatics software. In this review, we introduce routine RNA-seq workflow together with related software, focusing particularly on transcriptome reconstruction and expression quantification.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2180-2181
• /
• 2002

This paper try to become a height efficiency control method of the DC series wound motor which the forklift have been used by the Software Bang-Bang controller. We used and studies the DC series wound motor by SBB control and PI control.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.05a
• /
• pp.79-81
• /
• 2019

Collecting data in wireless sensor networks in minimum time is a traditional problem which is known NP-hard. Previous studies built the schedule using the node-based or link-based metrics to prioritize the transmissions. In this work, we combine the effect of both metrics to obtain a smaller aggregation time. We compare our work with state of the art schemes and report the improvement.