スポンサーリンク
名古屋大学 情報科学研究科 | 論文
- 時間オートマトンによる振舞いモデルに基づく高信頼Real-Time Javaコード生成手法
- 時間オートマトンによる振舞いモデルに基づく高信頼 Real-Time Java コード生成手法
- 実時間プロセス言語に基づく時間ステートチャートの動作シミュレーション
- NATによる準マルチホーム化技法(次世代のインターネット/分散システムの構築・運用技術)
- 文書間の不整合解消に基づくソフトウエアプロセスのモデル化
- NATによるプライベートネットワークの準マルチホーム化技法
- 仮説空間とデータ空間の探索から見た洞察問題解決過程
- BDDに基づくSFQ論理回路の新しい実現方法(エレクトロニクス・一般)
- 5ZE-6 創造的議論の再利用を促進するカジュアルミーティングシステム(会議支援,学生セッション,インターフェース)
- 洞察の飛躍性と漸進性 : 計算機シミュレーションを用いた洞察過程のモデル化
- チャンスは準備された心にやってくる : 洞察としてのシナリオ創出(シナリオ創発)
- 洞察問題解決からモノ探し研究へ : 理解と支援/実験室と現場をつなぐ
- 洞察問題解決の性質 : 認知心理学から見たチャンス発見(チャンス発見)
- 2×2-Joinを用いた二線式RSFQ論理回路の設計手法(超伝導エレクトロニクス)
- 決定グラフを用いた二線式単一磁束量子回路の論理設計法 (計算機科学基礎理論の新展開)
- C-8-1 二分決定グラフを用いた二線式単一磁束量子回路の論理設計法(C-8.超伝導エレクトロニクス)
- C-8-11 単一磁束量子回路における二線式論理を用いた加算器及び比較器の設計
- コレオグラフィに基づく高信頼通信指向GUIプログラミング
- 通信プロセス計算とその時間拡張(システム設計のための形式手法の基礎と応用)
- 5R-4 閲覧時アノテーションを利用したWebドキュメントの引用とその応用(Web応用,学生セッション,データベースとメディア)