| Hierarchical System Schedulability Analysis Framework Using Uppaal | 1 | 0.37 | 2016 |
| Efficient massive contents distribution strategy for P2P using sensor smart network | 0 | 0.34 | 2015 |
| The Research On Vulnerability Analysis In Openadr For Smart Grid | 1 | 0.37 | 2014 |
| Formal Modeling and Verification of SDN-OpenFlow | 3 | 0.44 | 2013 |
| Process Algebraic Specification of Software Defined Networks | 1 | 0.63 | 2012 |
| Formal specifications for software-defined networking | 0 | 0.34 | 2012 |
| A method for detecting arrhythmia using a RR interval from ECG data in U-Health system | 4 | 0.50 | 2011 |
| Improved User Authentication Scheme With User Anonymity For Wireless Communications | 11 | 0.73 | 2011 |
| Human neck's posture measurement using a 3-axis accelerometer sensor | 1 | 0.37 | 2011 |
| On Application-Level Approaches to Cloudy Computing Service in Agent-Base Distributed System | 0 | 0.34 | 2011 |
| An overlay multicast scheme for Distributed Interactive Applications | 0 | 0.34 | 2010 |
| The study of overlay multicast based Internet broadcasting in parallel media stream server | 0 | 0.34 | 2009 |
| Multicasting Tree Transformation for Concurrent Modest Multimedia Service | 0 | 0.34 | 2009 |
| Adaptive Processing for Multi-user Stream Service over Web-Based Broadcasting Stream | 0 | 0.34 | 2008 |
| Part-of-Speech Tagging Using Word Probability Based on Category Patterns | 0 | 0.34 | 2007 |
| Constructing domain ontology using structural and semantic characteristics of web-table head | 2 | 0.45 | 2007 |
| FTTH-Enhanced Mini-System m TBCP-Based Overlay Construction and Evaluation | 1 | 0.36 | 2007 |
| mTBCP-Based Overlay Construction and Evaluation for Broadcasting Mini-system | 1 | 0.41 | 2007 |
| Scenario-Based 3d Objects Synthesizing System Design | 0 | 0.34 | 2006 |
| Automatic korean phoneme generation via input-text preprocessing and disambiguation | 0 | 0.34 | 2006 |
| Hybrid approach to extracting information from web-tables | 3 | 0.48 | 2006 |
| Formal Verification Of Security Model Using Spr Tool | 1 | 0.38 | 2006 |
| Category-pattern-based korean word-spacing | 0 | 0.34 | 2006 |
| Combined word-spacing method for disambiguating korean texts | 1 | 0.41 | 2004 |
| A hybrid approach to automatic word-spacing in Korean | 3 | 0.42 | 2004 |
| Stochastic Korean Word-Spacing with Smoothing Using Korean Spelling Checker | 1 | 0.36 | 2004 |
| Korean stochastic word-spacing with dynamic expansion of candidate words list | 0 | 0.34 | 2004 |
| Improving partial parsing based on error-pattern analysis for a Korean grammar-checker | 3 | 0.49 | 2003 |
| Potential Governing Relationship and a Korean Grammar Checker Using Partial Parsing | 2 | 0.64 | 2002 |
