| 南華大學 |
2003 |
台灣休閒農業區規劃與管理之研究
|
李謀監;蔡進發;翁廷碩;黃宗成 |
| 亞洲大學 |
2003 |
An Approach for Modeling and Analysis of Security System Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Association Analysis of γ2 Subunit of γ-Aminobutyric Acid Type A Receptor Polymorphisms with Febrile Seizures
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Evaluating the Changes in Alveolar Permeability and Lung Ventilation in Patients with Chronic Renal Failure after Haemodialysis using 99mTc-DTPA Radioaerosol Inhalation Lung Scan
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Fuzzy Rule Base Systems Verification Using High Level Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Machine Learning and Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Model and Algorithm for Verification of High-Assurance Properties of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
The Influence of Volatile Anesthetics on Alveolar Epithelial Permeability Measured by Noninvasive Radionuclide Lung Scan
|
蔡進發;Jeffrey, J.P.Tsai |
| 國立成功大學 |
2003 |
船舶減阻技術的應用研究(3/3)－總計畫
|
方銘川; 黃正弘; 陳政宏; 蔡進發; 吳聖儒 |
| 國立臺灣大學 |
2003 |
船舶減阻技術的應用研究(2/3)─子計畫三：微泡減阻技術在船舶上的應用研究
|
蔡進發 |
| 臺大學術典藏 |
2003 |
船舶減阻技術的應用研究(2/3)─子計畫三：微泡減阻技術在船舶上的應用研究
|
蔡進發; 蔡進發 |
| 亞洲大學 |
2002.11 |
Machine Learning and Software Engineering
|
D.Zhang;D.Zhang;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002.08 |
Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems
|
蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan |
| 亞洲大學 |
2002.06 |
Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets
|
C.Xiong;C.Xiong;T.Murata;T.Murata;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002.06 |
A Secure Mobile Agent System Model Based on Extended Elementary Object Net
|
L.Ma;L.Ma;蔡進發;Jeffrey, J.P.Tsai;T.Murata;T.Murata |
| 亞洲大學 |
2002.05 |
Modeling a Secure Mobile Agent System with Petri Nets Scheme
|
L.Ma;L.Ma;蔡進發;Jeffrey, J.P.Tsai;T.Murata;T.Murata |
| 南華大學 |
2002-12-01 |
國立中正文化中心國家音槳廳觀賞者對表演藝術節目與設施評估之研究
|
詹雅瑜;蔡進發;董育任;黃宗成 |
| 亞洲大學 |
2002-11 |
Machine Learning and Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 國立臺灣大學 |
2002-10 |
原生型XML資料庫的應用研究 STUDY ON THE APPLICATION OF NATIVE XML DATABASE
|
蔡進發; 丁肇隆; 高愷蔚 |
| 亞洲大學 |
2002-08 |
Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002-06 |
A Secure Mobile Agent System Model Based on Extended Elementary Object Net
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002-06 |
Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002-05-16 |
Modeling a Secure Mobile Agent System with Petri Net Scheme
|
馬璐;蔡進發;Tadao Murata ;林志敏;洪振偉 |
| 亞洲大學 |
2002-05 |
Modeling a Secure Mobile Agent System with Petri Nets Scheme
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002 |
Development of Wireless Embedded Systems Using Component Based Software
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002 |
Compositional Verification of Concurrent and Real-Time Systems
|
Y.T.Juan;Eric, Y.T.Juan;蔡進發;Jeffrey, J.P.Tsai |
| 國立臺灣大學 |
2002 |
仿生型自主式水下載具之基本研究(3/3)─子計畫一：仿生型自主式水下載具阻力推進性能研究
|
蔡進發 |
| 亞洲大學 |
2001.03 |
Formal Analysis of Software Security Systems Architecture
|
Y.Deng;Y.Deng;J.Wang;J.Wang;蔡進發;Jeffrey, J.P.Tsai;K.Beznosov;K.Beznosov |
| 亞洲大學 |
2001-03 |
Formal Analysis of Software Security Systems Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2001 |
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2001 |
Hybrid Parallel Execution Model for Logic-Based Specification Languages
|
蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li |
| 國立臺灣大學 |
2001 |
仿生型自主式水下載具之基本研究(2/3)─子計畫一：仿生型自主式水下載具阻力推進性能研究
|
蔡進發 |
| 國立臺灣大學 |
2001 |
水下剛體運動之研究－(1)自由滑行運動之分析及試驗
|
蔡進發 |
| 臺大學術典藏 |
2001 |
仿生型自主式水下載具之基本研究(2/3)─子計畫一：仿生型自主式水下載具阻力推進性能研究
|
蔡進發; 蔡進發 |
| 臺大學術典藏 |
2001 |
水下剛體運動之研究－(1)自由滑行運動之分析及試驗
|
蔡進發; 蔡進發 |
| 亞洲大學 |
2000.06 |
An Agent-based Internet Software Integration System
|
J.-M.Lin;J.-M.Lin;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000.06 |
A Compositional Approach for Modeling and Verification of Component-Based Software Systems
|
蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan |
| 亞洲大學 |
2000-06 |
A Compositional Approach for Modeling and Verification of Component-Based Software Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000-06 |
An Agent-based Internet Software Integration System
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000 |
Clustering Algorithm for Parallelizing Software Systems in Multi-Processors Environment
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000 |
Fault-toleration by Duplication and Debugging for Distributed Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 國立臺灣大學 |
2000 |
仿生型自主式水下載具之基本研究─子計畫一：仿生型自主式水下載具阻力推進性能研究(1/3)
|
蔡進發 |
| 臺大學術典藏 |
2000 |
仿生型自主式水下載具之基本研究─子計畫一：仿生型自主式水下載具阻力推進性能研究(1/3)
|
蔡進發; 蔡進發 |
| 亞洲大學 |
1999.06 |
Architecture Specification of Multimedia Software Systems
|
蔡進發;Jeffrey, J.P.Tsai;K.Xu;K.Xu |
| 亞洲大學 |
1999-06 |
Architecture Specification of Multimedia Software Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 國立臺灣大學 |
1999 |
高速推進器設計與性能解析研究(Ⅲ)─子計畫四：水噴推進系統之研究
|
蔡進發 |
| 亞洲大學 |
1998.04 |
Multimedia Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai;F.Bastani;F.Bastani;M.Hirakawa;M.Hirakawa;S.B.;S.Barchayara |
| 亞洲大學 |
1998-04 |
Multimedia Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 國立臺灣大學 |
1998 |
高速推進器設計與性能解析研究(Ⅱ)─水噴推進系統之研究
|
蔡進發 |
| 臺大學術典藏 |
1998 |
高速推進器設計與性能解析研究(Ⅱ)─水噴推進系統之研究
|
蔡進發; 蔡進發 |
