スポンサーリンク
大阪大学基礎工学部情報科学科 | 論文
- A-16-3 複数の仮想空間をシームレスに操作する汎用マルチビューポートインタフェースの提案(A-16. マルチメディア・仮想環境基礎, 基礎・境界)
- すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法
- プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真僞判定手続きを用いた算術演算回路の正しさの証明
- QoSを考慮したマルチメディアシナリオ記述言語
- コネクションレスネットワークにおけるフォールトトレラントマルチパスルーティングプロトコルの合成法
- 無線センサ・アクチュエータネットワークにおける動的なサービスネットワーク構成のための端末選出機構の提案 (ネットワークシステム)
- 大学環境でのオブジェクト指向設計メトリクス適用の試み
- オブジェクト指向開発の設計文書における安全性検証の試み
- C++プログラムの複雑さ評価尺度の定量的評価
- オブジェクト指向設計に関する安全性の検証
- 設計レビューにおけるフォールト検出に関する一考察
- ソフトウエアプロセス定量化モデルの提案(一般セッション(1))
- 文章作成作業を効率よく行うためのユーザーインタフェースについて
- A-15-25 ウェアラブル学習システムのための利用者コンテキスト認識機構(A-15.ヒューマン情報処理,一般講演)
- 時間拡張LOTOSの処理系を用いたSMIL記述の実行とQoS制御
- 時間拡張LOTOSの処理系を用いたSMIL記述の実行とQoS制御
- B-7-191 GridFTPのための並列コネクション数調整機構の実装と評価(B-7.情報ネットワーク,一般講演)
- 広域・広帯域ネットワークのためのGridFTP自動パラメータ設定機構の実装と評価(コンテンツ配信)
- A-15-26 仮想空間内でのナビゲーションと文字入力をシームレスに行う入力手法の提案(A-15.ヒューマン情報処理,一般講演)