KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2006

  • SHAGE: A Framework for Self-managed Robot Software

    김동선, 박수용, 진영균, 장형수, YuSik Park, In-Young Ko, 이관우, 이준희, 박연출, 이석한
    ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems
    2006

    []

  • SLRRP 기반의 안전한 RFID 리더 프로토콜 연구

    이현록
    2006년도 한국정보보호학회 동계학술대회
    2006

    []

  • SPJ 실체화 뷰의 효율적인 점진적 관리 기법

    이기용, 손진현, 김명호
    정보처리학회논문지 (D)
    2006

  • Secure HB+ against Man-in-the-middle Attacks

    Duc Dang Nguyen
    2006년도 한국정보보호학회 동계학술대회
    2006

    []

  • Secure query processing against encrypted XML data using Query-Aware Decryption

    Lee Jae-Gil, Kyu-Young Whang
    INFORMATION SCIENCES
    2006

    [] []

  • Securing HB+ against GRS Man-in-the-Middle Attack

    Duc Dang Nguyen
    SCIS 2007: The 2007 Symposium on Cryptography and Information Security
    2006

    []

  • Security for RFID-based Applications in Smart Home Environment

    Divyan Munirathnam Konidala
    SCIS 2007: The 2007 Symposium on Cryptography and Information Security
    2006

    []

  • Semantics of Separation-logic Typing and Higher-order Frame Rules for Algol-like Languages

    Birkedal, Lars, Torp-Smith, Noah, Hongseok Yang
    LOGICAL METHODS IN COMPUTER SCIENCE
    2006

  • Sensor Network Management Using SNMP

    장성훈, 김대영, 김재언
    Joint Conference on Communications and Informations(JCCI) 2006
    2006

    []

  • Shortcut Tree Routing in ZigBee Networks

    TaeHong Kim, Daeyoung KIM, Noseong Park, Seong-eun Yoo, SanchezLopez Tomas
    2007 2nd International Symposium on Wireless Pervasive Computing (ISWPC)
    2006

    []

  • Six Sigma Approach in Software Quality Improvement

    Cvetan Redzic, Jongmoon BAIK
    Fourth International Conference on Software Engineering Reasearch, Management and Applications (SERA2006)
    2006

    []

  • Six sigma approach in software quality improvement

    Redzic, C., Jongmoon BAIK
    Proceedings - Fourth International Conference on Software Engineering Research
    2006

    []

  • Special section on artificial reality and telexistence

    Hyun S. Yang
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
    2006

    []

  • Stability versus speed in a computable algebraic model

    Ziegler Martin A.
    THEORETICAL COMPUTER SCIENCE
    2006

  • Static extensivity analysis for lambda-definable functions over lattices

    Eo, Hyun-Jun, Yi, Kwang-Keun, Kwang-Moo Choe
    NEW GENERATION COMPUTING
    2006

    []

  • TCP DCC: Delaying Congestion Control Based on Packet Loss for Wireless Networks

    강문수, 모정훈, DaeHan Kwak
    The Joint International Conference on Optical Internet (COIN) and Next Generation Network (NGNCON) (COIN-NGNCON 2006)
    2006

    []

  • TCP Performance over the WiBro Compatible 802.16e Systems

    Wu Jing, 모정훈, 김동호
    2007 9th International Conference Advanced Communication Technology (ICACT)
    2006

    []

  • Text Mining for Medical Documents Using a HMM Model

    HyeJu Jang
    Asia Information Retrieval Symposium 2006
    2006

    []

  • The Bifurcating Neuron Network 3 As Coloring Problem Solver and N-ary Associative Memory

    JinHyuk Choi
    13th International Conference on Neural Information Processing
    2006

    []

  • The effect of missing values on gene clustering analysis of microarray data

    김수영
    대한 분자•세포생물학회(2006 추계학술대회)
    2006

    []