Digital Library

Search: "[ keyword: Verification ]" (27)
    Simulation Method based on Design Checkpoint for Efficient Debugging
    Kyu Ho Shim , Nam Do Kim , In Hag Park , Byeong Eon , Sei Yang Yang The KIPS Transactions:PartA, Vol. 19, No. 3, pp. 113-120, Jun. 2012
    10.3745/KIPSTA.2012.19.3.113

    Detecting Malicious Scripts in Web Contents through Remote Code Verification
    Jae Yeong Choi , Sung Ki Kim , Hyuk Jun Lee , Byoung Joon Min The KIPS Transactions:PartC, Vol. 19, No. 1, pp. 47-54, Feb. 2012
    10.3745/KIPSTC.2012.19.1.47

    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

    Assessing the Construct Validity of PMIS Effectiveness Measurement -Focusing the Administration DB Construction Projects-
    Dong Seok Kang , Si Hyeong Yoo The KIPS Transactions:PartD, Vol. 16, No. 3, pp. 417-422, Jun. 2009
    10.3745/KIPSTD.2009.16.3.417

    The Method of Verification for Legal Admissibility of Digital Evidence using the Digital Forensics Ontology
    Hyuk Gyu Cho , Heum Park , Hyuk Chul Kwon The KIPS Transactions:PartD, Vol. 16, No. 2, pp. 265-272, Apr. 2009
    10.3745/KIPSTD.2009.16.2.265

    Extracting Subsequence of Boolean Variables using SAT-solver
    Sa Choun Park , Gi Hwon Kwon The KIPS Transactions:PartD, Vol. 15, No. 6, pp. 777-784, Dec. 2008
    10.3745/KIPSTD.2008.15.6.777

    Verification for Multithreaded Java Code using Java Memory Model
    Min Lee , Gi Hwon Kwon The KIPS Transactions:PartD, Vol. 15, No. 1, pp. 99-106, Feb. 2008
    10.3745/KIPSTD.2008.15.1.99

    Computer Graphics & Efficient Simulation Acceleration by FPGA Compilation Avoidance
    Kyu Ho Shim , Chang Ho Park , Sei Yang Yang The KIPS Transactions:PartA, Vol. 14, No. 3, pp. 141-146, Jun. 2007
    10.3745/KIPSTA.2007.14.3.141

    Verification of Deployment Algorithms in Wireless Mobile Sensor Networks using SPIN
    Dong Jin Oh , Jae Hyun Park The KIPS Transactions:PartD, Vol. 13, No. 3, pp. 391-398, Jun. 2006
    10.3745/KIPSTD.2006.13.3.391

    Design of a Real-Time Certificate Status Validation Mechanism Using Identity Information Hash Value of Signer
    Hyun Chul Kim , Jung Jae Kim , Jong Hee Lee , Hae Seok Oh , Moon Seog Jun The KIPS Transactions:PartC, Vol. 13, No. 2, pp. 147-154, Apr. 2006
    10.3745/KIPSTC.2006.13.2.147

Forms



Category Search

Publications


Old Journals


Indexing


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

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

Organization


Related Journals