スポンサーリンク
NTTソフトウェア研究所 | 論文
- WWWサーバアクセス履歴からのユーザモデルの構築
- オブジェクト指向データベースを用いたインターネット版マルチメディア電話帳
- イベント順序証明システムの正当性の形式的証明
- 抽象実行 そのフレームワークと実例(その3)
- 抽象実行 そのフレームワークと実例(その2)
- 抽象解釈におけるLazyな抽象領域の生成
- 抽象実行 そのフレームワークと実例(その1)
- 最小不動点計算に基づくプログラムの帰納的性質の導出 (並列処理)
- 広域データフロー解析に基づく関数型プログラムの変則性検出
- FACE技術と認証サービスの提案(オフィスインフォメーションシステム,グループウェア及び一般)
- FACE技術と認証サービスの提案(オフィスインフォメーションシステム,グループウェア及び一般)
- テキストマイニング技術を用いたソフトウェアの類似性分析
- ネットワーク上における共有情報協調編集方式の提案
- 人間社会の情報流通における三段構造の分析
- プロジェクトの成否を予測するための一手法
- APANの提供する"サービス" : ネットワークとそのコミュニティー(ネットワークの構築と運用,ネットワーク研究開発テストベッド運用・利用,一般)
- フォールト検出難易度に基づく残存フォールト推定モデルの適用法
- メトリクスによるソフトウェア品質管理法とその評価
- コーディネーションプロセスモデルに基づく同期型グループウェアの設計
- 電子会議室環境のデザインモデルの開発