本位田 真一


違反状態抽象化による保証可能な安全性特定のための分析空間削減
相澤 和也 鄭 顕志 本位田 真一 
誌名:   
発行日: 2020/04/01
Vol. J103-D  No. 4  pp. 238-246
論文種別:  特集論文 (学生論文特集)
専門分野: ディペンダブルコンピューティング
キーワード: 
自己適応システム離散制御器合成モデル検査安全性保証
 あらまし | 本文:PDF(1.1MB)

無線センサネットワークにおけるデータ品質改善の為の開発プロセス
清水 遼 鄭 顕志 深澤 良彰 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2014/03/01
Vol. J97-D  No. 3  pp. 473-487
論文種別:  特集論文 (学生論文特集)
専門分野: 情報ネットワーク
キーワード: 
無線センサネットワークモデル駆動開発開発プロセスプロトタイピング
 あらまし | 本文:PDF(1.4MB)

Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出
姜 帆 田辺 良則 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2014/03/01
Vol. J97-D  No. 3  pp. 625-634
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
形式手法MapReduce定理証明手続き型言語
 あらまし | 本文:PDF(1.6MB)

無線センサネットワークにおける対象追跡の分解能を調整可能なセンサモデル
鄭 顕志 中里 彦俊 深澤 良彰 本位田 真一 
誌名:   電子情報通信学会論文誌 B
発行日: 2011/10/01
Vol. J94-B  No. 10  pp. 1351-1362
論文種別:  特集論文 (スマートな社会を支えるインターネットアーキテクチャ論文特集)
専門分野: 
キーワード: 
無線センサネットワーク対象追跡センサモデル
 あらまし | 本文:PDF(2.7MB)

マルチエージェントシステムにおけるメタデータを用いた 協調プロトコル合成手法
橋 竜一 鄭 顕志 石川 冬樹 本位田 真一 深澤 良彰 
誌名:   電子情報通信学会論文誌 D
発行日: 2009/11/01
Vol. J92-D  No. 11  pp. 1827-1839
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: モデル/理論
キーワード: 
マルチエージェントシステム相互作用協調プロトコル協調プロトコル合成
 あらまし | 本文:PDF(1.3MB)

多数のノード取得攻撃に対応した無線センサネットワークにおける複製ノードの分散検知
清 雄一 本位田 真一 
誌名:   電子情報通信学会論文誌 B
発行日: 2009/04/01
Vol. J92-B  No. 4  pp. 689-699
論文種別:  特集論文 (ネットワークを支えるソフトウェア技術論文特集)
専門分野: センサネットワーク・P2Pネットワーク
キーワード: 
セキュリティアルゴリズムセンサネットワークノード不正取得攻撃ノード複製攻撃
 あらまし | 本文:PDF(488.5KB)

多数のノード取得攻撃に対応した無線センサネットワークにおける不正イベントの検知
清 雄一 本位田 真一 
誌名:   電子情報通信学会論文誌 B
発行日: 2009/04/01
Vol. J92-B  No. 4  pp. 678-688
論文種別:  特集論文 (ネットワークを支えるソフトウェア技術論文特集)
専門分野: センサネットワーク・P2Pネットワーク
キーワード: 
セキュリティアルゴリズムセンサネットワークノード不正取得攻撃不正イベント検知
 あらまし | 本文:PDF(1.2MB)

variable-size DBFによる分散ハッシュテーブルのトラヒック量削減
清 雄一 松崎 和賢 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/09/01
Vol. J90-D  No. 9  pp. 2378-2387
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: モバイル/ユビキタス/P2P
キーワード: 
分散ハッシュテーブルBloom filterデータ構造false positive rate
 あらまし | 本文:PDF(816.8KB)

要求の重要度を用いたマルチエージェントシステムの分析モデル検証
中川 博之 吉岡 信和 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/09/01
Vol. J90-D  No. 9  pp. 2281-2292
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: モデル/理論
キーワード: 
マルチエージェントシステムソフトウェアメトリクスシステム分析ゴール指向要求分析
 あらまし | 本文:PDF(678.1KB)

Event Calculusに基づく合意を用いたモバイルエージェントの協調
石川 冬樹 吉岡 信和 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/09/01
Vol. J90-D  No. 9  pp. 2349-2364
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: モバイル/ユビキタス/P2P
キーワード: 
モバイルエージェント合意協調形式的仕様記述Event Calculus
 あらまし | 本文:PDF(394.1KB)

知的移動エージェントによる低消費電力なワイヤレスセンサネットワークアプリケーションの構築
長 健太 大須賀 昭彦 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/09/01
Vol. J90-D  No. 9  pp. 2365-2377
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: モバイル/ユビキタス/P2P
キーワード: 
ワイヤレスセンサネットワーク知的移動エージェントpicoPlangent低消費電力
 あらまし | 本文:PDF(378.6KB)

MANETにおける省資源性を考慮した位置依存情報収集手法
鄭 顕志 深澤 良彰 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/12/01
Vol. J89-D  No. 12  pp. 2625-2636
論文種別:  論文
専門分野: ネットワーク
キーワード: 
モバイルアドホックネットワーク位置依存情報収集省電力性
 あらまし | 本文:PDF(715.8KB)

階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用
石川 冬樹 吉岡 信和 田原 康之 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/09/01
Vol. J88-D1  No. 9  pp. 1402-1417
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: ネットワーク/モバイル/ユビキタス
キーワード: 
階層型モバイルエージェントエージェントフレームワーク合意サービス指向アーキテクチャマルチメディア応用
 あらまし | 本文:PDF(351.9KB)

モバイルエージェントによるバッテリ切れ避難システム:EASTER
粂野 文洋 金子 平祐 吉岡 信和 深澤 良彰 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/09/01
Vol. J88-D1  No. 9  pp. 1388-1401
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: ネットワーク/モバイル/ユビキタス
キーワード: 
モバイルエージェントユビキタスコンピューティングバッテリ切れ自律的適応
 あらまし | 本文:PDF(834.6KB)

フェロモンモデル:交通渋滞予測への適用
安藤 靖志 深澤 良彰 増谷 修 佐々木 宏 岩崎 弘利 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/09/01
Vol. J88-D1  No. 9  pp. 1287-1298
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: モデル/理論
キーワード: 
フェロモン道路交通システム渋滞予測交通シミュレーション
 あらまし | 本文:PDF(467.1KB)

インタラクション記述言語IOM/T
土肥 拓生 吉岡 信和 田原 康之 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/09/01
Vol. J88-D1  No. 9  pp. 1299-1311
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: モデル/理論
キーワード: 
マルチエージェントシステムインタラクションプログラミング言語
 あらまし | 本文:PDF(460.4KB)

パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム
石川 冬樹 吉岡 信和 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2004/07/01
Vol. J87-D1  No. 7  pp. 782-795
論文種別:  論文
専門分野: 分散協調とエージェント
キーワード: 
モバイルエージェントWebサービス連携WSFL移動制御
 あらまし | 本文:PDF(599.4KB)

ユビキタス環境におけるContext-Awareなパーソナルエージェントの構築とその実証実験
服部 正典 長 健太 大須賀 昭彦 一色 正男 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2003/08/01
Vol. J86-D1  No. 8  pp. 543-552
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: ネットワーク/モバイル/ユビキタス
キーワード: 
状況依存処理ユビキタスコンピューティングパーソナルエージェントモバイルエージェント
 あらまし | 本文:PDF(1.5MB)

モバイルエージェントアプリケーションのための仕様記述言語Pigeon
田原 康之 大須賀 昭彦 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2003/08/01
Vol. J86-D1  No. 8  pp. 532-542
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: ネットワーク/モバイル/ユビキタス
キーワード: 
モバイルエージェント仕様記述言語リフレクションセキュリティ
 あらまし | 本文:PDF(289.8KB)

モバイルアプリケーションのためのエージェントプラットホームMolFie
粂野 文洋 本位田 真一 
誌名:   電子情報通信学会論文誌 B
発行日: 2003/03/01
Vol. J86-B  No. 3  pp. 362-375
論文種別:  特集論文 (次世代ネットワークソフトウェア論文特集)
専門分野: ソフトウェアアーキテクチャ
キーワード: 
移動エージェント位置情報モバイルアプリケーションソフトウェアモデルエージェント記述言語
 あらまし | 本文:PDF(1MB)

アドホックネットワークにおけるエージェント間共同作業のための認証機構
岡宅 泰邦 吉岡 信和 本位田 真一 
誌名:   電子情報通信学会論文誌 B
発行日: 2003/03/01
Vol. J86-B  No. 3  pp. 419-427
論文種別:  特集論文 (次世代ネットワークソフトウェア論文特集)
専門分野: ネットワーク管理
キーワード: 
認証アドホックネットワークセキュリティエージェント
 あらまし | 本文:PDF(667.2KB)

組込み機器向け知的移動エージェント μPlangentを用いた電力系統巡視システム
長 健太 入江 豊 大須賀 昭彦 関口 勝彦 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/05/01
Vol. J85-D1  No. 5  pp. 465-475
論文種別:  論文
専門分野: 分散協調とエージェント
キーワード: 
知的移動エージェント組込み機器μPlangent巡視エージェント電力系統
 あらまし | 本文:PDF(621.7KB)

コンポーネントベースフレームワーク開発手法におけるコンポーネントの形式的仕様記述
吉田 和樹 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/02/01
Vol. J85-D1  No. 2  pp. 210-227
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
コンポーネントアプリケーションフレームワーク形式的仕様記述代数的仕様記述
 あらまし | 本文:PDF(1.6MB)

開放型分散環境におけるプランニングモバイルエージェントアーキテクチャの提案
服部 正典 大須賀 昭彦 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/08/01
Vol. J84-D1  No. 8  pp. 1169-1180
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: プラットホーム/ツール
キーワード: 
エージェントプランニングモバイル環境モデルメタレベルコントロール
 あらまし | 本文:PDF(662.1KB)

Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用 を目的としたマルチエージェントフレームワーク
川村 隆浩 田原 康之 長谷川 哲夫 大須賀 昭彦 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/09/25
Vol. J82-D1  No. 9  pp. 1165-1180
論文種別:  論文
専門分野: 分散協調とエージェント
キーワード: 
分散システム調整通信モバイルエージェント
 あらまし | 本文:PDF(1.3MB)

等式論理の帰納的定理を証明する手続き
大須賀 昭彦 坂井 公 本位田 真一 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/03/25
Vol. J76-D1  No. 3  pp. 130-138
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
帰納的定理証明等式論理項書換え系証明順序法
 あらまし | 本文:PDF(687.5KB)