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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 13件中 1〜13件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2016-11-24
13:25
兵庫 神戸情報大学院大学 ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価
張江洋次朗和克己信州大
ペトリネットモデルより生成される状態空間のイベントに着目したon-the-flyモデル検査器の設計を行った.HiPSは筆... [more] CAS2016-63 MSS2016-43
pp.31-35
SS, MSS
(共催)
2016-01-25
15:45
石川 しいのき迎賓館 セミナールームB 線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器
張江洋次朗和崎克己信州大
本稿では,ペトリネットより生成される状態空間を対象に,線形時相論理式によるon-the-flyモデル検査器の設計について... [more] MSS2015-46 SS2015-55
pp.63-68
SWIM 2011-11-18
10:30
東京 東海大学 高輪キャンパス 上流設計からモデル検査プロセスまでの一貫設計検証環境 〜 UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法 〜
宮本直樹和崎克己信州大
SPIN モデル検査器を実行するには,専用の仕様記述言語 PROMELA で対象モデルを記述する.また,検査対象の仕様の... [more] SWIM2011-19
pp.7-12
IA, ICSS
(共催)
2011-06-17
13:00
福岡 九州工業大学 マルウェアアンパッキングにおけるランタイムライブラリのコード比較によるオリジナルエントリーポイント検出
岩本一樹日本コンピュータセキュリティリサーチ/信州大)・和崎克己信州大
多くのマルウェアはパッカーと呼ばれるコードを圧縮し難読化するプログラムでパックされており,そのままでは解析できない.
... [more]
IA2011-10 ICSS2011-10
pp.57-62
SWIM 2011-02-25
13:25
東京 機械振興会館 UMLアクティビティ図からSPINモデル検査用コードの自動生成とWebアプリケーション設計への適用
山田 豊和崎克己信州大
UMLアクティビティ図は、ワークフローの表現に適しており、分析・設計から実装に至るまでの開発の各段階において振る舞いを表... [more] SWIM2010-29
pp.23-28
MSS, CAS
(共催)
2009-11-27
15:15
愛知 名古屋大学 拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計
山口真之介九工大)・和崎克己師玉康成信州大
 [more] CAS2009-59 CST2009-32
pp.83-88
ET 2009-03-07
15:35
香川 香川大 Moodle用数理演習モジュールを用いたWeb上での数理教育手法
三輪辰雄アルファネット)・小林英子小林亮太岡崎裕之信州大)・遠藤 登岐阜高専)・和崎克己師玉康成信州大
我々は,形式化数学の記述言語であるMizar 言語を利用し数理論的思考を涵養する為のWeb 用教材とし
て,Moodl... [more]
ET2008-129
pp.211-215
ET 2008-10-17
11:20
岡山 岡山理科大 形式化数学言語システムMizarを用いたCMS/Moodleの数理演習モジュール開発
三輪辰雄アルファネット)・和崎克己信州大)・遠藤 登岐阜高専)・師玉康成信州大
我々は,形式化数学の記述言語であるMizar言語を学習するために,オープンソースのコースマネージメントシステムとして知ら... [more] ET2008-41
pp.11-16
ISEC 2007-12-19
17:00
東京 機械振興会館 コンピュータウイルスのコード静的解析による特徴抽出と分類について
岩本一樹日本コンピュータセキュリティリサーチ)・和崎克己信州大
コンピュータウイルスの亜種判定について、コード内のAPI呼び出しや制御フローを静的解析することにより、特徴抽出と種の分類... [more] ISEC2007-127
pp.107-113
MSS 2006-06-02
11:15
石川 石川ハイテク交流センター 拡張ペトリネットとJava/PNMLによる並列システムの構成手法
山口真之介九工大)・和崎克己師玉康成信州大
 [more] CST2006-9
pp.19-24
CS, CAS, SIP
(共催)
2005-03-15
13:35
岡山 岡山県立大学 IEEE802.11g無線LANを用いた山間地拠点間接続の長距離化
中村正幸栄永清志滝沢龍一清水 洋和崎克己師玉康成
都市部を中心にADSL、FTTH等のブロードバンドネットワークの普及が急速の進んでいる.しかし、中山間地や離島においては... [more] CAS2004-107 SIP2004-150 CS2004-243
pp.59-62
NS, IN
(共催)
2005-03-04
10:10
沖縄 残波岬ロイヤルホテル(沖縄) IPアドレスを持たない認証ゲートウェイについて
山下 剛新村正明國宗永佳和崎克己不破 泰信州大
セキュリティを確保するため,認証ゲートウェイによりオフィスにおけるネットワーク利用の制限を行う事例が多くなりつつある.こ... [more] NS2004-269 IN2004-269
pp.131-134
MSS 2004-08-05
14:00
北海道 北海学園大学 拡張ペトリネットによる並列システム設計とエンジンプログラムの試作
山口真之介九工大)・和崎克己師玉康成信州大
 [more] CST2004-16
pp.1-6
 13件中 1〜13件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


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

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


IEICE / 電子情報通信学会