スポンサーリンク
日本アイ・ビー・エム株式会社 東京基礎研究所 | 論文
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- インターネットにおける経路ハイジャック対策手法の調査
- Bluetoothによる位置検出
- マイクロレンズおよびLED高効率照明による低消費電力液晶ディスプレイ (マテリアルフォーカス:オプトロニクス 薄型テレビの「低消費電力化」に貢献する光学機能マテリアル,構造設計)
- CS-5-4 光配線板テクノロジー(CS-5.有機材料のフォトニクス応用,シンポジウムセッション)
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法 (ディペンダブルコンピューティング)
- ECUソフトウェアのシミュレーション実行時における状態方程式の遷移解析手法 (コンピュータシステム)
- アスペクト指向技術の適用によるドメインフレームワークのモジュール性向上(オブジェクト指向とWeb技術)
- アスペクト指向の導入によるフレームワークの理解容易性の向上(組込みソフトウェア工学及び一般)
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- 完備束値をもつ論理型言語
- 携帯端末用Webページから通常端末用ページを構成する手法--Webページのモデル化とその評価 (ソフトウェアサイエンス)
- 並列トランザクショナルアプリケーションのためのプログラミングフレームワーク
- 浮動小数点演算の正確さに関する投機を用いたJavaの数値計算の高速化
- インターネット環境におけるアクセシビリティ
- ワープロ型と行単位型融合によるハイブリッド字幕編集システム(聴覚補助,情報福祉論文)
- 構造を仮定しない文解釈の一手法
- HDDパワーマネージメントの一手法
- GF(p)上の楕円曲線暗号回路のスケーラブルアーキテクチャ
- 位相限定相関法に基づく高精度波形解析とそのサイドチャネル攻撃への応用(情報通信基礎サブソサイエティ合同研究会)