|
JAIST Repository >
一覧: 日付
検索結果: 11298-11318 / 18999.
| 発行日 | タイトル |
著者 |
|---|
| 4-Mar-2008 | Progress Report in 2007 : Research on Fault Tolerance of Mobile Robots | YANG, Yan |
| 4-Mar-2008 | Progress Report in 2007 : Research on Adaptive Failure Detector | Xiong, Naixue |
| 4-Mar-2008 | Hybrid Overloading and Fault Tolerant Task Scheduling in Multiprocessor systems Based on Primary and Backup Scheme | Sun, Wei |
| 4-Mar-2008 | A study of Quality of Service on wireless mesh network | Nguyen, Lan Tien |
| 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 |
|
