Title List of Research Report (School of Information Science)

JAIST Research Report (School of Information Science) published in 2006; listed in chronological order.
Full article is stored in the shelves near the Doctoral Dissertations in the 3rd floor.

Research Report (School of Information Science) 2006 : ISSN 0918-7553

Publication # IS-RR-2006-001
Title An SNMP based failure detection service
Author(s) Wiesmann, Matthias/Urban, Peter/Defago, Xavier
Date Published 20060201
Pages 1-24

Publication # IS-RR-2006-002
Title UML図面群の変更波及解析に利用可能な依存関係の自動生成法
Author(s) 小谷,正行/落水,浩一郎
Date Published 20060207
Pages 1-20

Publication # IS-RR-2006-003
Title Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots
Author(s) Yared, Rami/Cartigny, Julien/Defago, Xavier/Wiesmann, Matthias
Date Published 20060213
Pages 1-11

Publication # IS-RR-2006-004
Title Concurrency in Microprotocol Frameworks
Author(s) Urban, Peter/Mena, Sergio/Defago, Xavier/Katayama,Takuya
Date Published 20060228
Pages 1-13

Publication # IS-RR-2006-005
Title VoIP over wireless LAN survey
Author(s) Beuran, Razvan
Date Published 20060420
Pages 1-40

Publication # IS-RR-2006-006
Title A discrete Nash Theorem with low complexity and dynamic equilibria
Author(s) Roux, Stephane Le/Lescanne, Pierre /Vestergaard, Rene
Date Published 20060531
Pages 1-10

Publication # IS-RR-2006-007
Title Rewriting game theory applied to protein signalling in MAPK cascades
Author(s) Senachak, Jittisak/Vestergaard, Mun'delanji/Vestergaard, Rene
Date Published 20060531
Pages 1-15

Publication # IS-RR-2006-008
Title Rewriting game theory as a foundation for sate-based models of gene regulation
Author(s) Chettaoui, Chafika/Delaplace, Franck/Lescanne, Pierre/Vestergaard, Mun'delanji /Vestergaard, Rene
Date Published 20060531
Pages 1-13

Publication # IS-RR-2006-009
Title The inductive and modal proof theory of Aumann's theorem on rationality
Author(s) Vestergaard, Rene /Lescanne, Pierre/Ono, Hiroakira
Date Published 20060707
Pages 1-17

Publication # IS-RR-2006-010
Title Normalization by stack-based evaluation
Author(s) Vestergaard, Rene
Date Published 20060707
Pages 1-36

Publication # IS-RR-2006-011
Title Structural preservation and reflection of diagrams
Author(s) Norrish, Michael/Vestergaard, Rene
Date Published 20060707
Pages 1-12

Publication # IS-RR-2006-012
Title KCLP-HS : a rapid prototyping tool for implementing algorithms on hybrid systems
Author(s) Hiraishi, Kunihiro
Date Published 20060808
Pages 1-36

Publication # IS-RR-2006-013
Title Using text semantic similarity approach to check the consistency of UML
Author(s) Kotb, Yasser/Katayama, Takuya
Date Published 20060907
Pages 1-11

Publication # IS-RR-2006-014
Title Gathering asychronous mobile robots with inaccurate compasses
Author(s) Souissi, Samia/Defago, Xavier/Yamashita, Masafumi
Date Published 20060911
Pages 1-20

Publication # IS-RR-2006-015
Title Wireless LAN emulation
Author(s) Beuran, Razvan/Nguyen, Lan Tien/Latt, Khin Thida/Nakata, Junya/Shinoda, Yoichi
Date Published 20061006
Pages 1-49

Publication # IS-RR-2006-016
Title Toward an automatic reusable software using textual entailment
Author(s) Kotb, Yasser/Katayama, Takuya
Date Published 20061124
Pages 1-10

Publication # IS-RR-2006-017
Title Anonymous stabilizing leader election using a network sequencer
Author(s) Wiesmann, Matthias/Defago, Xavier
Date Published 20061128
Pages 1-8

Publication # IS-RR-2006-018
Title A control method combining EP-map and λ model for a 3D physiological articulatory simulator
Author(s) Fujita, Satoru
Date Published 20061227
Pages 1-10