| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2013-01-22 14:50 |
大阪 | 大阪国際会議場 | 自由選択ワークフローネットにおける非安全マーキングへの可達性解析 ○村上雄基・豊嶋伊知郎・山口真悟（山口大）  MSS2012-49 |
ワークフローネットにおいて非安全なマーキングに必ず可達なマーキングは, そのワークフローインスタンスが正常に終了できない... [more] | MSS2012-49 pp.23-26 |
| EMM, ISEC, SITE, ICSS (共催) IPSJ-CSEC, IPSJ-SPT (併催) (連催) [詳細] |
2012-07-19 15:25 |
北海道 | 北海道工業大学 | 顔画像に対するプライバシー保護処理の有効性の定量的評価 中島悠太（奈良先端大）・池野知顕・○馬場口 登（阪大） ISEC2012-17 SITE2012-13 ICSS2012-19 EMM2012-9 |
画像や映像には人物の顔などのプライバシーセンシティブな情報（Privacy Sensitive Information:... [more] | ISEC2012-17 SITE2012-13 ICSS2012-19 EMM2012-9 pp.59-66 |
| COMP | 2011-12-16 11:15 |
愛知 | 名古屋大学 | 木，カクタスにおける点被覆の遷移可能性 ○野岡弘幸・伊藤健洋・周 暁（東北大） COMP2011-39 |
本文では，グラフ$G$の点被覆が2つ与えられたとき，その一方から他方へ$G$の点被覆のみを経由して，段階的に遷移する事が... [more] | COMP2011-39 pp.25-32 |
| CAS, MSS (共催) |
2011-11-18 11:15 |
山口 | 山口大学大学会館 | Acyclic Well-Structuredワークフローネットの可達性判定について ○濱野慎司・山口真悟（山口大） CAS2011-78 MSS2011-47 |
ワークフローのモデル化と解析にワークフローネットが適用され，成果をあげている． 本稿では可達性を利用して，ワークフロー... [more] |
CAS2011-78 MSS2011-47 pp.83-87 |
| MSS, CAS (共催) |
2010-11-18 10:55 |
大阪 | 関西大学 | A Probability-based State Space Analysis of Petri Nets ○Eleazar Jimenez Serrano（Kyushu Univ.） CAS2010-66 CST2010-39 |
[more] | CAS2010-66 CST2010-39 pp.7-12 |
| DC | 2010-10-14 15:10 |
東京 | 機械振興会館 | GPUを用いた状態可到達性解析の高速化 ○仲田善満・土屋達弘・菊野 亨（阪大） DC2010-22 |
状態可到達性解析とは，システム検証のために状態空間を探索する処理である．この処理はモデル検査などの自動検証において欠かせ... [more] | DC2010-22 pp.25-29 |
| MSS | 2010-08-02 14:50 |
石川 | 金沢学院大 サテライト教室 | 定常連続システムから離散状態システムを得るための一手法 ○松本 忠・恐神正博（福井工大）・茂呂征一郎（福井大） CST2010-34 |
連続システム$ Ax = b ( A = [ a_{ij}] \in R^{m \times n}, b = [ b_i... [more] | CST2010-34 pp.13-18 |
| AN | 2010-07-15 13:50 |
北海道 | 函館市中央図書館 | 低信頼無線環境におけるFaceプロトコルの到達性改善手法 ○江崎智和・桧垣博章（東京電機大） AN2010-11 |
Face、GEDIR、GPSR 等のアドホックルーティングプロトコルでは、送信元無線ノードから送信先無線ノードまでの無線... [more] | AN2010-11 pp.7-12 |
| MSS | 2009-06-03 16:50 |
大阪 | 摂南大学大阪センター | ［招待講演］確率時間CEGAR ○森下 篤・駒形龍太・山根 智（金沢大） CST2009-5 |
本論文では, 確率時間オートマトンの到達可能性解析に述語抽象化とその精錬の枠組み（CEGAR）を適用する手法を提案する.... [more] | CST2009-5 pp.25-30 |
| MSS | 2009-06-04 10:25 |
大阪 | 摂南大学大阪センター | モジュラーペトリネットを用いたマルチエージェントネットの可達性解析について ○堀口恭太・宮本俊幸（阪大） CST2009-6 |
マルチエージェントネットはマルチエージェントシステムの形式的なモデル記述言語である． また，複数モジュールにより離散事... [more] |
CST2009-6 pp.31-36 |
| IN, NS (併催) |
2009-03-04 09:00 |
沖縄 | 沖縄残波岬ロイヤルホテル | アドホックネットワークにおけるパケット到達率改善ためのODMRPの拡張 ○岐部貴彦・竹中豊文（日大） NS2008-226 |
アドホックネットワークは，大部分が移動性・携帯性をもつ無線中継端末の集合体である．それゆえに，無線中継端末間で通信経路を... [more] | NS2008-226 pp.469-472 |
| SS | 2009-03-02 17:00 |
佐賀 | 佐賀大学本庄キャンパス | ［招待講演］時間オートマトンのモデル検査 ○中田明夫（広島市大） SS2008-53 |
実時間システムの検証技術の一分野である時間オートマトンのモデル検査技術について，到達可能性解析に焦点を絞り概説する．まず... [more] | SS2008-53 pp.29-34 |
| MSS | 2009-01-29 14:15 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | MAX-LFS解法と後処理の改良により性能強化されたペトリネットのマーキング構成問題解法 ○石井稔久・田岡智志・渡邉敏正（広島大） CST2008-44 |
ペトリネットのマーキング構成問題(MCP: Marking Construction Problem)は, 「ペトリ... [more] |
CST2008-44 pp.17-22 |
| MSS | 2009-01-30 09:55 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | 微分制約論理式によるハイブリッドシステムのモデリングと検証 ○石井大輔・上田和紀（早大）・細部博史（NII） CST2008-53 |
本研究ではハイブリッドシステムの到達可能性検証のための有界モデル検査法（bounded model checking）を... [more] | CST2008-53 pp.67-70 |
| CAS, MSS (共催) |
2008-11-06 16:15 |
大阪 | 大阪大学 | 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法 ○山崎真一・山根 智・安井雅俊（金沢大） CAS2008-50 CST2008-28 |
本論文では，並列動作する複数の階層時間オートマトンに対して有効な述語抽象化精錬を用いる検証手法を提案する．提案手法では，... [more] | CAS2008-50 CST2008-28 pp.31-36 |
| MSS | 2008-06-03 10:50 |
愛知 | 名古屋大学野依記念学術交流館 | 述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法 駒形龍太・○森下 篤・山根 智（金沢大） CST2008-5 |
本論文では, まず確率時間オートマトンについて定義を行う. そして, その上での効率的な安全性検証手法を提案する. 提案... [more] | CST2008-5 pp.1-6 |
| ICM | 2008-03-14 14:35 |
沖縄 | 石垣市民会館 | 輻輳制御を用いた高速導通試験方式の提案と検証 ○立石直規・田原光穂・三好 優・馬島宗平（NTT） TM2007-67 |
ISP や通信事業者は一般的にSNMP やICMP echo を利用して導通試験を行う．しかし，大規模網のにおいては，こ... [more] | TM2007-67 pp.85-90 |
| NS, IN (併催) |
2008-03-07 09:15 |
沖縄 | 万国津梁館(沖縄） | アドホックネットワークにおけるパケット到着率改善のためのODMRPの拡張 ○岐部貴彦・竹中豊文（日大） NS2007-184 |
アドホックネットワークは，大部分が移動性・携帯性をもつ無線中継端末の集合体である．それゆえに，無線中継端末間で通信経路を... [more] | NS2007-184 pp.295-298 |
| MSS, CAS (共催) |
2007-11-30 13:25 |
新潟 | 新潟大学自然科学研究科 | P/Tペトリネットの可到達性判定の代数的試みについて ○松本 忠・恐神正博（福井工大）・茂呂征一郎（福井大） CAS2007-78 CST2007-29 |
離散事象システムの有用なモデルの１つであるP/Tペトリネットの挙動を考える際に，最も基本となる問題である可到達問題の代数... [more] | CAS2007-78 CST2007-29 pp.27-30 |
| IA | 2007-10-25 16:15 |
福岡 | 福岡ソフトリサーチパーク | インターネット上の通信データを利用した接続性のパッシブ解析に関する研究 ○砥綿啓晶・岡村耕二（九大） IA2007-34 |
本研究では, インターネット上に常時存在する通信データを利用してAS(Autonomous System)を単位とするイ... [more] | IA2007-34 pp.21-26 |
[研究会発表申込システムのトップページに戻る]