|
|
JAIST Repository >
一覧: 日付
検索結果: 12507-12527 / 19028.
| 発行日 | タイトル |
著者 |
| 29-Nov-2006 | ToyWeb based prover | NISHIZAKI, Shin-ya; TAMANO, Hiroshi; SOYAMA, Yusuke |
| 29-Nov-2006 | Theorem-proving Privacy and Anonymity | KAWABE, Yoshinobu |
| 28-Nov-2006 | 構成管理モデルFMCのAlloyによる検証 | Tanizaki, Hiroaki; Katayama, Takuya |
| 28-Nov-2006 | A Domain Analysis of Artistic Works and A Digital License Language | Xiang, Jianwen; Bjorner, D.; Chen, X.; Arimoto, Y.; Ogata, K.; Vestergaard, R.; Futatsugi, K. |
| 28-Nov-2006 | 安心情報システム構築におけるコンポーネント技術の応用 : Development of Information Systems for e-Society with Component Technologies | 鈴木, 正人 |
| 28-Nov-2006 | ソフトウェアアカウンタビリティの定義に関する基礎考察 | 落水, 浩一郎 |
| 28-Nov-2006 | モデル検査によるアーキテクチャ設計検証 | 岸, 知二 |
| 28-Nov-2006 | A Report of the Current Situation on Software Certification in Japan | Mizuguchi, Daichi |
| 28-Nov-2006 | Anonymous stabilizing leader election using a network sequencer | Wiesmann, Matthias; Defago, Xavier |
| 27-Nov-2006 | Visibly Stack Automata | Nguyen, Van Tang; Ogawa, Mizuhito |
| 27-Nov-2006 | Parameterized Points-to Analysis for Java based on Weighted Pushdown Model Checking | Li, Xin; Ogawa, Mizuhito |
| 27-Nov-2006 | A sequent calculus for Limit Computable Mathematics | Berardi, Stefano; Yamagata, Yoriyuki |
| 27-Nov-2006 | Agdaコンパイラ—Agate(アガテ) | 尾崎, 弘幸 |
| 24-Nov-2006 | On domains and domain engineering : prerequisites for trustworthy software, a necessity for believable project management | Bjorner, Dines |
| 24-Nov-2006 | Toward an automatic reusable software using textual entailment | Kotb, Yasser; Katayama, Takuya |
| 20-Nov-2006 | 離島振興におけるエコツーリズム : 島の未来をエコツーリズムは担うのか | 敷田, 麻実 |
| 1-Nov-2006 | OFDM地上波ディジタルテレビ放送信号のFM変調による衛星伝送 | コイルー, アンワル; 原, 孝雄; 岡田, 実; 山本, 平一; ANWAR, Khoirul; HARA, Takao; OKADA, Minoru; YAMAMOTO, Heiichi |
| Nov-2006 | JAIST Forum 2006 ― Knowledge Creation and Social Innovation ― | |
| Nov-2006 | JAISTフォーラム2006 ― 知識創造と社会革新 ― 北陸!地域再生シンポジウム | |
| Nov-2006 | 北陸MOT改革セミナー 2007 「東京と北陸が連携したMOT改革で、北陸企業の未来を創出する」 | |
| 21-Oct-2006 | 文化・技術・経済のマネジメントとしてのコンテンツ政策(科学技術政策と政策論 (2)) | 金, 正勲; 生貝, 直人 |
|