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 KIPS Transactions on Computer and Communication Systems, Vol. 19, No. 3, pp. 113-120, Mar. 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 KIPS Transactions on Computer and Communication Systems, Vol. 19, No. 1, pp. 47-54, Jan. 2012
    10.3745/KIPSTC.2012.19.1.47

    Bottom-up Composition and Verification of Embedded Software
    Yun Ja Choi KIPS Transactions on Computer and Communication Systems, Vol. 17, No. 6, pp. 415-422, Jun. 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 KIPS Transactions on Computer and Communication Systems, Vol. 16, No. 3, pp. 417-422, Mar. 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 KIPS Transactions on Computer and Communication Systems, Vol. 16, No. 2, pp. 265-272, Feb. 2009
    10.3745/KIPSTD.2009.16.2.265

    Extracting Subsequence of Boolean Variables using SAT-solver
    Sa Choun Park , Gi Hwon Kwon KIPS Transactions on Computer and Communication Systems, Vol. 15, No. 6, pp. 777-784, Jun. 2008
    10.3745/KIPSTD.2008.15.6.777

    Verification for Multithreaded Java Code using Java Memory Model
    Min Lee , Gi Hwon Kwon KIPS Transactions on Computer and Communication Systems, Vol. 15, No. 1, pp. 99-106, Jan. 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 KIPS Transactions on Computer and Communication Systems, Vol. 14, No. 3, pp. 141-146, Mar. 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 KIPS Transactions on Computer and Communication Systems, Vol. 13, No. 3, pp. 391-398, Mar. 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 KIPS Transactions on Computer and Communication Systems, Vol. 13, No. 2, pp. 147-154, Feb. 2006
    10.3745/KIPSTC.2006.13.2.147