スポンサーリンク
日本ソフトウェア科学会 | 論文
- 意味的制約の書き換えによるコンパイラのコード最適化
- 最適条件の時間論理記述を用いたモデル生成器によるコード最適化
- タイトル無し
- A Context-Aware System Based on Scent
- A Fresh Look at Pattern Matching Compilation
- A Fast Approximation Method for Distributed Constraint Optimization Problems
- MyCloud: 複数ベンダのクラウドを用いて構成する高速で高信頼な分散ストレージ
- Introduction to the Special Issue on Agent
- Real World Oriented Interface using the FieldMouse
- Application Event Control Module for SAGE
- インターネット技術 ＤＮＳのＴＸＴレコードを利用してレイティング情報を受け渡すＷＷＷフィルタリングシステム
- Formal Verification in a First-Order Extension of Modal μ-calculus
- 一階様相μ計算
- TECS-Based Software Platform on Mindstorms NXT
- A Security Specification Verification Technique Using Theorem Proving and Model Checking Based on the International Standard ISO/IEC 15408
- Finite Approximation Analysis of One Dimensional Cellular Automata
- 特集「サーベイ論文」の編集にあたって
- Novel Development Method for Applications Integrating GUI and Devices on Ubicomp
- Annotation Stickies with Automatically Generated Bidirectional Links between Web Contents by Web Agents
- ソフトウェアシステム 分散アプリケーション構築操作を複数種インタフェースから可能にする研究