D-3-5 NuSMVを用いたRBACモデルの検証(D-3.ソフトウェアサイエンス,一般セッション)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人電子情報通信学会の論文
- 2012-03-06
著者
-
小林 秀幸
静岡大学創造科学技術大学院
-
高橋 薫
東北大
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
高橋 薫
仙台高等専門学校
-
阿部 雄貴
仙台高等専門学校
-
小林 秀幸
仙台高等専門学校
-
鈴木 大輝
仙台高等専門学校
関連論文
- IEEE 802.15.4を用いた周波数分割多重型マルチホップネットワークによる画像転送
- ZigBee を用いた搬送車用電力線通信
- 睾丸腫瘍及び膀胱癌の腫瘍組織内リンパ球 Subpopulation
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 先天性水腎症における尿輸送能の定量的評価法の研究
- 両側異時発生セミノーマの3例 : 第188回東北地方会
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- オントロジを利用した健康支援システムの設計と実装
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- F_008 Bluetooth通信を用いた生体情報監視システムの構築(F分野:人工知能・ゲーム)
- 健康に関する領域オントロジと健康アドバイス導出ルールの構築(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する : 特に今回はセマンティックWEBの活用にフォーカスする)
- 状態遅延と入力遅延を導入したオートマトンによるディジタル論理とPLCの仕様化
- オントロジーに基づいた暗号学習用のe-Learningシステム(e-Learning教育システムの成果と目指すべきもの/一般)
- オートマトンモデルに基づいたディジタルロジックの仕様化と検証
- 状態マシンモデルに基づいたセキュリテイプロトコルの仕様化
- エージェントによるファイル交換システム
- エージェントによるアプリケーション共有
- 種々の手法によるディジタルロジックの仕様記述とそれらの比較
- 複数グループ間におけるスケジュール調整支援システムの開発
- オブジェクト指向を導入した状態マシン記述
- 比較的まれな副腎腫瘍の5例(偽嚢腫,リンパ管腫性嚢腫,骨髄脂肪腫,脂肪腫,神経鞘腫)(第197回東北地方会)
- 上部尿路の低流量Pressure-Flow Study : 第74回日本泌尿器科学会総会
- 経口剤による尿酸結石溶解症例について : 第194回東北地方会
- モノクローナル抗体,レクチンを用いた膀胱腫瘍の研究
- B-7-106 Zigbeeによる通学路支援システムの基礎検討(B-7.情報ネットワーク,一般講演)
- DS-UWBを使用したRFID複数認識手法の有効性
- A-17-13 ZigBeeによる交通渋滞距離推定システムの基礎検討(A-17.ITS,一般講演)
- 形式的手法によるWebアプリケーションのモデル化と検証
- IEEE 802.15.4を用いた周波数分割多重型マルチホップネットワークによる画像転送
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 傍膀胱肉腫の1例 : 第185回東北地方会
- LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : プロセス部 : INTAP研究開発委員会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
- 相互接続試験系列生成システム : TESGEN
- 2Z-4 プライバシーを考慮した個人・組織情報検索システム(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- F-036 OWLによる個人・組織情報のモデル化とプライバシーの取扱い(人工知能・ゲーム,一般論文)
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- 胎便性腹膜炎に合併した陰嚢壊死の1例 : 第186回東北地方会
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- B-8-24 グループ単位の待ち時間分割制御によるIEEE802.15.4の高速化(B-8.通信方式,一般セッション)
- 2ZD-9 獣害検知システムへの知的環境ネットワーク利用の検討(位置・コンテキスト推定(2),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 5Z-7 ISM帯を使用する無線規格間における電波干渉時の通信品質保証(無線通信方式とアクセス制御,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- Prune-Belly症候群の4例 : 第195回東北地方会
- 尿道弁の6例 : 第187回東北地方会
- 尿路腫瘍の腫瘍マーカーの検討 : 特にTPAについて : 第188回東北地方会
- 命題論理に基づく要求仕様の詳細化とその支援
- 携帯電話向けWWWページ作成の実習授業への導入
- (71)Webページ作成による教育事例 : 携帯電話向けWebページの作成(マルチメディア(I),第17セッション)
- 経腹的後腹膜リンパ節吸引生検法 : 第48回東部連合総会
- ピアエンティティ生成に基づくプロトコル合成法
- 通信システムのサービス仕様の変更に基づくプロトコル仕様の自動変更法とその応用
- コミュニケーションプロトコルの適応性を考慮したやわらかい合成支援環境の構築
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- 通信プロトコルのやわらかい合成法
- 要求と形式仕様のやわらかい設計支援システム
- 形式仕様の開発における機能要求への反映
- プロセス仕様の検証のための模倣性判定法
- シミュレーション関係に基づくLOTOS仕様の検証アルゴリズム
- SDLからLOTOSへの変換
- LOTOSによる交換サービス仕様の記述
- GLOER : G-LOTOSエディタの試作
- LOTOSによる交換ソフトウェア仕様検証について
- SDL仕様のLOTOSによる解釈
- 通信ソフトウェア設計支援環境 : ITECS(2) : 仕様作成支援
- 通信ソフトウェア設計支援環境 : ITECS(1) : 全体構成
- LOTOSの図式支援環境について
- RSSIを用いたグループ単位の待ち時間分割制御を伴なうCSMA/CAによるIEEE802.15.4の拡張
- B-5-147 グループ分割単位の待ち時間とACK待ち時間の最適化によるIEEE802.15.4の干渉低減(B-5.無線通信システムB(無線アクセスネットワーク),一般セッション)
- 自学型習熟度別プログラミング教育について
- B-5-143 パケットの到達の確実性を向上させた害獣検知システム用通信手法(B-5.無線通信システムB(無線アクセスネットワーク),一般セッション)
- 通信システム仕様の合成支援環境の設計と実現
- 通信ソフトウェア設計支援環境 : ITECS(4) : 試験仕様生成支援
- 通信ソフトウェア設計支援環境 : ITECS(3) : 仕様検証支援
- LOTOS検証システムMetisII
- ASN.1データ定義支援環境の構成
- 命題論理に基づいた並行システムの階層的仕様記述
- D-3-5 NuSMVを用いたRBACモデルの検証(D-3.ソフトウェアサイエンス,一般セッション)
- 命題論理に基づいた並行システムの制約付き仕様記述
- RSSIを用いたグループ単位の待ち時間分割制御を伴なうCSMA/CAによるIEEE802.15.4の拡張
- ユーザコンテキストに基づいた個人・組織情報へのアクセス制御 (インターネットアーキテクチャ)
- 命題理論に基づいた並行システムの仕様記述
- 命題論理に基づいた並行システムの仕様記述
- 命題論理に基づいた並列システムの仕様記述(並列・分散)
- 規格間干渉の可視化ツールの開発
- B-016 ロールオントロジーに基づいた個人・組織情報への動的なアクセス制御(開発支援・プロジェクト管理,B分野:ソフトウェア)
- B-005 モデル検査ツールNuSMVを用いたオントロジー検証(テスト・検証,B分野:ソフトウェア)
- B-023 RBACモデルの形式検証(電子文書・ソフトウェア科学,B分野:ソフトウェア)
- D-3-2 RBACモデルの検証支援ツール(D-3, ソフトウェアサイエンス)