リサーチレポート（情報科学研究科）タイトル一覧
2006年に発行した本学情報科学研究科のリサーチレポートを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。
リサーチレポート - 情報科学研究科 2006 ： ISSN 0918-7553
| 発行番号 |
IS-RR-2006-001 |
| 論文タイトル |
An SNMP based failure detection service |
| 著者 |
Wiesmann, Matthias/Urban, Peter/Defago, Xavier |
| 発行年月日 |
20060201 |
| ページ |
Page: 1-24 |
| 発行番号 |
IS-RR-2006-002 |
| 論文タイトル |
UML図面群の変更波及解析に利用可能な依存関係の自動生成法 |
| 著者 |
小谷，正行/落水，浩一郎 |
| 発行年月日 |
20060207 |
| ページ |
Page: 1-20 |
| 発行番号 |
IS-RR-2006-003 |
| 論文タイトル |
Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots |
| 著者 |
Yared, Rami/Cartigny, Julien/Defago, Xavier/Wiesmann, Matthias |
| 発行年月日 |
20060213 |
| ページ |
Page: 1-11 |
| 発行番号 |
IS-RR-2006-004 |
| 論文タイトル |
Concurrency in Microprotocol Frameworks |
| 著者 |
Urban, Peter/Mena, Sergio/Defago, Xavier/Katayama,Takuya |
| 発行年月日 |
20060228 |
| ページ |
Page: 1-13 |
| 発行番号 |
IS-RR-2006-005 |
| 論文タイトル |
VoIP over wireless LAN survey |
| 著者 |
Beuran, Razvan |
| 発行年月日 |
20060420 |
| ページ |
Page: 1-40 |
| 発行番号 |
IS-RR-2006-006 |
| 論文タイトル |
A discrete Nash Theorem with low complexity and dynamic equilibria |
| 著者 |
Roux, Stephane Le/Lescanne, Pierre /Vestergaard, Rene |
| 発行年月日 |
20060531 |
| ページ |
Page: 1-10 |
| 発行番号 |
IS-RR-2006-007 |
| 論文タイトル |
Rewriting game theory applied to protein signalling in MAPK cascades |
| 著者 |
Senachak, Jittisak/Vestergaard, Mun'delanji/Vestergaard, Rene |
| 発行年月日 |
20060531 |
| ページ |
Page: 1-15 |
| 発行番号 |
IS-RR-2006-008 |
| 論文タイトル |
Rewriting game theory as a foundation for sate-based models of gene regulation |
| 著者 |
Chettaoui, Chafika/Delaplace, Franck/Lescanne, Pierre/Vestergaard, Mun'delanji /Vestergaard, Rene |
| 発行年月日 |
20060531 |
| ページ |
Page: 1-13 |
| 発行番号 |
IS-RR-2006-009 |
| 論文タイトル |
The inductive and modal proof theory of Aumann's theorem on rationality |
| 著者 |
Vestergaard, Rene /Lescanne, Pierre/Ono, Hiroakira |
| 発行年月日 |
20060707 |
| ページ |
Page: 1-17 |
| 発行番号 |
IS-RR-2006-010 |
| 論文タイトル |
Normalization by stack-based evaluation |
| 著者 |
Vestergaard, Rene |
| 発行年月日 |
20060707 |
| ページ |
Page: 1-36 |
| 発行番号 |
IS-RR-2006-011 |
| 論文タイトル |
Structural preservation and reflection of diagrams |
| 著者 |
Norrish, Michael/Vestergaard, Rene |
| 発行年月日 |
20060707 |
| ページ |
Page: 1-12 |
| 発行番号 |
IS-RR-2006-012 |
| 論文タイトル |
KCLP-HS : a rapid prototyping tool for implementing algorithms on hybrid systems |
| 著者 |
Hiraishi, Kunihiro |
| 発行年月日 |
20060808 |
| ページ |
Page: 1-36 |
| 発行番号 |
IS-RR-2006-013 |
| 論文タイトル |
Using text semantic similarity approach to check the consistency of UML |
| 著者 |
Kotb, Yasser/Katayama, Takuya |
| 発行年月日 |
20060907 |
| ページ |
Page: 1-11 |
| 発行番号 |
IS-RR-2006-014 |
| 論文タイトル |
Gathering asychronous mobile robots with inaccurate compasses |
| 著者 |
Souissi, Samia/Defago, Xavier/Yamashita, Masafumi |
| 発行年月日 |
20060911 |
| ページ |
Page: 1-20 |
| 発行番号 |
IS-RR-2006-015 |
| 論文タイトル |
Wireless LAN emulation |
| 著者 |
Beuran, Razvan/Nguyen, Lan Tien/Latt, Khin Thida/Nakata, Junya/Shinoda, Yoichi |
| 発行年月日 |
20061006 |
| ページ |
Page: 1-49 |
| 発行番号 |
IS-RR-2006-016 |
| 論文タイトル |
Toward an automatic reusable software using textual entailment |
| 著者 |
Kotb, Yasser/Katayama, Takuya |
| 発行年月日 |
20061124 |
| ページ |
Page: 1-10 |
| 発行番号 |
IS-RR-2006-017 |
| 論文タイトル |
Anonymous stabilizing leader election using a network sequencer |
| 著者 |
Wiesmann, Matthias/Defago, Xavier |
| 発行年月日 |
20061128 |
| ページ |
Page: 1-8 |
| 発行番号 |
IS-RR-2006-018 |
| 論文タイトル |
A control method combining EP-map and λ model for a 3D physiological articulatory simulator |
| 著者 |
Fujita, Satoru |
| 発行年月日 |
20061227 |
| ページ |
Page: 1-10 |