後藤 祐一 | 埼玉大学大学院理工学研究科
スポンサーリンク
概要
関連著者
-
後藤 祐一
埼玉大学大学院理工学研究科
-
後藤 祐一
久留米大学外科
-
程 京徳
埼玉大学大学院理工学研究科
-
堀江 大輔
埼玉大学大学院理工学研究科
-
奈良 信介
埼玉大学理工学研究科情報システム工学専攻
-
森本 祥一
産業技術大学院大学産業枝折研究科
-
藤乘 靖士
埼玉大学理工学研究科情報システム工学専攻
-
後藤 祐一
埼玉大学理工学研究科情報システム工学専攻
-
程 京徳
埼玉大学理工学研究科情報システム工学専攻
-
奈良 信介
埼玉大学大学院理工学研究科
-
森本 祥一
産業技術大学院大学
-
森本 祥一
埼玉大学工学部情報システム工学科
-
森本 祥一
専修大学
-
森本 祥一
専修大学経営学部
-
驛場 猛雄
埼玉大学大学院理工学研究科
著作論文
- D-023 情報セキュリティ工学データベースシステムISEDSのAPIの実現と応用(D分野:データベース)
- 情報セキュリティ工学データベースシステムISEDSの開発と応用(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
- 追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール
- 並列化による前向き演繹エンジンの高速化(シンポジウム)
- ENQUETE-BAISE:ユビキタスアンケートのための汎用電子アンケートサーバ (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
- ソフトシステムバスの実現について--ユビキタスコンピューティングのための永続システムを目指して (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
- ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法
- Ada 2012プログラムのためのタスキングデッドロック検出ツール
- ユビキタスコンピューティングの基盤としての永続コンピューティング(研究成果報告)
- ユビキタスコンピューティングの基盤としての永続コンピューティング