仮想OSを用いたセキュアなプログラミング課題検証支援システム(先進的学習システム/一般)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, 仮想OSであるUser-Mode Linux(UML)とWEBシステムを用いた, 安全性と利便性を高めたプログラミング課題の検証支援システムを提案する.本システムでは, ソースの提出・管理, コンパイル・実行およびその出力結果の参照が可能であり, プログラムの正当性の検証支援を目的としている.本システムではまず, プログラムの安全な実行環境を構築するために, 仮想OSであるUMLを用いて, プログラム実行用の仮想サーバを構築している.また, WEBシステムを利用したブラウザの操作によりプログラムの提出, 実行, 参照を可能とする機能の実装により, 学生や教員の負担を大幅に軽減している.このWEBシステムには, これまで本研究グループで開発しているWEBベースの教育支援システム'NOBASU'を拡張している.提案するプログラミング課題の検証支援システムを実装し, 実際の講義での試験運用を行い, 有用性の評価と改良点の検討を行った結果を報告する.
- 2005-10-08
著者
関連論文
- 閲覧サイズに適応するWebページレイアウト最適化法でのアクセス性改善(ライフインテリジェンス,デジタルドキュメント,一般1,知識の共有・伝承・知的活用に関するシステム・技術,一般)
- ペアリングを用いた効率的な属性ベースグループ署名方式の提案(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- プロキシを用いた匿名認証システムの改良と匿名掲示板への応用
- オープンソースソフトウェアインストールマニュアル管理のためのWEBデータベースシステム(ユビキタス・モバイル学習環境/一般)
- スケーラブル無線メッシュネットワークのためのスマートアクセスポイント配置アルゴリズムの提案(ネットワークアーキテクチャ(オーバレイ,P2P,ユビキタスNW,スケールフリーNW,アクティブNW,NGN・新世代NW),次世代パケットトランスポート(高速Ethernet,IPoverWDM,マルチサービスパケット技術,MPLS),グリッド,一般)
- 室内環境向け無線メッシュネットワークでのアクセスポイント配置アルゴリズム(無線ネットワーク,高度プロトコル・ネットワーキング技術(IP及び高位レイヤルーチング・フィルタリング,マルチキャスト,品質・経路制御),IPNWの利用技術(P2P,P4P,オーバレイ,SIP,NGN),ネットワークシステム関連技術(システム構成法,インタフェース,アーキテクチャ,ハードウェア・ソフトウェア・ミドルウェア),一般)
- 無線メッシュネットワークのアクセスポイント配置アルゴリズムの高信頼化拡張(無線ネットワーク,高度プロトコル・ネットワーキング技術(IP及び高位レイヤルーチング・フィルタリング,マルチキャスト,品質・経路制御),IPNWの利用技術(P2P,P4P,オーバレイ,SIP,NGN),ネットワークシステム関連技術(システム構成法,インタフェース,アーキテクチャ,ハードウェア・ソフトウェア・ミドルウェア),一般)
- テスト駆動型開発手法によるJavaプログラミング教育支援システムの提案(e-Learningコンテンツ/一般)
- 教養科目履修の最適割当アルゴリズムの提案(e-learning/一般)
- 閲覧サイズに適応する Web ページレイアウト最適化法でのアクセス性改善
- スケーラブル無線メッシュネットワークのための通信路構成最適化アルゴリズム(地上無線通信)
- 可変テンプレートマッチング法による歯の輪郭線抽出法の提案(複合現実感とインタラクション)
- 無線メッシュネットワークのアクセスポイント間通信での優先度順リンク動作方式(トラヒックエンジニアリング,一般,トラヒック,NW評価,性能,リソース管理・制御,トラヒックエンジニアリング,NW信頼性・レジリエンシ,一般)
- インターネットアクセス無線メッシュネットワークでの動作アクセスポイント選択アルゴリズムの提案(超高速ネットワーク及びインターネット一般,省エネルギーと超高速ネットワーク,一般)
- ペアリングを用いた効率的な属性ベースグループ署名方式の提案(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価(画像処理,画像パターン認識)
- Deformable-Templateマッチング法による唇輪郭抽出法の改良としきい値自動調整アルゴリズムの提案
- WDMリングネットワークのノード構成問題の展開
- 効率的に検証者ローカル失効確認ができるグループ署名方式の実装
- 多種料理の調理手順スケジューリングアルゴリズムの複数調理者への拡張(一般,「Webサービス・クラウド」及び一般)
- テスト駆動型開発手法のJavaプログラミング教育応用におけるテストコード提出機能
- 多種料理の調理順最適化アルゴリズムの提案
- 無線メッシュネットワークでの高信頼アクセスポイント配置アルゴリズムの改良と経路可度指標の導入(モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・User Network Interface,Homeネットワーク,一般)
- IC/LSI電源系EMCマクロモデルLECCSのためのパラメータ最適化アルゴリズムの提案(プローブ関連・PCB関連)(アジア地域EMC特別講演会,一般)
- 最適化手法によるパノラマ画像合成法の提案(画像システム,知的マルチメディア処理システム及び一般)
- アプリケーションレベルマルチキャスト通信におけるマルチホーム化ホスト選択アルゴリズムの改良((フォトニック)IPネットワーク技術, (光)ノード技術, WDM技術, 一般)
- アプリケーションレベルマルチキャストにおけるマルチホーム化ホスト選択アルゴリズムの提案(有線/無線シームレスネットワーク, ネットワーク制御, 無線通信, モバイルネットワーキング, Mobile IP, 一般)
- 集計時の負荷を軽減した重み付き電子投票プロトコル
- 忙しい人の手料理支援のための献立選択およびまとめ買い選択アルゴリズム(「コミュニティ上での知識の共有・再利用」及び一般)
- 調理手順最適化のための調理モデルの拡張と副調理者の役割変更の効果(「コミュニティ上での知識の共有・再利用」及び一般)
- 無線ネットワークのリンクスケジューリング問題に対するヒューリスティック解法の提案(無線・モバイルネットワーク)(ブロードバンドネットワークサービス)
- 双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案
- ネットワークのリンクスケジューリングへのグラフ彩色アプローチ
- 操作ログを用いたオープンソースソフトウェアのインストールマニュアル自動生成法の提案
- WWWを用いた英語教員クラス編成支援システムECASOUの提案(実システムの構築)(先進的教育・学習支援システム構築のための基礎理論論文)
- メモリカードのためのセキュアファイルシステムSASの提案(オフィスインフォメーションシステム及び一般)
- IDENT代理サーバによるリモートアクセスユーザ認証機構
- IDENT代理サーバによるリモートアクセスユーザ認証機構
- 多種料理の調理順最適化アルゴリズムの提案
- 双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案
- 無線LANのアクセスポイント配置アルゴリズムの改良(有線/無線シームレスネットワーク, ネットワーク制御, 無線通信, モバイルネットワーキング, Mobile IP, 一般)
- 講義・演習を対象としたWEBベースの教育支援システムの検討(教育評価/一般)
- 無線メッシュネットワークでの動作アクセスポイント選択アルゴリズムの提案(地上無線通信,放送技術,通信技術の未来を築く学生論文)
- 無線LANのWDSにおけるアクセスポイント配置アルゴリズムの提案(モバイルとインターネットの融合, 及び一般)
- 無線LANのWDSにおけるアクセスポイント配置アルゴリズムの提案(モバイルとインターネットの融合, 及び一般)
- 無線LANのWDSにおけるアクセスポイント配置アルゴリズムの提案(モバイルとインターネットの融合, 及び一般)
- アドホックネットワークへの中継アンテナ導入によるホスト間通信経路の確保(有線/無線シームレスネットワーク,ネットワーク制御,無線通信,モバイルネットワーキング,Mobile IP,一般)
- アドホックネットワークへの中継アンテナ導入によるホスト間通信経路の確保(有線/無線シームレスネットワーク,ネットワーク制御,無線通信,モバイルネットワーキング,Mobile IP,一般)
- アプリケーションレベルマルチキャストにおける遠隔講義のための複数経路木生成法の提案(有線/無線シームレスネットワーク, ネットワーク制御, 無線通信, モバイルネットワーキング, Mobile IP, 一般)
- 仮想OSを用いたセキュアなプログラミング課題検証支援システム(先進的学習システム/一般)
- 二階層無線メッシュネットワークへの経路木アルゴリズムの拡張(無線)
- 無線メッシュネットワークでの最大遅延の最小化を目的とした経路木生成アルゴリズムの提案(シームレス通信,一般,ユビキタス時代のネットワークサービス・システム,シームレス通信サービス,一般)
- モバイルホストのユーザ情報を秘匿するアドレス配信プロトコルの提案(セッション4-B : ネットワークセキュリティ(1))
- モバイルホストのユーザ情報を秘匿するアドレス配信プロトコルの提案(セッション4-B : ネットワークセキュリティ(1))
- 集計時の負荷を軽減した重み付き電子投票プロトコル
- WEBによる教育支援システム"NOBASU"での課題プログラム評価(セッション2 : ネットワーク応用と管理)
- CMSを用いたオープンソースソフトウェア利用マニュアル管理システムの提案(エンタテインメントを活用した学習環境/一般)
- オープンソースソフトウェア・設定マニュアル自動生成システムの試作(アプリケーション(1))
- 忙しい人のためのWebを用いた手作り料理支援システムにおける献立作成・調理手順最適化機能の実装(エンタテインメントを活用した学習環境/一般)
- Javaプログラミングの予約語学習のためのオンライン穴埋め問題機能の実装(エンタテインメントを活用した学習環境/一般)
- アプリケーションレベルマルチキャスト通信における伝送遅延モデルの一考察(有線/無線シームレスネットワーク, ネットワーク制御, 無線通信, モバイルネットワーキング, Mobile IP, 一般)
- ゲートウェイにMIMOチャネルを用いた無線メッシュネットワークでのWDSクラスタ分割アルゴリズム(トラヒック,NW評価,性能,リソース管理・制御,トラヒックエンジニアリング,NW信頼性・レジリエンシ,一般)
- 無線メッシュネットワークのスループット最大化のための動作AP選択指標の検討(無線マルチホップネットワーク特集セッション,モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- 無線メッシュネットワークのスループット最大化のための動作AP選択指標の検討(無線マルチホップネットワーク特集セッション,モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- 無線メッシュネットワークにおけるリンク動作率による固定待機時間切り替え方式の提案(モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- Webを用いたマークシート方式テスト支援機能の実装(エンタテインメントを活用した学習環境/一般)
- Webページレイアウト最適化法のオープンソースソフトウェア・インストールマニュアルへの適用(モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- Webによるオープンソースソフトウェア・設定マニュアル自動生成法の提案(モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- 無線メッシュネットワークでのリアルタイム通信のための消費帯域推定によるトラヒック制御方式の提案(無線マルチホップネットワーク特集セッション,モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- 無線メッシュネットワークでのリアルタイム通信のための消費帯域推定によるトラヒック制御方式の提案(無線マルチホップネットワーク特集セッション,モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- 計算量が一定となるペアリングベース匿名証明書システムの実装(モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- テスト駆動型開発手法を用いたJavaプログラミング学習システムでのコード検証方法の改善 (教育工学)
- 無線メッシュネットワークでの動作アクセスポイント選択アルゴリズムの提案
- アプリケーションレベルマルチキャスト経路木アルゴリズムCT+法の提案とマルチホーム環境の効果(オーバレイネットワーク, ユビキタス社会構築のためのネットワークに対する理論とその応用論文)
- WDMリングネットワークのノード構成問題(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
- 大規模グループにおいて所属無効化が可能なグループ署名方式
- 大規模グループにおいて所属無効化が可能なグループ署名方式
- 多種料理の調理手順最適化アルゴリズムの拡張 (画像工学)
- 多種料理の調理手順最適化アルゴリズムの拡張 (ライフインテリジェンスとオフィス情報システム)
- 多種料理の調理手順最適化アルゴリズムの拡張 (メディア工学)
- 多種料理の調理手順最適化アルゴリズムの拡張 (マルチメディア情報ハイディング・エンリッチメント)
- Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System (マルチメディア情報ハイディング・エンリッチメント)
- Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System (情報通信システムセキュリティ)
- Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System (技術と社会・倫理)
- Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System (情報セキュリティ)
- D-19-3 大学ネットワークにおける匿名IEEE802.1X認証システムの実装(D-19.情報通信システムセキュリティ,一般セッション)
- Javaプログラミング学習支援システムにおけるコード設計学習機能の実装 (教育工学)
- 管理者に対して強固な秘匿性を持つ評価システムの提案(一般)
- 無線LANのアクセスポイント集約アルゴリズムの提案(一般,モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- ボランティアコンピューティングの妨害者対策における抜取検査併用の効果(ネットワークソフトウェア(ソフトウェアアーキテクチャ、ミドルウェア),NWアプリケーション,SOA/SDP,NGN/IMS/API,分散制御・ダイナミックルーチング、グリッド,NW及びシステム信頼性,NW及びシステム評価,一般)
- A Linux Implementation Design of Fixed Backoff-time Switching Method for Wireless Mesh Networks (ネットワークシステム)
- Rubyを用いたグループ内行事支援システム開発のインターンシップ事例(Web技術と先端的学習支援/一般)
- デスクトップグリッドにおけるワーカの性能差を考慮した信頼度計算式の拡張
- デスクトップグリッドにおけるワーカの性能差を考慮した信頼度計算式の拡張
- Javaプログラミング学習支援システムの穴埋め問題機能の拡張と授業への適用(主体的学習支援環境/一般)
- Webを用いたマークシート方式テスト支援機能の拡張(主体的学習支援環境/一般)
- テスト駆動型開発手法を用いたJavaプログラミング学習システムでの誤りコード指示機能の実装(主体的学習支援環境/一般)
- D-6-5 ボランティアコンピューティングにおけるワーカ離脱を考慮した投入ジョブ選択手法(D-6.コンピュータシステムA(アーキテクチャ))
- D-6-4 信頼度に基づく多数決法を用いたボランティアコンピューティングシステムの試作(D-6.コンピュータシステムA(アーキテクチャ))