Digital Library

Search: "[ keyword: POSIT ]" (70)
    A Composition Check of Composite Refactorings Not Having a Specification of Precondition
    Kyung Min Kim , Pil Jae Jang , Tae Gong Kim The KIPS Transactions:PartD, Vol. 18, No. 1, pp. 23-34, Feb. 2011
    10.3745/KIPSTD.2011.18.1.23


    Bottom-up Composition and Verification of Embedded Software
    Yun Ja Choi The KIPS Transactions:PartD, Vol. 17, No. 6, pp. 415-422, Dec. 2010
    10.3745/KIPSTD.2010.17.6.415


    Composition Technique for Independent Real-Time Advertisement on Mobile UCC Phonepage
    Jong Keun Kim , Hee Ae Ko , Kun Ho Sim , Mei Hua Zhao , Young Hwan Lim The KIPS Transactions:PartD, Vol. 17, No. 5, pp. 371-382, Oct. 2010
    10.3745/KIPSTD.2010.17.5.371


    A Study on Selection of a Service Composition Target using AHP
    Ji Hyeok Kim , Jung Won Byun , Sung Yul Rhew The KIPS Transactions:PartD, Vol. 16, No. 5, pp. 737-746, Oct. 2009
    10.3745/KIPSTD.2009.16.5.737


    Developing XForms Based Mobile User Interface for Web Service Composition
    Eun Jung Lee The KIPS Transactions:PartD, Vol. 15, No. 6, pp. 879-888, Dec. 2008
    10.3745/KIPSTD.2008.15.6.879


    Tree Component Model: Component Composition with Hybrid Message Passing
    Je Min Huh , Ji Hong Kim The KIPS Transactions:PartD, Vol. 15, No. 5, pp. 659-668, Oct. 2008
    10.3745/KIPSTD.2008.15.5.659


    A Fusion System of WS-BPEL and OWL-S for Semi-Automatic Composition of Web Services
    Young Ju Lee The KIPS Transactions:PartD, Vol. 15, No. 4, pp. 569-580, Aug. 2008
    10.3745/KIPSTD.2008.15.4.569


    Automatic Web Services Composition System using Web Sercices Choreography
    Sang Kyu Lee , Sang Yong Han The KIPS Transactions:PartD, Vol. 15, No. 1, pp. 113-120, Feb. 2008
    10.3745/KIPSTD.2008.15.1.113


    Compositional Safety Analysis for Embedded Systems using the FSM Behavioral Equivalence Algorithm
    Woo Jin Lee The KIPS Transactions:PartD, Vol. 14, No. 6, pp. 633-640, Oct. 2007
    10.3745/KIPSTD.2007.14.6.633


    Automated Composition System of Web Services by Semantic and Workflow based Hybrid Techniques
    Yong Ju Lee The KIPS Transactions:PartD, Vol. 14, No. 2, pp. 265-272, Apr. 2007
    10.3745/KIPSTD.2007.14.2.265


Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTSDE is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTSDE is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals