検索結果
"category:/Research"
| タイトルと要約 | 日付/時間 | |
|---|---|---|
|
81
|
Object-Based Data Flow Testing of Web Applications
データフローに着目して Web アプリケーションのテストケースを作ればい... |
2008/05/27 0:21:48 |
|
82
|
Inference of reference immutability
Java プログラムを対象に参照の immutability を Javari の型システムに基づいて推論するアルゴリズ... |
2008/05/16 0:28:01 |
|
83
|
Towards Type Inference for JavaScript
JavaScript のサブセットの型システムの提案。存在しな... |
2008/04/02 19:32:39 |
|
84
|
Towards a Type System for Analyzing JavaScript Programs
JavaScript の型システムの提案。クラス定義を書かない... |
2008/03/24 14:44:13 |
|
85
|
JavaScript Instrumentation for Browser Security
Web ページに埋め込まれた JavaScript プログラムがポリシーに従っているか動的に... |
2008/03/19 16:36:18 |
|
86
|
Migrating Multi-page Web Applications to Single-page Ajax Interfaces
複数ページから構成される Web アプリケーションを Ajax 化する手法の提案。ページの抽出、スキーマ... |
2008/03/18 15:38:39 |
|
87
|
Automatic Extraction and Verification of Page Transitions in a Web Application
Struts アプリケーションのページ遷移を SPIN を使って検証する話。JSP と Struts 設定ファイルからページ遷移を抽出して promela 記述に落として SPIN へ。ページ遷移のノードは JSP とアクション、遷移は html:form, forward, global-forward などで、いたって普通。 author="Atsuto Kubo and Hironori Washizaki and Yoshiaki Fukazawa", title="{Automatic ... |
2008/02/20 15:28:45 |
|
88
|
SecureC: Control-flow Protection Against General Buffer Overflow Attack
バッファオーバーフローを用いた攻撃を防ぐ... |
2007/10/22 23:00:41 |
|
89
|
Pointer Analysis for Structured Parallel Programs
並列プログラムのポインタ解析手法。論文で... |
2007/08/10 10:49:24 |
|
90
|
Refactoring Programs to Secure Information Flows
情報流解析に基づくリファクタリングの提案... |
2007/07/23 11:03:45 |
|
91
|
JFlow: Practical Mostly-Static Information Flow Control
Javaの機能を極力削らないようにしなが... |
2007/07/17 18:05:29 |
|
92
|
Proving Thread Termination
マルチスレッドなプログラムにおいてスレッ... |
2007/07/17 16:10:13 |
|
93
|
A Chart Semantics for the Pi-Calculus
π計算の意味論を図的に定義しようという論... |
2007/07/15 18:44:19 |
|
94
|
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes
π計算のプロセスの spatial property について partial order reduction する話。partial order reduction が可能な論理式のクラスを明らかにしている... |
2007/03/02 16:06:49 |
|
95
|
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis
複数のリファクタリング操作を行おうとして... |
2007/02/27 19:19:02 |
|
96
|
A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages
並行オブジェクト指向言語の意味論を CCS で定義した論文。似たようなことをやった研... |
2007/02/21 21:35:38 |
|
97
|
An Extensible Meta-Model for Program Analysis
Cross-Language Program Analysis and Refactoring ... |
2007/02/09 19:13:14 |
|
98
|
Cross-Language Program Analysis and Refactoring
複数のプログラミング言語を対象としたメタ... |
2007/02/08 11:44:24 |
|
99
|
Model-Checking Real-Time Control Programs - Verifying LEGO Mindstorms Systems Using UPPAAL
LEGO Mindstroms 上で動くプログラムを UPPAAL で検証したという論文。スケジューラのモデ... |
2006/12/06 16:55:13 |
|
100
|
Verification of the legOS Scheduler using Uppaal
legOS のスケジューラは固定優先度方式で優先度の... |
2006/12/02 13:11:58 |