スポンサーリンク
Atr通信システム研究所 | 論文
- 図が表す概念の構造化とその効用
- サービス記述検証支援システム
- 分散システムの記述とプロセス動作
- プロセス数に依存しない動作記述における状態の到達可能性解析
- サービス仕様の自動生成に関する考察 : 自動生成機構の構想
- 小領域内でのクラスタリングを用いた部品画像の半自動的抽出法
- ネットワークシアタ : 仮想環境とコンピュータネットワークによるコンテンツ作成システム
- 7)FCAPにおけるバッファ設計の一検討(画像通信システム研究会(第55回))
- FCAPにおけるバッファ設計の一検討
- 2次元画像の位置関係記述におけるあいまい性の扱いの一検討
- 複数の意味構造を持つユーザモデルを用いた問い合わせ理解
- 連結グラフを考慮するコンカレントシステムの状態生成手法
- サービス仕様検証法の一考察 : サービス競合検出法の効率化
- 離散事象システムにおける可達集合の高速検証方式
- 要求仕様の検証における状態検索の効率化方式
- 通信システムサービス仕様における正当性検出と解消方式
- 通信システムサービス仕様におけるデッドロック検出方式(グラフ,ネットワークとアルゴリズムおよび一般)
- 通信サービス要求記述の静的解析手法
- プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法
- E-R モデルを用いた視覚的プログラミング言語 : PSDL-GR とその一実現法