スポンサーリンク
日本ソフトウェア科学会 | 論文
- エージェント 話題抽出エージェントを用いた番組検索システムの実装
- Essentially algebraic structure for Kleene algebra with tests
- 産業界からの理工系情報学科の研究教育内容への期待と大学の取り組み
- Implementing a Fail-safe ANSI-C Compiler
- LMNtal Model Checking using an Integrated Development Environment
- A Survey on Research for Recognizing and Understanding Audio Signals of Music and Speech
- エージェント 多値議論の論理のソーシャルウェブ：ＳＮＳ，Ｗｉｋｉｐｅｄｉａへの応用
- Ripple Effect Analysis of Aspect Weaving
- プログラム解析を提供するAPIの実現とその適用
- An Operational Semantics of Program Dependence Graphs
- MathGridLink - A bridge between Mathematica and "the Grid"
- An Object-Oriented Concurrent Information Processing Model ABCM/1 and its Description Language ABCL/1
- メタ項書換え計算における規則中に規則を含む直交メタ項の合流性
- Development and Evaluation of ParaRuby: a Distributed GPGPU Framework
- インターネット技術 ＩＡＡシステムの現状とその課題
- 折り紙プログラミング環境
- ソフトウェア工学の基礎 異なる視点で記述されたシナリオの統合支援
- CSP-Prover-a Proof Tool for the Verification of Scalable Concurrent Systems
- 動的ルーティングによりタプル配信を行なう分散タプルスペース Federated Linda
- SuciライブラリのスナップショットAPIを利用した並列デバッグツールの設計