研究課題
基盤研究(C)
近年のネットワーク技術の進歩・普及にともない、パソコンまたは携帯端末といった機器が、日常的なソフトウェアの実行の中でプログラムの転送しそれを実行するという処理が行われる。またこのようなネットワーク上のプログラムの転送は、異種の機器やOS,あるいは異なる言語により実装された機器の間で発生するものであることが多々あり、従来の単一のプログラムやソフトウェアの解析手法では、扱うことが困難なものである。本研究では、プログラムの転送動作のうち、転送と実行を同時進行で行うような機能について、計算モデルを設計し、システムの等価性を定義し、その妥当性を示した。
すべて 2014 2013 2012
すべて 雑誌論文 (1件) (うち査読あり 1件) 学会発表 (8件)
International Journal in Foundations of Computer Science & Technology
巻: vol. 2, no. 4 ページ: 15-27
