スポンサーリンク
日本ソフトウェア科学会 | 論文
- エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
- 有機的プロムラミング言語Gaea
- ネットワークワームを利用したネットワーク管理手法
- 型付きユニフィケーションとクローズの対象指向解釈について
- 日本語テキスト処理機能を追加したSNOBOL 4
- SNOBOL4 既存処理系への日本語テキスト処理機能の追加
- SAGE : Anthony : 企業内情報システムにおける統合検索サービス
- 項書き換え系のメタインタプリタE-TRS
- 分散人工知能における標準的小問題
- 2nd IEEE Conference on Computer Workstations
- 時制論理における時間軸の抽出 : 論理プログラミングとプロセス固有時間
- 優先度付き制約論理型プログラミング (制約論理プログラミング)
- 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,先端ソフトウェアツール)
- 自律協調システムのための分散オブジェクトの共有機構
- ファイル移送に基づく分散ファイルシステムの設計と実装
- VPNとホストの実行環境を統合するパーソナルネットワーク(ソフトウェアシステム)
- 特集「ソフトウェア開発を支援する基盤技術」の編集にあたって(ソフトウェア開発を支援する基盤技術)
- 特集「マルチエージェント」の編集にあたって ( マルチエージェント)
- マルチエージェントシステム
- 特集「制約論理プログラミング」の編集にあたって (制約論理プログラミング)