|
|
JAIST Repository >
一覧: 日付
検索結果: 13967-13987 / 19268.
| 発行日 | タイトル |
著者 |
|---|
| 21-Sep-2005 | ACTAS : Automated Verification Based on Equational Tree Automata | Ohsaki, Hitoshi |
| 21-Sep-2005 | Specification and Verification of Inter-Component Constraints in CTL | Nguyen, Truong Thang; Katayama, Takuya |
| 21-Sep-2005 | A Parametric Model Checking Approach for Real-Time Systems Design | Sathawornwichit, Chaiwat |
| 21-Sep-2005 | Model Checking Web Specifications : Verification of design specifications for Web applications | CHOI, Eun-Hye; WATANABE, Hiroshi |
| 21-Sep-2005 | An Object-Oriented logic for software analysis and design | Yatake, Kenro; Aoki, Toshiaki; Katayama, Takuya |
| 21-Sep-2005 | A Lightweight Integration of Theorem Proving and Model Checking for System Verification | Kong, Weiqiang; Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 21-Sep-2005 | Verifying Specifications with Proof Scores | FUTATSUGI, Kokichi |
| 21-Sep-2005 | Perspective of Verifiable and Evolvable e-Society | Katayama, Takuya |
| 21-Sep-2005 | Brief overview of AIST/CVS | Kinoshita, Yoshiki |
| 15-Sep-2005 | デジタルペンとPDAを利用した実世界指向インタラクティブ授業支援システム | 三浦, 元喜; 國藤, 進; 志築, 文太郎; 田中, 次郎; Miura, Motoki; Kunifuji, Susumu; Shizuki, Buntarou; Tanaka, Jiro |
| Sep-2005 | On constructing completions | Crosilla, Laura; Ishihara, Hajime; Schuster, Peter |
| Sep-2005 | Frequency-domain MMSE turbo equalization of multilevel coded QAM-convergence in real fields | Kansanen, K.; Matsumoto, T.; Schneider, C.; Thoma, R. |
| Sep-2005 | Room temperature ferromagnetism in laser ablated Ni-doped In_2O_3 thin films | Nguyen, Hoa Hong; Sakai, Joe; Ngo, Thu Huong; Brizé, Virginie |
| Sep-2005 | Capturing window attributes for extending web browsing history records | Miura, M; Kunifuji, S; Sato, S; Tanaka, J |
| Sep-2005 | Maximum entropy models with inequality constraints: A case study on text categorization | Kazama, J; Tsujii, J |
| Sep-2005 | 光応答型ポリロタキサンの調製とその機能評価 | 村松, 英信; むらまつ, ひでのぶ |
| Sep-2005 | フッ化アンモニウムを用いたベータゼオライト結晶（BEA）の合成とその耐熱安定性 | Jon, Hery; ジョン, ヘリー |
| Sep-2005 | 消化・伸長反応を利用したDNA結合タンパク質検出法の開発 | 福森, 隆志; ふくもり, たかし |
| Sep-2005 | 海洋細菌Alcaligenes sp.XY-234株由来β-1,3-キシラナーゼの構造と機能に関する研究 | 岡崎, 文美; おかざき, ふみよし |
| Sep-2005 | エチレン重合用フィリップス触媒の特性発現機構に関する研究 | 方, 偉; ふあん, ゆうぇい |
| Sep-2005 | Ba2In2O5 基化合物の電気的、熱的性質 | 謝, 国俊; タ, コク ツアン |
|
