|
|
JAIST Repository >
一覧: 日付
検索結果: 10894-10914 / 18591.
| 発行日 | タイトル |
著者 |
|---|
| 4-Mar-2008 | Modeling traffic of wireless mobile networks under security-related events | Nguyen, Hoai Nam |
| 4-Mar-2008 | Network Coding and QoS Routing for Wireless Networks | Peng, Chao |
| 4-Mar-2008 | Some Studies on Language-Inclusion Problem | Nguyen, Van Tang |
| 4-Mar-2008 | Round off error analysis based on Weighted Pushdown Model checking | Do, Ngoc Thi Bich |
| 4-Mar-2008 | On-the-fly Model Checking of Security Protocols | Li, Guoqiang |
| 4-Mar-2008 | A Framework for Securing Component-Based Applications | Vo, Hieu Dinh |
| 4-Mar-2008 | Progress Report : CEq Emergence Assistant (the tool support for the CEq formal method) | Senachak, Jittisak |
| 4-Mar-2008 | Termination Verification and Complexity Analysis of Term Rewrite Systems | Hirokawa, Nao |
| 4-Mar-2008 | Static Program Analysis for Software Validation | Li, Xin |
| 4-Mar-2008 | Case Studies with a Combined Formal System Verification Technique | Kong, Weiqiang |
| 4-Mar-2008 | Automated target acquisition and docking RFID system in a cluttered environment | Kim, Myungsik |
| 4-Mar-2008 | A Coordination Model for Coordinating Software Components | Lin, Hsin-Hung |
| 4-Mar-2008 | Modular Conformance Testing and Verification for Evolving Component-Based Software | Hung, Pham Ngoc |
| 4-Mar-2008 | Improving Phrase-based Machine Translation using Splitting Clause and Phrase Reordering | Nguyen, Vinh Van |
| 4-Mar-2008 | Automatic Extraction of Named Entity Related Relations for Searching | Nguyen, Thanh Tri |
| 4-Mar-2008 | Syntax-Directed Phrase-based Statistical Machine Translation | Nguyen, Thai Phuong |
| 4-Mar-2008 | Transforming Natural Language Processing to Logical Forms | Nguyen, Minh Le |
| 4-Mar-2008 | Belief Consolidation for Description Logic | Suzuki, Yoshitaka |
| 3-Mar-2008 | A Case Study : Analyzing the One Dimensional Ising Model by Probabilistic Model Checking | Sekizawa, Toshifusa; Tsuchiya, Tatsuhiro; Kikuno, Tohru; Takahashi, Koichi |
| 3-Mar-2008 | Model Checking Infinite State Machines : Who's who in Ogawa lab | 小川, 瑞史 |
| 3-Mar-2008 | WEBベース・ワークフローシステムのモデル化と検証 | 平石, 邦彦 |
|
