ユビキタスコンピューティングの基盤としての永続コンピューティング<研究成果報告>

スポンサーリンク

概要

• 論文の詳細を見る

• This research report presents some current results of our research project \Persistent Computing Systems as an Infrastructure of Ubiquitous Computing" supported in part by Saitama University

• 埼玉大学工学部の論文

著者

• 後藤 祐一

  埼玉大学大学院理工学研究科

関連論文

• D-023 情報セキュリティ工学データベースシステムISEDSのAPIの実現と応用(D分野:データベース)
• 情報セキュリティ工学データベースシステムISEDSの開発と応用(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
• 追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール
• 並列化による前向き演繹エンジンの高速化(シンポジウム)
• ENQUETE-BAISE:ユビキタスアンケートのための汎用電子アンケートサーバ (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
• ソフトシステムバスの実現について--ユビキタスコンピューティングのための永続システムを目指して (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
• ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法
• Ada 2012プログラムのためのタスキングデッドロック検出ツール
• ユビキタスコンピューティングの基盤としての永続コンピューティング(研究成果報告)
• ユビキタスコンピューティングの基盤としての永続コンピューティング

スポンサーリンク