スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking
- A consensus making support system using AHP in combination with KJ method and relationship matrix
- A group desicion support system by externalizing, sharing and reflecting individual viewpoints
- グループ意志決定におけるAHP重要度の感度係数を用いたトレードオフ分析支援法
- Common language acquisition by multi-agents
- ネットワークを介した協調活動の支援環境
- オブジェクト指向に基づくモーバイルコンピューティングに適したカスタマイズ可能なOS構築のための枠組
- 時間付き離散事象システムの時間付き安定性
- フォーシブルな事象をもつ時間付き離散事象システムの時間付き安定性
- 北陸先端科学技術大学院大学共有計算サーバ使用成果報告2007
- 北陸先端科学技術大学院大学共有計算サーバ使用成果報告2008
- オブジェクト指向分析の事例研究 : 生産管理システム
- G.V.A.における架空名義入札の効用
- カラードペトリネットによるワークフローシステムのモデル化と検証
- ギガビットネットワークを利用した広域分散並列処理の研究
- 聴取実験システムマニュアル