論文
〔VLSIシステム〕
一般化ガンマソフトウェア信頼性モデル
岡村寛之 安藤光昭 土肥 正 ………………………………………805
〔データベース〕
プログラム差分を用いたデバッグ支援手法DMET
松下 誠 寺口正義 井上克郎 ………………………………………815
〔ネットワーク〕
自律的Webサービスにおけるビジネスプロトコルの動的生成について
大谷 真 木下正博 嘉数侑昇 ………………………………………824
〔情報セキュリティ応用〕
証明書検証サービスの開発
藤城孝宏 鍛 忠司 羽根慎吾 熊谷洋子 手塚 悟 ……………833
英文論文誌紹介(IEICE Transactions on Information and Systems)…841
複写される方へ… 843