お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 5件中 1~5件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS 2013-01-22
14:25
大阪 大阪国際会議場 健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について
加納大暉山口真悟山口大MSS2012-48
ワークフローには定義とインスタンスという二つの側面がある.
本稿では,可達性を利用して,ワークフローインスタンスの正し... [more]
MSS2012-48
pp.17-21
MSS 2013-01-22
14:50
大阪 大阪国際会議場 自由選択ワークフローネットにおける非安全マーキングへの可達性解析
村上雄基豊嶋伊知郎山口真悟山口大MSS2012-49
ワークフローネットにおいて非安全なマーキングに必ず可達なマーキングは, そのワークフローインスタンスが正常に終了できない... [more] MSS2012-49
pp.23-26
CAS, MSS
(共催)
2011-11-18
11:15
山口 山口大学大学会館 Acyclic Well-Structuredワークフローネットの可達性判定について
濱野慎司山口真悟山口大CAS2011-78 MSS2011-47
ワークフローのモデル化と解析にワークフローネットが適用され,成果をあげている.
本稿では可達性を利用して,ワークフロー... [more]
CAS2011-78 MSS2011-47
pp.83-87
MSS 2009-06-04
10:25
大阪 摂南大学大阪センター モジュラーペトリネットを用いたマルチエージェントネットの可達性解析について
堀口恭太宮本俊幸阪大CST2009-6
マルチエージェントネットはマルチエージェントシステムの形式的なモデル記述言語である.
また,複数モジュールにより離散事... [more]
CST2009-6
pp.31-36
SS 2005-12-19
14:30
高知 高知女子大 暗号プロトコル記述からカラーペトリネットへの変換による機密性検証
奥谷大介坂部俊樹酒井正彦草刈圭一朗西田直樹名大
カラーペトリネット(CPN)の可達性判定は決定可能であるので,暗号プロト
コルの安全性をカラーペトリネットの可達性判定... [more]
SS2005-58
pp.19-24
 5件中 1~5件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会