本文に飛ぶ

年 〜
年

検索結果 9 件

並列プログラムに現れる非同期型通信のプロセス代数による解析・検証

並列プログラムに現れる非同期型通信のプロセス代数による解析・検証
紙図書
大塚寛, 愛媛大学 [著][大塚寛]2002-2004<Y151-H14540121>
国立国会図書館
  • 件名モデル検証 / 協調型言語 / プロセス代数 / クリプケ構造 / 失敗集合

構造的動作意味定義に基づく実時間並行ソフトウェアの構築

構造的動作意味定義に基づく実時間並行ソフトウェアの構築
紙図書
結縁祥治, 名古屋大学 [著][結縁祥治]2001-2003<Y151-H13680408>
国立国会図書館
  • 件名並行計算モデル / 構造的操作意味定義 / プロセス代数 / 実時間処理 / 合同性

適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究

適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究
紙図書
渡部卓雄, 東京工業大学, 国立情報学研究所 [著][渡部卓雄]2003-2004<Y151-H15500028>
国立国会図書館
  • 件名ポリシー強制 / バイトコード変換 / プロセス代数 / 自己検査コード / 実行時検査 / 適応的ソフトウェア...

進化型エージェントアーキテクチャによる組織構造に基づいたセキュリティの実現

進化型エージェントアーキテクチャによる組織構造に基づいたセキュリティの実現
紙図書
飯島正, 慶應義塾大学 [著][飯島正]2001-2003<Y151-H13680490>
国立国会図書館
  • 件名セキュリティポリシ / 進化型アーキテクチャ / エージェント / ワークフロー / Webサービス / ペリネット / プロセス代数 / プロセス論理

多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究

多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究
デジタルその他
加藤, 暢近畿大学2018科学研究費助成事業研究成果報告書 (2017)p.1-4
全国の図書館
  • 要約等...テムを開発した．本システムは，プロセス代数の一種である多重Ambient Calculus(MAC)で...
  • 件名物流システム モデル化 モデル検査 プロセス代数 Ambient Calculus

Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築

Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築
デジタルその他
樋口, 昌宏近畿大学2016科学研究費助成事業研究成果報告書 (2015)p.1-4
全国の図書館
  • 件名仕様記述 プロセス代数 時間制約 モデル検査

書換え計算の可視化に基づくプログラミング環境の実現

書換え計算の可視化に基づくプログラミング環境の実現
紙図書
稲垣, 康善, 名古屋大学1995-1997<Y151-H07558037>
国立国会図書館
  • 件名可視化 書換え計算モデル プロセス代数 視覚的支援 プログラミング環境 関数型言語 計算モデル 代...

時間概念を導入したAmbient Calculusによる物流システムの記述

時間概念を導入したAmbient Calculusによる物流システムの記述
デジタルその他
樋口, 昌宏近畿大学2012-01-01科学研究費助成事業研究成果報告書 (2012. )p.1-4
全国の図書館
  • 件名仕様記述 仕様検証 プロセス代数 モデル検査

物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究

物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究
デジタルその他
加藤, 暢近畿大学2013-01-01科学研究費助成事業研究成果報告書 (2013. )p.1-4
全国の図書館
  • 要約等...を目的として, 物流システムをプロセス代数を用いてモデル化する方法の確立......法の定式化においては, 既存のプロセス代数を拡張し, 物流システムのモデル化に特化した多重Ambien...
  • 件名サービス構築基盤技術 物流システム プロセス代数 モデル検査

検索結果は以上です。

RSS