共通例題 ソフトウェアプロセスモデリングのための例題(付録) (ソフトウェアプロセス<特集>)

スポンサーリンク

概要

• 論文の詳細を見る
• オーム社の論文

著者

• 鈴木 正人

  北陸先端科学技術大学院大学

• 篠田 陽一

  北陸先端科学技術大学院大学情報科学センター

• 鈴木 正人

  北陸先端科学技術大学院大

関連論文

• 複数経路を用いたP2Pネットワーク上でのネゴシエーションと鍵共有法(セキュリティ)
• ウインターワークショップ・イン・金沢報告 : 総括
• StarBEDにおけるセキュリティとユーザビリティを考慮した物理構成(ネットワーク研究開発テストベッド運用・利用,ネットワーク研究開発テストベッド運用・利用,一般)
• ライブトラフィックを用いた模倣インターネットの安定性の検証 (技術と社会・倫理)
• FDARによるRFC4541問題の解決法(トラヒック解析・制御(4))
• メガノードマルチキャストシミュレーションに向けての送信実験報告(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
• メガノードIPマルチキャストセンサネットに関する実験的検討(次世代網の品質、ネットワーク設計、ネットワーク制御、PONにおける帯域制御、アドミッション制御、トラヒックモデリング技術、一般)
• 実ノードを利用したネットワークシミュレーションにおけるノードへのOSの導入及びパラメータ設定機構の開発(セッション5 : ネットワーク管理)
• 階層化アクティブタグと歩行者位置推定(ユビキタス)
• StarBED : 大規模ネットワーク実証環境
• P2Pネットワークを用いた仮想IPネットワーク構築(セッション7-A : P2P(オーバーレイネットワーク))
• 大規模な散布型センサネットワークにおけるルーティング方式の検討(センサネット)
• IAAシステムの現状とその課題(●インターネット技術)
• ライブトラフィックを用いた模倣インターネットの安定性の検証(経路制御技術,インターネットと情報倫理教育,一般)
• 標準偏差フィルタによるインターネット定点観測システムのアドレス探索の保護(インターネットの測定・性能評価技術及び一般)
• P2Pネットワークを用いた仮想IPネットワーク構築(セッション7-A : P2P(オーバーレイネットワーク))
• StarBEDを利用したネットワーク体験演習環境の構築(教育システム開発論文,学習・教育支援のための技術開発)
• 複数経路を用いたP2Pネットワーク上でのネゴシエーションと鍵共有法(セキュリティ)
• 深い知識に基づくネットワーク故障診断エキスパートシステムの開発
• ライブトラフィックを用いた模倣インターネットの安定性の検証(経路制御技術,インターネットと情報倫理教育,一般)
• 高品質インターネットから品質指向のインターネットへの飛翔
• 高品質インターネットから品質指向のインターネットへの飛翔
• マルウェア隔離実験環境の設計と実装 (特集 トレーサブルネットワーク特集) -- (仮想化技術の応用)
• インターネット上の脅威分析を支援する空間および時間的な特徴量に基づく分析手法(侵入検出・検知,情報システムを支えるコンピュータセキュリティ技術の再考)
• ネットワーク実験支援ソフトウェアの汎用アーキテクチャの提案(教育支援,ユーザ指向の分散システム/インターネットの運用・管理)
• メガノードマルチキャストシミュレーションに向けての送信実験報告(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
• SpringOS/VM: 大規模ネットワークテストベッドにおける仮想機械運用技術(ネットワーク)
• 高品位ユビキタス環境実現のための低周波再生条件に関する検討(無線ネットワーク, アドホックネットワーク, センサネットワーク, ユビキタスネットワーク及び一般)
• マルチキャストを用いたモバイルコンピュータデバイス拡張の提案(セッション8)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
• マルチキャストを用いたモバイルコンピュータデバイス拡張の提案(セッション8)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
• ソースコード理解支援機能を持つ開発環境(開発支援(学生セッション))
• 大規模な散布型センサネットワークにおけるルーティング方式の検討(センサネット)
• 知識コンパイル手法に基づくネットワーク故障診断エキスパートシステムの設計と実現
• 深い知識に基づくネットワーク故障診断ESのモデル化と実装 : プロトタイプ第1版
• 非同期到着する可変長パケットを処理する光遅延線バッファ多段構成
• 非同期到着する可変長パケットを処理する光遅延線バッファ多段構成
• メトリクスの測定によるリファクタリング支援の自動化(メトリクス(学生セッション))
• 多重ルーチング型マルチホームアーキテクチャの提案(次世代インターネットアーキテクチャ)(インターネットアーキテクチャ技術論文特集)
• 多重ルーティング型マルチホームアーキテクチャの提案(インターネット関連技術,及び一般)
• 多重ルーティング型マルチホームアーキテクチャの提案(インターネット関連技術,及び一般)
• 多重ルーティング型マルチホームアーキテクチャの提案
• Path Snapper: MPLS検証システムの構想
• Java WEB アプリケーションにおける通信特性の解析と可視化
• 多対多通信のための動的IP Multicastトンネル網構成法の提案と実装(セッション1)
• 多対多通信のための動的IP Multicastトンネル網構成法の提案と実装(セッション1)
• 既設MPLS網への導入を考慮したMPLSマルテキャスト機構の実装と評価(MPLS技術)(インターネット技術と応用の最新動向)
• MPLS研究開発プラットホームAYAMEの設計・実装と拡張(MPLS技術)(インターネット技術と応用の最新動向)
• ネットワークプロセッサを用いたMPLSラベルスイッチングルータの実装(ネットワークプロセッサ及び一般)
• ネットワークプロセッサを用いたMPLSラベルスイッチングルータの実装(ネットワークプロセッサ及び一般)
• Split-Phase : 細粒度QoS指定指向型MPLS LSP設定手法の設計と実装(インターネットアーキテクチャ技術論文特集)
• N^*(NStar): ns-2のreal external interfaceの構想
• マルチプロトコルラベルスイッチング技術を用いたマルチキャストに関する調査
• ユービキタスな電子メールサービスについて
• 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
• 分散環境上の耐故障ソフトウェアにおける通信の設計と実装
• 疎結合分散環境におけるプロセッサ割り当てに関する考察
• 耐故障ソフトウェアのための安定記憶の構成方法 : 並列関数型言語CMLによる実装
• 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
• 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
• 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
• 耐故障ソフトウェアのための計算モデルFTAGの並列関数型言語による実装
• ソフトウェアプロセス適応のための形式的モデル
• 多重計算木を使用した属性付き関数型計算モデルによるソフトウェア耐故障性の実現
• 2.代表的なプロセス記述言語の特徴 : 共通例題による比較 (ソフトウェアプロセス)
• 共通例題 ソフトウェアプロセスモデリングのための例題(付録) (ソフトウェアプロセス)
• 「なりかわり」対抗可能な電子決済システムの提案(マルチメディア通信と分散処理)
• 複数ドメインGenerahzed MPLSネットワークにおける迂回ルーチング
• 複数ドメインGeneralized MPLS ネットワークにおける迂回ルーチング
• 属性文法型計算モデルによる版・構成管理システムの記述
• 履修管理システムにおけるソフトウェアアカウンタビリティ機能の実現法
• オープンソースソフトウェア開発に適したリポジトリ分散の支援機構(開発支援(1)(学生セッション))
• 位置透過性をもつコンポーネント構成手法とフレームワーク
• リファクタリングとコンポーネント技術による既存ソフトウェアの拡張手法
• 電子ニュースのダイジェスト自動生成
• 電子ニュースにおけるダイジェスト機構の実現
• Automatic generation of digests for meeting announcements in the NetNews
• プロセス代数CSPによるシーケンス図設計の詳細化と検証(組込みシステム,一般)
• NAT問題フリーなDHTを実現するライブラリ libcage の設計と実装
• Kuroyuri : ネットワーク実験記述言語処理系
• ネットワークテストベッドの現状と未来 (特集 ネットワーク技術)
• 未来デルタ機構による版管理法
• 「情報地図」による情報獲得の支援に関する研究(バリアフリーインタフェース, および一般)
• ネットワークアプリケーション実証環境構築フレームワークの実装と評価(トラヒック計測・制御,ポリシー管理,ネットワーク異常検知,信頼性,認証,ID/名前空間,ネットワークセキュリティ,プライバシー,VPN,DDoS及び一般)
• ソフトウェア工学の基礎ワークショップ(FOSE '96)の報告
• ネットワークテストベッドの現状と未来
• WWWにおける動的経路制御を用いた多段キャッシュシステム
• 投稿行動から見た電子ニュースfj
• 第1回インターネット防災訓練における生存者情報データベース (インターネットコンファレンス'96論文集) -- (Session 2(Application 2)〔和文〕)
• 急性虫垂炎に対する治療戦略
• SV-1-1 胸腹部大動脈瘤に対するopen surgery(SV-1 特別ビデオセッション(1)心臓・血管-1,第112回日本外科学会定期学術集会)
• 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
• PS-146-8 当科での肝胆膵手術におけるSSIの減少を目指した術前immunonutntionの試み(PS-146 肝 基礎・その他,ポスターセッション,第112回日本外科学会定期学術集会)
• PS-138-7 下部直腸癌に対する術後排便機能に着目した括約筋間切除術(PS-138 大腸 低侵襲,ポスターセッション,第112回日本外科学会定期学術集会)
• PS-130-1 高度進行直腸癌に対する術前補助療法の比較検討(PS-130 大腸 集学的治療-1,ポスターセッション,第112回日本外科学会定期学術集会)
• PS-015-8 治癒切除不能大腸癌に対するOPTIMOX1療法の治療成績(PS-015 大腸 化学療法-2,ポスターセッション,第112回日本外科学会定期学術集会)
• SF-119-6 ITを用いた乳癌手術 : いわゆるユビキタス環境への取り組み(SF-119 サージカルフォーラム(119)乳腺 画像診断,第112回日本外科学会定期学術集会)
• VSY-1-3 当科におけるMinimally invasive surgeryとしての腹腔鏡下膵切除の現況と問題点(VSY-1 ビデオシンポジウム(1)膵の縮小手術-その適応と問題点-,第112回日本外科学会定期学術集会)
• 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
• 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
• VD-018-1 基部置換を伴わない大動脈弁形成術のコンセプトと手技(VD-018 ビデオセッション(18)心血管,第112回日本外科学会定期学術集会)

もっと見る 閉じる

スポンサーリンク