"Matrix-Based Discrete-Event System Controller" を拡張するためのETSCから時間ペトリネットへの変換手法とその統一的支援システム
スポンサーリンク
概要
- 論文の詳細を見る
- 2013-08-30
著者
-
片山 徹郎
宮崎大学工学部情報システム工学科
-
岡崎 直宣
宮崎大学工学部
-
冨田 重幸
宮崎大学工学部
-
富田 重幸
宮崎大学工学部情報工学科
-
高塚 佳代子
宮崎大学工学部
-
山場 久昭
宮崎大学工学部 情報システム工学科
関連論文
- プログラム自動可視化ツールAvisにおける実行パスの3次元表示手法の提案
- LinuxのUSBデバイスドライバの抽象化に関する考察(OS-1:OS構成法)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- SpecCを用いたUSBデバイスのデバイスドライバとファームウェアの協調設計
- USBデバイスのソフトウェアを対象としたSpecCによる協調設計
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- Javaを対象としたテスト駆動開発における初回テストパス自動化支援ツールの試作
- MDAにおけるPIM作成支援を目的としたUMLダイアグラム洗練手法の提案
- 中継サーバを設けたセキュアな遠隔支援システムの開発と展開(ネットワーク・インターネット基礎,産学連携論文)
- 光波長多重リングネットワークにおけるトークンを用いた光パス設定方式の提案
- センサネットワークにおけるホップベースルーティング手法の精度に関する検討(セッション2:アドホックネットワーク)
- 光波長多重ネットワークにおけるリング管理トークンを用いた光パス設定方式の一検討
- RM-004 センサネットワークにおけるHop-Vectorに基づくノード位置推定手法の検討(ユビキタス・モバイルコンピューティング,査読付き論文)
- センサネットワークにおけるホップ数に基づくルーティング方式の提案
- データセントリックセンサネットワークにおけるルーティング方式の検討(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- センサネットワークにおける位置情報を用いないルーティング方式の検討(セッション6:アドホックネットワーク・センサーネットワーク)
- プログラム自動可視化ツールAvisを利用した結合テスト実施のための実行経路抽出手法の提案
- 組込みソフトウェア開発支援のための命令セットシミュレータ(ISS) 作成手法の提案
- 初心者ユーザ遠隔支援システムにおけるユーザ管理手法に関する検討
- センサネットワークにおける位置情報を用いないルーティング方式の検討(セッション6:アドホックネットワーク・センサーネットワーク)
- アドホックネットワークにおける階層型複数経路構築手法の評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- アドホックネットワークにおける階層型複数経路構築手法の評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- イントラネット閉域通信グループの構築に適した安全な鍵配送方式とその運用管理方式
- サイトの移動判定によるフィッシングサイト検知手法の提案
- RL-002 サイトの移動判定によるフィッシングサイト検知手法の検討(ネットワーク・セキュリティ,査読付き論文)
- クラスタ型NUMAマルチプロセッサにおけるメモリ協調スケジューリング方式
- メモリ管理を考慮したNUMAマルチプロセッサにおける2レベルスケジューリングの評価
- 3Z-9 アドホックネットワークにおけるゾーンを用いた複数経路構築手法の評価(アドホックネットワーク(1),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- コネクションベース方式による踏み台攻撃検出手法の提案(ネットワークセキュリティ,シームレスコンピューティングとその応用技術)
- NATやファイアウォールと共存できる暗号通信方式PCCOMの提案と実装(ネットワークセキュリティ)
- 3Z-8 アドホックネットワークにおける近隣端末数に基づく経路構築手法の検討(アドホックネットワーク(1),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 3Z-7 クラスタの再構築を利用したクラスタヘッドの循環手法の検討(アドホックネットワーク(1),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 動的マーキングを用いた効率的なネットワーク攻撃追跡手法の提案
- マルチリングネットワークにおける効率的な光パス設定方式に関する検討(フォトニックネットワーク/制御,光制御(波長変換・スイッチング等),光波/量子通信,GMPLS,一般)
- データセントリックセンサネットワークにおけるルーティング方式の検討(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- ワイヤレスネットワークシステムにおけるシームレスユーザ認証方法に関する考察(セキュア・ワイヤレスネットワーク,マルチメディア,分散,協調とモバイル(DICOMO2005))
- アドホックネットワークにおける階層型複数経路構築手法の検討
- ダイナミックグループ暗号信号のための鍵更新システムの提案と評価(情報セキュリティ応用)
- サービス不能攻撃の経路追跡手法の効率化に関する検討(ネットワークセキュリティ)
- 高度INに基づいたマルチメディアサービス制御方式
- 4S-8 通信グループ分散管理手法の一検討
- セキュアマルチキャスト鍵配布方式に関する検討
- ネットワークアドレス変換を用いたIP移動透過性の検討
- 1B-4 状態遷移表モデル検査ツールGarakabu2の設計と開発(テスト・検証,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- プログラミング教育支援のためのプログラム自動可視化ツール Avis における実行パス表示手法の改良
- ライントレースカーの動作を反映するシミュレータの試作
- 5.並列プログラムのテスト(ソフトウェアテストの最新動向)
- シーケンス図を利用した組込みシステム開発のためのテストケース生成手法の提案について
- シーケンス図を用いた実行履歴の可視化によるJavaプログラムの理解支援に関する考察
- Javaプログラム自動可視化ツールAvisにおける大規模プログラム適用のための拡張
- シーケンス図を用いた実行履歴の可視化による Java プログラムの理解支援に関する考察
- JavaCCを利用したJavaプログラムの実行履歴表示について
- UMLからJavaソースコードへの変換規則の抽出と変換ツールの試作
- Javaプログラム自動可視化ツールAvisにおけるクラス構造可視化のための拡張
- Javaプログラムを対象としたオブジェクト間の呼び出し関係情報を含んだコントロールフローグラフの生成について
- JavaParserを利用したプログラム可視化のための静的解析部の作成
- プログラミング支援のためのUMLからJavaソースコードへの変換規則の抽出
- 初心者を対象としたJavaプログラム自動可視化ツールの実現に向けて
- センサネットワークにおける回帰分析を用いたノード位置推定手法の提案(ネットワーク,通信技術の未来を拓く学生論文)
- アドホックネットワークにおける階層型複数経路構築手法の提案と評価
- 地域通貨を用いたコミュニティ活性化支援システムの試作
- モバイルアドホックネットワーク上の Peer to Peer システムにおける情報検索手法の一検討
- アドホックネットワークにおける階層型複数経路構築手法の提案(セッション3)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- アドホックネットワークにおける階層型複数経路構築手法の提案(セッション3)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- ゾーンに基づく複数経路構築手法の評価 (アドホックネットワーク)
- 隣接端末数に基づく経路構築手法の提案 (アドホックネットワーク)
- データセントリックセンサネットワークにおける地理的位置情報を必要としないルーティング方式の提案と評価
- リモートアクセスによる初心者ユーザ支援の安全に関する検討
- トラフィック監視を用いたネットワーク攻撃の追跡手法の提案と評価
- 分散型ネットワークサービス不能攻撃の追跡手法の評価に関する検討
- 動的マーキングを用いた効率的なネットワーク攻撃追跡手法の提案
- 2000-OS-85-15 組み込み向けOSにおけるデバイスドライバの自動生成について
- UNIX系OSにおけるデバイスドライバの抽象化と生成システムの実現(特集:システムソフトウエアの新しい潮流)
- 電車模型制御用ソフトウエアシステムの設計
- 電車模型制御用ソフトウエアシステムの設計
- 組込システム向け実行環境の自動生成 : δプロジェクトの構想
- OS間の差異を吸収するデバイスドライバ自動生成システムの設計
- 階層型ネットワークアドレス変換を用いたIP移動透過性の実現手法における安全な通信方式の検討
- 階層型ネットワークアドレス変換を用いたIP移動透過性の検討
- A New Light-Path Setup Scheme for Dynamic Traffic in Ring-based Optical Networks
- アドホックネットワークにおけるゾーンを用いた複数経路構築手法の提案
- 隣接端末数に基づく経路構築手法の提案
- 隣接端末数に基づく経路構築手法の提案
- ゾーンに基づく複数経路構築手法の評価
- OSの自動生成に向けて
- UMLの複数のダイアグラムを用いたJavaプログラムのテスト手法に関する一考察
- デバイスドライバ生成システムにおける入力形式に関する考察
- デバイスドライバの生成支援に関する考察
- 組み込みシステムにおける機器制御ライブラリの生成支援
- 移動計算機のためのWWW情報発信システムの構築 : 高負荷時における複製の利用
- デバイスドライバの自動生成に向けて : プリンタデバイスの生成に関する考察
- デバイスドライバの自動生成に向けて : デバイスドライバの定式化
- デバイスドライバの自動生成に向けて : デバイスドライバの定式化
- LinuxのUSBデバイスドライバのコード分割による抽象化に関する研究
- UMLのクラス図とJavaプログラムとの関係抽出について
- Javaを対象としたプログラムの基本制御構造を受理する構文解析器の作成
- Javaプログラム読解支援のためのプログラム自動可視化ツールAvisの実装と評価(ソフトウェアシステム)
- シミュレータ作成の手間を削減可能な二部構成シミュレータ設計手法の提案
- Javaプログラムを対象とした単体テスト自動実行および可視化ツール"Jvis"の開発
- Java プログラム読解支援のためのプログラム自動可視化ツール Avis の実装と評価
- "Matrix-Based Discrete-Event System Controller" を拡張するためのETSCから時間ペトリネットへの変換手法とその統一的支援システム