スポンサーリンク
Division of Computer Science, Korea Advanced Institute of Science and Technology | 論文
- A Static Bug Detector for Uninitialized Field References in Java Programs(Software Engineering)
- LR Formalisms as Abstract Interpretations of Grammar Semantics(Automata and Formal Language Theory)
- Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns
- Estimating Mobile-Friendliness Scores of Web Pages
- Efficient Discovery of Highly Interrelated Users in One-Way Communications
- Design and Analysis of Agent Systems by Extended Statecharts (特集 「アクティブマイニング」及び一般)
- (「アクティブマイニング」及び一般)
- Efficient Packet Distribution Scheme in Cluster-Based Active Router(Computer Systems)