情報・システム-ソフトウェアサイエンス(開催日:2011/02/28)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2011/2/28
[資料番号]
目次

,  

[発表日]2011/2/28
[資料番号]
センサ駆動連携サービスのための連鎖検出手法の検討

稲田 卓也,  池上 弘祐,  まつ本 真佑,  中村 匡秀,  井垣 宏,  

[発表日]2011/2/28
[資料番号]SS2010-53
ホームネットワークシステムのためのパーソナルリモコン開発フレームワーク

徳田 啓介,  稲田 卓也,  〓本 真佑,  中村 匡秀,  

[発表日]2011/2/28
[資料番号]SS2010-54
多様な通信方式の機器に適用可能なデバイスモデルの提案

野口 智史,  鈴木 健司,  

[発表日]2011/2/28
[資料番号]SS2010-55
位置透過性のあるシステムコールを有する組込み制御システム向け分散リアルタイムOS

知場 貴洋,  伊丹 悠一,  兪 明連,  横山 孝典,  

[発表日]2011/2/28
[資料番号]SS2010-56
アスペクト指向プログラミングによる組込みOSのカスタマイズ手法の提案

阿部 一樹,  横山 孝典,  兪 明連,  

[発表日]2011/2/28
[資料番号]SS2010-57
利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案

岡崎 旭,  兪 明連,  横山 孝典,  

[発表日]2011/2/28
[資料番号]SS2010-58
RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案

西垣 公平,  兪 明連,  横山 孝典,  

[発表日]2011/2/28
[資料番号]SS2010-59
振る舞いモデル生成機能を持つSimulink・UMLモデル変換ツール

田村 雅成,  神山 達哉,  添田 隆弘,  兪 明連,  横山 孝典,  

[発表日]2011/2/28
[資料番号]SS2010-60
オープンソースリポジトリにおけるバグ修正履歴の再利用性評価

塩塚 大,  鵜林 尚靖,  

[発表日]2011/2/28
[資料番号]SS2010-61
Towards Objective Estimations of Software Implementation Progress

カマルゴ クルズ アナ エリカ,  落水 浩一郎,  

[発表日]2011/2/28
[資料番号]SS2010-62
制約付き木オートマトンとその閉包性

倉橋 克尚,  酒井 正彦,  西田 直樹,  野村 太志,  坂部 俊樹,  草刈 圭一朗,  

[発表日]2011/2/28
[資料番号]SS2010-63
差分シナリオを用いたシナリオ検索支援

吉田 裕作,  大西 淳,  

[発表日]2011/2/28
[資料番号]SS2010-64
責務記述に基づくクラスの責務割り当て支援

秋山 幹博,  林 晋平,  小林 隆志,  佐伯 元司,  

[発表日]2011/2/28
[資料番号]SS2010-65
オープンソース開発におけるSCMの自動分類に基づくevolutionの傾向分析と品質評価

載 家豪,  海谷 治彦,  海尻 賢二,  

[発表日]2011/2/28
[資料番号]SS2010-66
コーディング規約の違反計測に基づく開発スタイルの特徴分析

寺岡 仁志,  海尻 賢二,  海谷 治彦,  

[発表日]2011/2/28
[資料番号]SS2010-67
有界モデル検査法を用いたモジュラー検証のテストケース生成による補完

橋本 祐介,  中島 震,  

[発表日]2011/2/28
[資料番号]SS2010-68
プログラム変換を用いたポインタ操作プログラムの検証にむけて : Morrisの二分木走査アルゴリズムによるケーススタディ

渡部 卓雄,  森口 草介,  山田 一宏,  西崎 真也,  

[発表日]2011/2/28
[資料番号]SS2010-69
否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ

伴 潤,  結縁 祥治,  

[発表日]2011/2/28
[資料番号]SS2010-70
12>> 1-20hit(32hit)