電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 4件中 1〜4件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS 2018-03-06
11:30
沖縄 南大東島 STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察
岡野浩三小形真平楊 盼信州大)・岡本圭史仙台高専
近年情報システムの大規模化複雑化にともない,情報システムの事故原因解明や
事故そのものの事前防止策に注目があつまってい... [more]
SS2017-64
pp.1-6
KBSE 2015-10-30
10:00
東京 日本大学・理工学部・駿河台校舎 1号館 D-CaseによるSysMLの説明力向上を目指して
岡本圭史仙台高専)・松野 裕日大)・吉田 聡鳥取環境大
 [more] KBSE2015-38
pp.13-16
IN, IA
(併催)
2012-12-13
15:20
広島 広島市立大学 ユーザコンテキストに基づいた個人・組織情報へのアクセス制御
伊藤 仁小林秀幸岡本圭史仙台高専)・青野雅樹豊橋技科大)・高橋 薫仙台高専
コンピュータやインターネットの利用が爆発的に増加し,様々な機関でデータの収集や蓄積が行われてきている.
また,近年にお... [more]
IA2012-60
pp.7-12
KBSE 2010-11-25
10:50
静岡 静岡大学情報学部 情報システムの構造化仕様のための業務オントロジーの試作
清野貴博岡本圭史和泉憲明橋田浩一産総研
地方税に関する自治体の業務は,地方税法に基づいて実施される.本来,こうした業務はどの自治体でも同じになるはずで,それを支... [more] KBSE2010-34
pp.67-72
 4件中 1〜4件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


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

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


IEICE / 電子情報通信学会