SysMLを用いたシステム開発における制約の充足可能性検証

スポンサーリンク

概要

• 論文の詳細を見る
• 2012-02-24

著者

• 福田 哲志

  九州大学大学院システム情報科学府

• 福田 晃

  九州大学大学院システム情報学府・研究院

• 久住 憲嗣

  九州大学システム:LSI研究センター

関連論文

• 無線可視領域通信を支援する相対位置情報を利用した名前解決ミドルウェア(ネットワークミドルウェア・エミュレータ,ネットワークを支えるソフトウェア技術論文)
• 物理ネットワーク負荷に適応したP2Pネットワークトポロジー制御(ネットワーク)
• 無線LAN位置推定における誤差補正手法の一検討(Work in Progress,ワイヤレス環境でのアプリケーション品質,P2P/アドホックネットワーク,画像符号化,ストリーム技術,信頼性,一般)
• 地域情報共有システムwikiLocationにおける誤推定の局所性に着目した測位結果補正手法の提案(モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
• 地域情報共有システムwikiLocationにおける誤推定の局所性に着目した測位結果補正手法の提案(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
• 無線LAN環境における主成分分析を用いたハイブリッド位置推定手法(ユビキタス・モバイル,システム開発論文)
• 無線LAN位置推定システムにおける正準相関分析を用いたデバイス適応手法(ユビキタス・モバイル,システム開発論文)
• B-15-9 地理情報システムのためのキャッシュデータの確率的な無効化を実現する放送型プロトコル(B-15.モバイルマルチメディア通信,一般セッション)
• 地理情報のデータ構造を考慮した放送型キャッシュデータ無効化プロトコル(移動通信ワークショップ)
• ユビキタス環境におけるキャッシュ一貫性管理プロトコル(モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
• ユビキタス環境におけるキャッシュ一貫性管理プロトコル(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
• 一時的なサービス利用を考慮したUI配布型機器連携アーキテクチャの提案(セッション3:慶應義塾大学)
• B-018 MPI-HMMERのグリッド向けスケジューリング(B.ソフトウェア)
• Grid環境における簡易ジョブマネージャの試作と評価
• 相対位置情報を利用した無線可視領域における通信を支援する名前解決ミドルウェアの設計と評価(ホームネットワーク,ユビキタスネットワーク,コンテキストアウェア,eコマース及び一般)
• WiPS : 無線LAN機器を用いた位置測定システム(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
• 無線LANを用いた位置推定システムのためのデバイス正規化手法(位置推定)
• ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン
• 無線伝送路の可逆性を用いた小型携帯端末のための共有情報生成方式の提案(DPS/MBL合同セッション センサネットワーク)
• 無線メッシュネットワーク上の測位システムにおける観測データ集約による通信量削減手法の提案(モバイルコンピューティング、モバイルアプリケーション、ユビキタス通信、モバイルマルチメディア通信及び一般)
• ネットワーク連携コンテキストアウェア日本語入力支援システムの実装(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
• 組込みシステムにおけるリソーススケジューリング設計・検査手法とツール(ソフトウェア工学)
• RASを用いたソフトウェアプロダクトライン開発資産表現
• ネットワークを用いたコンテキストアウェア日本語入力支援システムの提案(モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・User Network Interface,Homeネットワーク,一般)
• ホームネットワークのためのセンサ連携を支援するイベント駆動フレームワーク(ネットワーク,システム開発・ソフトウェア開発論文)
• フィーチャモデル自動描画アルゴリズムの提案と実装
• 相対位置情報を利用した名前解決ミドルウェアのための負荷分散手法の評価(モバイルコンピューティング、モバイルアプリケーション、ユビキタス通信、モバイルマルチメディア通信)
• B-15-10 無線LANを用いた位置推定システムにおける推定結果補正手法の評価(B-15.モバイルマルチメディア通信,一般セッション)
• B-15-1 無線可視領域ネットワークのための端末相互認証手法における視覚情報の効果(B-15.モバイルマルチメディア通信,一般セッション)
• 無線可視領域ネットワークにおける端末相互認証手法の評価(移動通信ワークショップ)
• B-15-9 指向性無線LANの信号強度ピーク値を用いた被写体方向推定手法(B-15.モバイルマルチメディア通信,一般セッション)
• B-15-18 ネットワーク連携コンテキストアウェアIMEの高速化手法(B-15.モバイルマルチメディア通信,一般セッション)
• アドホックネットワークにおけるコンテキストアウェアメッセージ交換システムのキャッシング方式の検討
• B-15-8 赤外線リモコンを用いた直感的な機器選択補助手法の検討(B-15.モバイルマルチメディア通信,一般セッション)
• マルチパスの伝送路特性に基づく共有情報生成方式の認証への応用(学生セッション)
• 無線メッシュネットワークにおける端末位置推定のためのチャネル割当方式の提案(学生セッション)
• Twitter分析に基づく位置依存文字列の抽出
• Twitterにおけるコンテキストと単語の相関関係分析
• Twitterにおけるコンテキストと単語の相関関係分析
• Twitterにおけるコンテキストと単語の相関関係分析
• Twitterにおけるコンテキストと単語の相関関係分析
• 地域情報共有システムwikiLocationにおける誤推定の局所性に着目した測位結果補正手法の提案(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
• ユビキタス環境におけるキャッシュ一貫性管理プロトコル(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
• B-15-25 メッシュネットワーク上での位置推定のための通信量削減手法(B-15.モバイルマルチメディア通信,一般セッション)
• B-15-18 建物の構造を考慮した屋内位置推定手法の一検討(B-15.モバイルマルチメディア通信,一般セッション)
• B-15-11 無線LAN位置推定におけるプローブ要求のフィルタリング手法(B-15.モバイルマルチメディア通信,一般セッション)
• シリコンシーベルト福岡のシステムLSI設計人材育成 : 社会人教育
• 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
• 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
• ドメイン特化型開発における自動化テストプロセスの提案
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
• ドメイン特化型開発における自動化テストプロセスの提案
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
• ドメイン特化型開発における自動化テストプロセスの提案
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
• ドメイン特化型開発における自動化テストプロセスの提案
• セーフティクリティカルシステムのプロダクトラインにおけるNバージョンプログラミングの導入
• フィーチャモデル自動描画アルゴリズムの提案と実装
• 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
• 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
• 無線LANの指向性アンテナを利用した被写体方向推定の検討
• 無線LANの指向性アンテナを利用した被写体方向推定の検討
• ネットワーク連携コンテキストアウェア日本語入力支援システムの実装(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
• 可変構造型並列計算機のキャッシュ・アーキテクチャ : キャッシュ構成およびキャッシュ内コヒーレンス処理
• 可変構造型並列計算機のキャッシュの単体性能評価
• 可変構造型並列計算機におけるキャッシュ・コヒーレンス処理
• 4K-5 行動認識アプリケーション向けドメイン特化型言語の提案(情報爆発時代におけるライフログ・センサー処理,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
• 1B-4 状態遷移表モデル検査ツールGarakabu2の設計と開発(テスト・検証,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
• 無線LANを用いた位置推定システムにおける推定結果補正手法(位置推定)
• WiPS : 無線LAN機器を用いた位置測定システム(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
• ホームネットワーム向けセンサデバイスのためのフレームワーク(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
• ホームネットワーム向けセンサデバイスのためのフレームワーク(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
• ホームネットワークにおいてセンサによる高度なイベント通知を実現するフレームワークの提案
• プログラム特化適用法による速度とコードサイズのトレードオフ評価
• 相対位置情報を利用した名前解決ミドルウェアのための負荷分散手法(ネットワークシステム,一般)
• 無線LAN環境における主成分分析を用いたハイブリッド位置推定手法(ホームネットワーク,ユビキタスネットワーク,コンテキストアウェア,eコマース及び一般)
• MANETにおける通信グレーゾーン問題を考慮した高スループット経路の選択手法の提案と評価
• プロダクトライン開発のためのフィーチャ指向単体テストの一手法
• 可変構造型並列計算機のネットワーク制御
• 可変構造型並列計算機のPE間メッセージ通信機構
• プロダクトライン開発方法論PLUSへのユーザインタフェースモデリングの導入
• 状態遷移表における無効セルの検証方法
• 目的コードサイズ縮小のための短形式命令サブセットの最適構成
• 目的コードサイズ縮小のための短形式命令サブセットの最適構成
• ソフトウエアシミュレーションによるシステムLSI設計・検証ツールの評価
• FPGAによるゲノムシーケンス解析専用プロセッサの設計
• OSによる大容量外部メモリの省電力化の手法
• 異常状態の大域的検出と要求駆動型例外処理に関する一考察
• 異常状態の大域的検出と要求駆動型例外処理に関する一考察
• シミュレータを利用した組み込み向けソフトウェア開発方法論の提案
• 剰余区間演算の誤差削減方法 : (データフロー依存解析への応用)
• 飛行船自動航行システム開発におけるSysMLを用いたプロセス改善事例
• SysMLを用いたシステム開発における制約の充足可能性検証
• SysMLを用いたシステム開発における制約の充足可能性検証
• SysMLを用いたシステム開発における制約の充足可能性検証 (ディペンダブルコンピューティング・組込み技術とネットワークに関するワークショップETNET2012)
• SysMLを用いたシステム開発における制約の充足可能性検証 (コンピュータシステム・組込み技術とネットワークに関するワークショップETNET2012)
• SysMLを用いたシステム開発における制約の充足可能性検証(組込みシステム開発手法,組込み技術とネットワークに関するワークショップETNET2012)
• SysMLを用いたシステム開発における制約の充足可能性検証(組込みシステム開発手法,組込み技術とネットワークに関するワークショップETNET2012)
• SysMLを用いたシステム開発における制約の充足可能性検証

もっと見る 閉じる

スポンサーリンク