蔡進發:學術著作,主編圖書,國際期刊論文,學術活動,

蔡進發畢業於美國西北大學電機工程與電腦科學博士，專長是體工程、生物資訊、人工智慧、分散式即時系統，現任職於亞洲大學，擔任校長職位。

基本介紹

中文名：蔡進發
國籍：中國
民族：漢族
出生地：台灣
職業：校長
畢業院校：美國西北大學電機工程與電腦科學博士
主要成就：亞洲大學校長
專長：軟體工程、生物資訊、人工智慧

學術著作,主編圖書,國際期刊論文,學術活動,

學術著作

主編圖書

Knowledge-Based Software Development for Real-Time Distributed Systems, (J. J.P. Tsai and T. Weigert), World Scientific Inc., New Jersey, December 1993.
Monitoring and Debugging Distributed Real-Time Systems, (ed., J. J.P. Tsai and S. Yang), IEEE Computer Society Press, Washington D.C., November 1994.
Distributed Real-Time Systems, (J. J.P. Tsai, Y. Bi, S. Yang, and R. Smith),Wiley & Sons Inc., NY, 1996.
Hybrid Parallel Execution Model for Logic-Based Specification Languages, (J. J.P. Tsai and B. Li),World Scientific Pub. Inc., New Jersey, 2001.
Compositional Verification of Concurrent and Real-Time Systems, (E. Juan and J. J.P. Tsai), Springer/Kluwer, 2002.
Machine Learning Applications in Software Engineering, (ed., D. Zhang and J. J.P. Tsai), World Scientific Inc., 2005.
Security Modeling and Analysis of Mobile Agent Systems, (L. Ma and J. J.P. Tsai), Imperial College Press, London, 2006.
Ubiquitous Intelligence and Computing, (ed. J. Ma, H. Jin, L. T. Yang, J. J.P. Tsai), Lecture Notes in Computer Science, Springer, New York, 2006.
Advances in Machine Learning Applications in Software Engineering, (ed., D. Zhang and J. J.P. Tsai), IGI Publishing Inc., PA, 2007.
Sensor Networks, Ubiquitous and Trustworthy Computing, (ed., M. Singhal, G. Serugendo, J. Tsai, W. Lee, K. Romer, Y. Tseng), IEEE Computer Society Press, 2008.
Machine Learning in Cyber Trust: Security, Privacy, Reliability, (ed. J. J.P. Tsai and P. S. Yu), Springer, New York, 2009.
Intrusion Detection: A Machine Learning Approach, (J. J.P. Tsai, Z. Yu), Imperial College Press, London, 2010.

國際期刊論文

"A Survey of Software Design Techniques," (S.S. Yau and J.J.P. Tsai),IEEE Transactions on Software Engineering, Vol. 12, No. 6, pp. 713-721, June 1986.
"Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications," (S. S. Yau and J.J.P. Tsai),IEEE Transactions on Software Engineering, Vol. 13, No. 3, pp. 355-361, March 1987.
"An Intelligent Decision-maker for Optimal Control," (M. Rao, T. Jiang, and J.J.P. Tsai),International Journal of Applied Artificial Intelligence, Vol. 2, No. 4, pp. 289-309, 1988.
"An Integrated Life-Cycle Model for Software Maintenance," (S. S. Yau, R. Nichol, J.J.P. Tsai, and S. Liu),IEEE Transactions on Software Engineering, Vol. 14, No. 8, pp. 1128-1144, August 1988.
"IDSCA: An Intelligent Direction Selector for the Controller's Actions in Multiple-Loop Control Systems," (M. Rao, T. Jiang, and J.J.P. Tsai),International Journal of Intelligent Systems, John Wiley & Sons, Inc., Vol. 3, No. 4, pp. 361-379, 1988.
"Intelligent Support for Specifications Transformation," (J.J.P. Tsai and J. Ridge),IEEE Software, Vol. 5, No. 6, pp. 28-35, November 1988.
"A Knowledge-Based Approach to Software Design," (J.J.P. Tsai),IEEE Journal on Selected Areas in Communications, Vol. SAC-6, No. 5, pp. 828-841, June 1988.
"Combining Symbolic and Numerical Processing in Real-Time Intelligence Control," (M. Rao, T. Jiang, and J.J.P. Tsai),International Journal of Engineering Applications of Artificial Intelligence, Vol. 2, pp. 19-27, 1989.
"A Knowledge-Based System for Rapid Prototyping," (J.J.P. Tsai and A. Liu),Journal of Knowledge-Based Systems, Vol. 2, No. 4, pp. 239-248, December 1989.
"A Knowledge-Based Approach for Checking Software Information Using a Non-Monotonic Reasoning System," (J.J.P. Tsai and T. Weigert),Journal of Knowledge-Based Systems, Vol. 3, No. 3, pp. 131-138, 1990.
"Integration Strategy for Real-Time Distributed Intelligent Systems," (M. Rao, T. Jiang, and J.J.P. Tsai),Journal of Intelligent and Robotic Systems, Vol. 3, pp. 131-146, 1990.
"A Knowledge-Based Navigation Scheme for Autonomous Land Vehicles," (M. Metea, J.J.P. Tsai, and J. Cesarone),International Journal of Applied Artificial Intelligence, Vol. 4, No. 1, pp. 1-14, 1990.
"Integrated Intelligent Simulation Environment," (M. Rao, T. Jiang, and J.J.P. Tsai), Journal of Simulation, Vol. 55, No. 1, pp. 291-295, July 1990.
"A Non-invasive Architecture to Monitor Real-Time Distributed Systems," (J.J.P. Tsai, K.Y. Fang, and H.Y. Chen),IEEE Computer, Vol. 23, No. 4, pp. 11-23, March 1990.
"A Non-Interference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging," (J.J.P. Tsai, K.Y. Fang, H.Y. Chen, and Y. Bi),IEEE Transaction on Software Engineering, Vol. SE-16, No. 9 pp. 897-916, August 1990.
"HCLIE: A Logic-Based Requirements Language for New Software Engineering Paradigms," (J.J.P. Tsai and T. Weigert),IEEE Software Engineering Journal, Vol. 6, No. 4, pp. 137-151, July 1991.
"L-Resolution and the Interpretation of L-Implication in Fuzzy Operator Logic," (J.J.P. Tsai, X. Liu, K.Y. Fang, and T. Weigert),Information Sciences, Vol. 56, No. 1, pp. 259-278, August 1991.
"A Knowledge-Based System for ADA Software Development," (J.J.P. Tsai and R. Sheu),Journal of Systems Integration, Vol. 1, No. 2, pp. 163-194, August 1991.
"Reasoning under Uncertainty in Fuzzy Operator Logic," (J.J.P. Tsai, T. Weigert, and X. Liu),IEEE Transactions on System, Man, and Cybernetics, Vol. 21, No. 6, pp. 1604-1608, Nov./Dec. 1991.
"A Knowledge-Based Approach for the Specification and Analysis of Real-Time Systems," (J.J.P. Tsai and H. Jang),International Journal of Artificial Intelligence Tools, Vol. 1 No. 1, pp. 1-35, March 1992.
"An Explication of Reasoning in Multiple Inheritance Systems Through Non-Monotonic Horn Clause Logic," (J.J.P. Tsai and T. Weigert),Information Sciences, Vol. 63, No. 3, pp. 261-283, Sept. 1992.
"KBRMS: An Intelligent Assistant for Requirement Definition," (B. Binder and J.J.P. Tsai),International Journal of Artificial Intelligence Tools, Vol. 1, No. 4, pp. 503-522, December 1992.
"Artificial Intelligence for Software Engineering," (J.J.P. Tsai),International Journal of Software Engineering and Knowledge Engineering, Vol. 2, No. 4, p. 487, December 1992.
"A Hybrid Knowledge Representation as a Basis of Requirements Specification and Specification Analysis," (J.J.P. Tsai, T. Weigert, and H. Jang),IEEE Transactions on Software Engineering, Vol. 18, No. 12, pp. 1076-1100, December 1992.
"Intelligent Syntax-Directed Editor that Models User Proficiency," (J.J.P. Tsai, O. Chan, and A. Liu),International Journal of Applied Artificial Intelligence, Vol. 6, pp. 165-192, 1992.
"An Event-Based Real-Time Logic to Specify Behavior and Timing Properties of Real-Time Systems," (J.J.P. Tsai, H. Chen, and Y. Bi),International Journal of Artificial Intelligence Tools, Vol. 2, No. 1, pp. 71-92, March 1993.
"Fuzzy Operator Logic and Fuzzy Reasoning," (T. Weigert, J.J.P. Tsai, and X.H. Liu),Journal of Automated Reasoning, Vol. 10, No. 1, pp. 59-78, 1993.
"A Computationally Tractable Non-Monotonic Logic," (T. Weigert and J.J.P. Tsai),IEEE Transactions on Knowledge and Data Engineering, Vol. 6, No. 1, pp. 57-63, February 1994.
"Debugging of Logic-Based Requirements Specifications for Safety-Critical Systems - A FRORL Approach," (J.J.P. Tsai, A. Liu, and K. Nair),Int'l Journal of Software Engineering and Knowledge Engineering, Vol. 4, No. 2, pp. 205-227, June 1994.
"Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications," (J.J.P. Tsai, C. Chang, and S. Yang),IEEE Transactions on Software Engineering, Vol. 21, No. 1, pp. 32-49, January 1995.
"Dependability of Artificial Intelligence Systems," (J.J.P. Tsai),IEEE Transactions on Knowledge and Data Engineering, Vol. 7, No. 1, pp. 1-3, February 1995.
"MDDT Constructs for Incorporating Early-Receives in Distributed Computing," (D. Kadamuddi and J.J.P. Tsai),Journal of Computer Systems: Science and Engineering, Vol. 10, No. 4, pp. 223-233, October 1995.
"Debugging for Timing Constraint Violations," (J.J.P. Tsai, Y. Bi, and Y. Yang),IEEE Software, Vol. 13, No. 2, pp. 89-99, March 1996.
"A Knowledge-Based Approach for Requirements Analysis," (A. Liu and J.J.P. Tsai),International Journal of Artificial Intelligence Tools, Vol. 5, No. 2, pp. 167-184, June 1996.
"A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support," (J.J.P. Tsai,Y. Yang, and Y. Bi),International Journal of Software Engineering and Knowledge Engineering, Vol. 6, No. 3, September 1996.
"Parallel Evaluation of Software Architecture Specifications," (J.J.P. Tsai, B. Li, and E. Juan),Communication of the ACM, Vol. 40, No. 1, pp. 63-70, January 1997.
"A Logic-Based Transformation System," (J.J.P. Tsai, B. Li, and T. Weigert),IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No.1, pp. 91-107, Jan. 1998.
"Incremental Verification of Architecture Specification for Real-Time Systems," (J.J.P. Tsai, A. Sahay, P. Sistla, and R. Paul),International Journal of Software Engineering and Knowledge Engineering, Vol. 8, No. 3, pp. 347-360, September 1998.
"Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules," (E. Juan, J.J.P. Tsai, and T. Murata),ACM Transactions on Programming Languages and Systems, Vol. 20, No. 5, pp. 917-979, Sept. 1998.
"Knowledge-Based Software Architecture: Acquisition, Specification, Verifi- cation," (J.J.P. Tsai, A. Liu, E. Juan, and A. Sahay),IEEE Transactions on Knowledge and Data Engineering, Vol.11 No. 1, pp. 187-201, Jan. 1999.
"Multimedia Software Engineering," (J.J.P. Tsai),International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 2, 1999.
"High-Assurance Software Engineering," (J.J.P. Tsai),International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 2, 1999.
"A New Incremental Algorithm for Real-Time Systems," (J.J.P. Tsai, A. Sahay, and P. Sistla),International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 2, pp203-216, 1999.
"A Hybrid Parallel Execution Model of Logic-Based Requirements Specification Language," (J.J.P. Tsai and B. Li),Australian Journal of Information Systems, Vol. 6, No. 2, July 1999.
"An Incremental Algorithm for Real-Time Systems," (J.J.P. Tsai, A. Sahay, and P. Sistla),International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 3, pp. 203-216, June 1999.
"Specification of Multimedia Software Systems Using an Object-Oriented Architecture Description Language," (J.J.P. Tsai and K. Xu),International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 4, pp. 767-800, August 1999.
"Real-Time Software Engineering," (J.J.P. Tsai),Annals of Software Engineering, Vol. 7, pp. 1-3, October 1999.
"An Empirical Evaluation of Deadlock Detection in Software Architecture Specification," (J.J.P. Tsai and K. Xu),Annals of Software Engineering, Vol. 7, pp. 95-126, October 1999.
"Clustering Algorithm for Parallelizing Software Systems in Multi-Processors Environment," (D. Kadamuddi and J.J.P. Tsai),IEEE Transactions on Software Engineering, Vol. 26, No.4, pp. 340-361, 2000.
"A Comparative Study of Formal Verification Techniques for Architecture Specifications," (J.J.P. Tsai and K. Xu),Annals of Software Engineering, Vol. 10, pp. 207-223, March 2000.
"Supporting Well-Engineered Web Documentation Development: A Multimedia Software Engineering Approach toward Virtual University Courseware," (T. Shih, S.K. Chang, J.J.P. Tsai, J. Ma, and R. Huang),Annals of Software Engineering, Vol.1 No. 1, pp. 139-165, 2001.
"Multimedia Software Engineering," (J.J.P. Tsai),Annals of Software Engineering, Vol.1 No. 1, 2001.
"Reduction Methods for Real-Time Systems Using Delay Time Petri Nets," (E. Juan, J.J.P. Tsai, T. Murata, and Y. Zhou),IEEE Transactions on Software Engineering, Vol. 27, No. 5, pp. 422-448, March 2001.
"Modeling and Verification of High Assurance Properties of Safety-Critical Systems," (J.J.P. Tsai and E. Juan),The Computer Journal, Vol. 44, No. 6, pp. 504-530, Dec. 2001.
"Development of Wireless Embedded Systems Using Component Based Software," (S. J.H. Yang, J.J.P. Tsai, and C.H. Chu),International Journal of Software Engineering and Knowledge Engineering, Vol. 12, No. 2, , pp. 135-154, April 2002.
"Fuzzy Rule Base Systems Verification Using High Level Petri Nets," (S. Yang, J.J.P. Tsai, and C. C. Chen),IEEE Transactions on Knowledge and Data Engineering, Vol. 15, No. 2, pp. 457-473, 2003.
"Model and Algorithm for Verification of High-Assurance Properties of Real-Time Systems," (J.J.P. Tsai, E. Juan, and A. Sahay),IEEE Transactions on Knowledge and Data Engineering, Vol. 15, No. 2, pp. 405-422, 2003.
"An Approach for Modeling and Analysis of Security System Architecture," (Y. Deng, J. Wang, J.J.P. Tsai, and K. Beznosov),IEEE Transactions on Knowledge and Data Engineering, Vol. 15, No. 5, pp. 1099-1119, 2003.
"Machine Learning and Software Engineering," (D. Zhang and J.J.P. Tsai),Software Quality Journal, Kluwer Academic Pub., Vol. 11, No. 2, pp.87-119, 2003.
"The Influence of Volatile Anesthetics on Alveolar Epithelial Permeability Measured by Noninvasive Radionuclide Lung Scan," (C. H. Huang, F.Y. Liu, R.S.C. Wu, J.J.P. Tsai, C.C. Lin, and A. Kao),Annals of Nuclear Medicine, Vol. 17, No. 3, pp. 213-218, 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,” ( M. T. Kao, Y. C. Shiau, J. J.P. Tsai, J. J. Wang, S. T. Ho, A. Kao),Nuclear Medicine Communication, Vol. 24, No. 7, pp, 825-828, July 2003.
“Association Analysis of γ2 Subunit of γ-Aminobutyric Acid Type A Receptor Polymorphisms with Febrile Seizures,” (I.C. Chou, C.T. Peng, C.C. Huang, J. J. P. Tsai, F.J. Tsai, C.H. Tsai),Pediatric Research, Vol. 54 No. 1, pp. 26-29, 2003.
“Interleukin-10 Gene -627 Allele Variants, not Interleukin-I Beta Gene and Receptor Antagonist Gene Polymorphisms, are Associated with Atopic Bronchial Asthma,” (L. W. Hang, T. H. Hsia, W.C. Chen, H. Y. Chen, J. J.P. Tsai, and F. J. Tsai),Journal of Clinical Laboratory Analysis, Vol. 17, No. 5, pp. 168-173, August 2003.
“Association of the Neuronal Nicotinic Acetylcholine Receptor Subunit Alpha4 Polymorphisms with Febrile Convulsions,” (I.C. Chou, C.C. Lee, C.C. Huang, J.Y. Wu, J. J.P. Tsai, C.H. Tsai, F.J. Tsai),Epilepsia, Vol. 44, No. 8, pp. 1089-1093, August 2003.
“A Pilot Trial of Quantitative Tc-99m HMPAO and Ga-67 Citrate Lung Scans to Detect Pulmonary Endothelial Damage and Lung Inflatammation in Patients of Collagen Vascular Diseases with Active Diffuse Infiltrative Lung Disease,”( S.S. Sun , F.Y. Liu, J.J.P. Tsai, R.F. Yen, C.H. Kao, W.S. Huang),Rheumatology International, Vol. 23, No. 6, pp.301-304, November 2003.
“Glutathione S-transferase T1 Deletion is a Factor for Developing End-stage Renal Disease in Diabetic Patients,” (Y. Yang, M.T. Kao, S.Y. Chung, C.M. Chen, J.J.P. Tsai, and J.G. Chang),International Journal of Molecular Medicine, Vol.14, No. 5, pp. 855-859, November 2004.
"Constraint Propagation and Progressive Verification for Component-based Process Model," (Y. Deng, X. He, J. Wang, and J.J.P. Tsai),International Journal of Software Engineering and Knowledge Engineering, Vol. 14, No. 5, pp. 471-496, October 2004.
“Association between Urokinase Gene 3’-UTR T/C Polymorphism and Chinese patients with Rheumatoid Arthritis in Taiwan,” (C.M. Huang, C.L. Chen, J. J. P. Tsai, C.H. Tsai, and F.J. Tsai),Clinical and Experimental Rhenmatology, Vol. 22, No. 2, pp. 219-222, 2004.
“The Relationship between Insulin-like Growth Factor-II Gene Apa I Polymorphism and Rheumatoid Arthritis,” (C. M. Huang, C. H. Tsai, J. J.P. Tsai, P.T. Kung, C. L. Chen, and F. J. Tsai),Scandinavian Journal of Rheumatology, Vol. 33, No. 2, pp. 126-127, March 2004.
"A Software Architecture for Finding Motifs using Genetic Algorithm," (R.M. Chen, F. M. Liu, and J.J.P. Tsai),International Journal of Software Engineering and Knowledge Engineering, Vol. 15, No. 3, pp. 571-585, May 2005.
“Software Engineering Support for Bioinformatics,” (J. J.P. Tsai and D. Zhang),International Journal of Software Engineering and Knowledge Engineering, Vol. 15, No. 3, pp. 473-474, May 2005.
"Distributed Mining of Partial Periodic Patterns in Sequences," (H.W. Hsiao, M.S. Tsai, and J. J.P. Tsai),International Journal of Internet Technology, Vol. 6, No. 4, pp. 445-452, Oct. 2005.
“A Bioinformatics Approach for Predicting the Lengths of Motifs,” (C.C. Lee, R.M. Chen, and J. J.P. Tsai),Journal of Health Management, Vol. 3, No. 2, pp. 179-187, Dec. 2005.
“Amino Acid Concentrations in Cerebrospinal Fluid in Children with Acute Lymphoblastic Leukemia undergoing Chemotherapy,” (C.T. Peng, K.H. Wu, S.J. Lan, J. J.P. Tsai, F.J. Tsai, and C.H. Tsai),European Journal of Cancer, Vol. 41, No. 8. pp. 1158-1163, 2005.
”Modular Structures and Robustness of Protein Networks,“ (K. L. Ng, C.H. Huang, P. H. Lee, J.F. Fang, and J. J.P. Tsai),International Journal of Artificial Intelligence Tools, Vol. 15, No. 2, pp. 309-322, April 2006.
"Searching the Regulatory Protein Binding Site by Steepest Ascent Algorithm," (W.F. Huang, R.M. Chen, R.M. Hu, and J.J.P. Tsai),Asian Journal of Health and Information Sciences, Vol.1, No. 1, pp. 122-133, 2006.
“A Novel Cache-based Approach to Large Polygonal Mesh Simplification,” (H.K. Chen, C.S. Fahn, J. J.P. Tsai, and M. B. Lin),Journal of Information Science and Engineering, Vol. 22, No. 4, pp. 843-861, 2006.
“Generating High Quality Discrete LOD Meshes for 3D Computer Applications Linear Time,” (H. Chen, C.S. Fahn, J. J.P. Tsai, R.M. Chen, and M.B. Lin),ACM Multimedia Systems Journal, Vol. 11, No. 5, pp. 480-494, June 2006.
“Predicting Cancerous Genes Based on Regulation Truth Tables,” (R.M. Chen, K.C. Shih, R. M. Hu, and J. J.P. Tsai),International Journal of Artificial Intelligence Tools, Vol. 15, No. 5, pp. 753-766, October 2006.
“Increased Prevalence of Interleukin-1 Receptor Antagonist Gene Polymorphism in Patients With Chronic Rhinosinusitis,” ( Y.K. Cheng, C.H. Lin, W. C. Chang, G. Y. Hwang, S.W. Tsai, L. Wan, M. H. Tsai, J. J. P. Tsai, F. J. Tsai),Archives of Otolaryngology Head Neck Surgery, Vol. 132, pp. 285-290, 2006.
“A Novel Feature with Dynamic Time Warping and Least Squares Adjustment for Protein Structure Alignment,” (H.W. Hsiao, W.H. Hsiao, C.K. Hsu, J. J.P. Tsai),Asian Journal of Health and Information Sciences, Vol. 1, No. 3, pp. 261-275, October 2006.
"An Efficient Intrusion Detection System using Boosting -Based Learning Algorithm," (Z. Yu and J.J.P. Tsai),International Journal of Computer Applications in Technology, Vol. 27, No. 4, pp. 223-231, December 2006.
“Cognitive Informatics – Four Years in Practice,” (D. Zhang, W. Kinser, J. J.P. Tsai, Y Wang, P. Sheu, T. Wang),International Journal on Cognitive Informatics and Natural Intelligence, Vol. 1, No. 1, pp. 1107-1108, Jan. 2007.
“Sensor Networks, Ubiquitous and Trustworthy Computing,”International Journal of Distributed Sensor Networks, Vol. 3, No. 2, pp. 135-136, 2007.
“Security Modeling of Mobile Agent Systems,” (J. J.P. Tsai and L. Ma),Journal of Ubiquitous Computing and Intelligence, Vol. 1 No. 1, pp. 73-85, April 2007.
”Automatically Tuning Intrusion Detection System,” (Z. Yu, J. J.P. Tsai, and T. Weigert),IEEE Transactions on System, Man, and Cybernetics, Part B, Vol. 37, No. 2, pp. 373-384, April 2007.
“Sensor Network, Ubiquitous, and Trustworthy Computing,” ( J. J.P. Tsai and M. Singhal),ACM Transactions on Autonomous and Adaptive Systems, Vol. 2, No. 3, September 2007.
“A Coordination Model for Improving Software System Attack-tolerance and Survivability in Open Hostile Environments,” (S.P. Ren, Y. Yu, K. Kwiat, and J. J.P. Tsai),International Journal of Distributed Sensor Networks, Vol. 3, No. 2, pp. 175-199, 2007.
“Sensor Network, Ubiquitous, and Trustworthy Computing,” (J. J.P. Tsai and M. Singhal),International Journal of Distributed Sensor Networks, Vol. 3, No. 2, 2007.
“The Role of Roles in Supporting Reconfigurability and Fault Localizations for Open Distributed and Embedded Systems,” (S.P. Ren, Y. Yu, Y. Chen, J. J.P. Tsai, and K. Kwiat),ACM Transactions on Autonomous and Adaptive Systems, Vol. 2, No. 3, September 2007.
“Introduction: Special Issue of the IEEE SUTC'06,” (J.J.P. Tsai and M. Singhal),ACM Transactions on Autonomous and Adaptive Systems, Vol. 2, No. 3, September 2007.
”Formal Modeling and Analysis of Secure Mobile Agent Systems,” (L. Ma and J. J.P. Tsai),IEEE Transactions on System, Man, and Cybernetics, Part A, Vol. 38, No. 1, pp. 180-196, January 2008.
“Using SCDL for Integrating Tools and Data for Complex Biomedical Applications,” (S. Wang, R.M. Hu, H. C. W. Hsiao, D. Hecht, A. K.L. Ng, R.M. Chen, P. C.Y. Sheu, J.J.P. Tsai)International Journal of Semantic Computing, Vol. 2, No. 2, pp. 291-308, June 2008.
“Scaling Behavior of Maximal Repeat Distributions in Genomic Sequences,” (J.D. Wang, H.C. Liu, J. J.P. Tsai, K.L. Ng),International Journal on Cognitive Informatics and Natural Intelligence, Vol. 2, No. 3, pp. 31-42, 2008.
“An Adaptive Automatically Tuning Intrusion Detection System,” (Z. Yu, J. J.P. Tsai, and T. Weigert),ACM Transactions on Autonomous and Adaptive Systems, Vol. 3, No. 3, July 2008.
“Predicting Subcellular Locations of Eukaryotic Proteins using Bayesian and K-nearest Neighbor Classifiers,” (H.W. Hsiao, S.H. Chen, P.C. Chang, and J. J.P. Tsai),Journal of Information Science and Engineering, Vol. 24, No. 5, pp. 1361-1375, Sept. 2008.
“Supporting CSCW and CSCL with Intelligent Grouping Services,” (J. J.P. Tsai, J. Zhang, J. J.S. Huang, S. J.H. Yang),International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 1, No. 1, pp. 51-63, Jan. 2009.
“SOA-oriented Content Delivery Model for Mobile Internet Navigation,” (S. Yang, J. Zhang, J. J.P. Tsai, A. Huang),International Journal of Artificial Intelligence Tools, Vol. 18, No. 1, pp. 141-161, Feb. 2009.
“A Doctrine of Cognitive Informatics,” (Y. Wang, W. Kinser, J. Anderson , D. Zhang, Y. Yao, P. Sheu, J. J.P. Tsai, W. Pedrycz, J. Latombe, L. Zadeh, D. Patel, C. Chan),Fundamenta Informaticae, Vol. 90, No. 3, pp. 203-228, March 2009.
“Experience on Knowledge-based Software Engineering: A Logic-based Requirements Language and its Industrial Applications,” (J. J.P. Tsai and A. Liu),Journal of Systems and Software, Vol. 82, No. 10, pp. 1578-1587, Oct. 2009.
“Improving Peer-to-Peer Performance through Intelligent Social Search,” (S. Yang, J. Zhang, L. Lin, J. Tsai),Journal of Expert Systems with Applications, Vol. 36, No. 7, pp. 10312-10324, 2009.
”A Model for Object Relational OLAP,“ (S. Ikeda, P. Sheu, and J. J.P. Tsai),International Journal of Artificial Intelligence Tools, Oct. 2010.
“Using Description Logics for the Provision of Context-Driven Content Adaptation Services,” ( S. Yang, J. Zhang, J. Huang, J.J.P. Tsai),International Journal of Systems and Service-Oriented Engineering, 2010.
“Improving Fuzzy Knowledge Integration with Particle Swarm Optimization,” (A Huang, S. Yang, J. Tsai),Journal of Expert Systems with Applications, Vol. 37, 2010.
“Special Issue on Selected Papers from the 9th IEEE International Conference on Bioinformatics and Bioengineering (BIBE2009) PREFACE,” (J.J.P. Tsai, Phillip C. Y. Sheu, Han C. W. Hsiao),International Journal on Artificial Intelligence Tools, Vol. 19 No.3 pp. 233-234, 2010.
“A Collaborative Multimedia Annotation Tool for Enhancing Knowledge Sharing in CSCL,” (Stephen J. H. Yang, Jia Zhang, Addison Y. S. Su, Jeffrey J. P. Tsai),Interactive Learning Environments, Vol. 19 No.1 pp. 45-62, 2011.
“Cumulative Spectral Repeat Finder (CSRF): A Spectral Approach for Identifying the Length of Repeats in DNA Sequences,” (R. M. Chen, M. T. Hou, N. W. Chang, Y. T. Chen, Jeffrey J. P. Tsai),International Journal on Artificial Intelligence Tools, Vol. 20, No. 1, pp.179-194, Feb. 2011.
“Decreased Expression of p39 is Associated with a Poor prognosis in Human Hepatocellular Carcinoma,” (J. W. Lu, J. G. Chang, K. T. Yeh, R. M. Chen, Jeffrey J. P. Tsai, and R. M. Hu), Med Oncol. 10:9707-9. (Oct. 2010)
“Overexpression of Thy1/CD90 in human hepatocellular carcinoma is associated with HBV infection and poor prognosis.” (J. W. Lu, J. G. Chang, K. T. Yeh, R. M. Chen, Jeffrey J. P. Tsai, and R. M. Hu, 2011.
“Induction of a secretable beta-lactamase requires a long lag time in Xanthomonas campestris pv. campestris str. 17”(Tsuey-Ching Yang, Mei-Jung Tsai, Jeffrey J.P. Tsai, Rouh-Mei Hu), Research in Microbiology, p. 1-7 (2011).
“Increased expression of PRL-1 protein correlates with shortened patient survival in human hepatocellular carcinoma,”(Jeng-Wei Lu, Jan-Gowth Chang, Kun-Tu Yeh, Rong-Ming Chen, Jeffrey J.P. Tsai ‧ Wei-Wen Su ‧ Rouh-Mei Hu), Clin Transl Oncol (2012) 14:287-293.
“Cefoxitin is Both an Inhibitor of Class A Beta-Lactamase of Xanthomonas Campestris pv. Campestris str. 17 and an Inducer of its Gene” ( Yang Tsuey-Ching, David Hecht, Jeffrey J.P. Tsai, and Rouh-Mei Hu ), Research in Micrbiology. 163(8):550-556. (Sep, 2012)
“Clinical Implications of Deregulated CDK4 and Cyclin D1 Expression in Patients with Human Hepatocellular Carcinoma” (J. W. Lu, J. G. Chang, K. T. Yeh, R. M. Chen, Jeffrey J. P. Tsai, Su, W. W. and R. M. Hu*), Med. Oncol., 2012.
“AmpG is required for the BlaXc beta-lactamase expression in Xanthomonas campestris pv. campestris str.17” (Yang, Tsuey-Ching, Tzu-Fan Chen, Jeffrey J. P. Tsai, Rouh-Mei Hu), FEMS Microbiology Letters, 2013.
“Data Hiding in DNA for Authentication of Plant Variety Rights ，Journal of Electronic Science and Technology” (Wei-Liang Tai, Charles C.N. Wang, Phillip C.Y. Sheu, Jeffrey J. P. Tsai), Journal of Electronic Science and Technology. (2013)
“Prediction of microRNA-regulated protein interaction pathways in Arabidopsis using machine learning algorithms” (Nilubon Kurubanjerdjit, Chien-Hung Huang, Yuliang Lee, Jeffrey J.P Tsai and Ka-Lok Ng), Computers in Biology and Medicine. (2013)
“The Prediction of Protein-Protein Interaction of A. Thaliana and X. Campestris Pv. Campestris Based on Protein Domain and Interolog Approaches” (Nilubon Kurubanjerdjit, Jeffrey J.P Tsai, Chen-Yu Sheu, Ka-Lok Ng), Plant Omics Journal. (2013)
“A Model Comparison Study of the Flowering Time Regulatory Network in Arabidopsis” (Charles C.N. Wang, Pei-Chun Chang, Ka-Lok Ng, Phillip C.Y. Sheu, Jeffrey J.P. Tsai), BMC Systems Biology. (2014) (Accepted)
“A Computer-aided System for Discriminating Normal from Cancerous Regions in IHC Liver Cancer Tissue Images Using K-means Clustering” (R. M. Chen, Y. J. Wu, S. R. Jhuang, M. H. Hsieh, C. L. Kuo, Y. L. Ma, R. M. Hu , Jeffrey J. P. Tsai), WSEAS Transactions on Biology and Biomedicine. (2014)

學術活動

■Journal Editorship Positions

Advisory Board, International Journal of Big Data Intelligence, 2014
Honorary Editors-in-Chief , International Journal of Engineering and Industries (IJEI), 2010-present.
Co-Editor-in-Chief, International Journal of Artificial Intelligence Tools, 1994-present.
Editor-in-Chief, SDPS Transaction on Integrated Design and Process Science, 2001 - 2006.
Editor-in-Chief, Book Series in Health Informatics, 2005-present.
Editor, Annals of Software Engineering (Kluwer), 2000-2002.
Associate Editor, IEEE Transactions on Knowledge and Data Engineering, 1994 - 1999.
Associate Editor, IEEE Transactions on Services Computing, 2008 – present.
Associate Editor, International Journal of Systems Integration (Kluwer), 1994-2002.
Associate Editor, International Journal of Web Services Research, 2003-present.
Associate Editor, International Journal of Software Engineering and Knowledge Engineering, 1990 - present.
Associate Editor, International Journal of Semantic Computing, 2007 - present.
Associate Editor, Journal of Ubiquitous Computing and Intelligence, 2005 – present.
Editor, Int’l Journal of Cognitive Informatics and Natural Intelligence, 2005 – present.
Editor, Encyclopedia of Computer Science and Engineering, Wiley Interscience, 2002-2009.
Associate Editor, International Journal of Software Science and Computational Intelligence (IJSSCI), 2009 - present.
Editor, Handbook on Software Engineering and Knowledge Engineering, 1999-2002.
Editor, Journal of the Chinese Institute of Engineers, 1997 - 2004.
Guest Co-Editor, ACM Transactions on Autonomous and Adaptive Systems, 2006.
Guest Co-Editor, Int'l Journal of Software Engineering and Knowledge Engineering, special issue on Software and Knowledge Support in Bioinformatics, April 2005.
Guest Editor, Annals of Software Engineering, special issue on Multimedia Software Engineering, 2001.
Guest Co-Editor, Int'l Journal of Software Engineering and Knowledge Engineering, special issue on Multimedia Software Engineering, 1999.
Guest Editor, Annals of Software Engineering, special issue on Real-Time Software Engineering, 1999.
Guest Editor, International Journal of Software Engineering and Knowledge Engineering, special issue on High-Assurance Systems, 1999.
Guest Editor, IEEE Transactions on Knowledge Engineering and Data Engineering, special issue on Dependability of A.I. Systems, Feb. 1995.
Guest Editor, International Journal on Software Engineering and Knowledge Engineering, special issue on A.I. Techniques for Software Engineering, Dec. 1992.

■Honorary Conference/General Chair

IEEE Knowledge and Data Engineering Exchange Symposium, Taipei, 1998.
The ATLAS (Transdisciplinary-Transnational-Transcultural Biennial Meeting), Taichung, 2012.

■Conference/General Chair (or Co-Chair)

The 21IEEE International Conference on Web Services, Jun. 27 – Jul. 2, 2014, Alaska, USA
The National Computing Symposium, Taiwan, Dec 13-14, 2013
The 11th IEEE International Conference on Bioinformatics and Bioengineering, Taichung, Taiwan, Oct. 24-26, 2011.
The 11th IEEE Int’l Symposium on Multimedia, San Diego, California, Dec. 14-16, 2009.
The 9th IEEE Int’l Conference on Bioinformatics and Bioengineering, Taiwan, June 22-24, 2009.
The Third IEEE Asia-Pacific Services Computing Conference (APSCC 2008), Yilan, Taiwan, December 09-12, 2008.
The 1st IEEE Int’l Workshop on Multimedia, Information Privacy, Intelligent Computing Systems, Yilan, Taiwan, December 09-12, 2008.
The 2008 IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing, Taiwan, June 11-13, 2008.
The11th Conference on Integrated Design and Process Technology, Taiwan, June 1-6, 2008.
The 1st IEEE International Workshop on Ambient Semantic Computing, Taiwan, June 11-13, 2008.
The 9th IEEE Int’l Symposium on Multimedia, Taiwan, Dec. 10-12, 2007.
The 1st International Symposium on Creativity, Innovation, and Entrepreneurship (INSPIRE07), Taiwan, May 30 – June 1, 2007.
The 3rd IFIP International Conference on Ubiquitous Intelligence and Computing, Wuhan, China, September, 2006.
The 1st IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing, Taiwan, June 5-7, 2006.
The 7th IEEE Int’l Symposium on Multimedia, Irvine, CA, Dec. 12-14, 2005.
The 16th IEEE Int’l Symposium on Software Reliability Engineering, Chicago, ILL., Nov. 8-11, 2005.
The 4th IEEE Int’l Conference on Cognitive Informatics, Irvine, CA, August 2005.
The 5th IEEE Int’l Symposium on Bioinformatics and Bioengineering, Taiwan, May 2004.
The 6th Conf. on Engineering Technology and Application of Chinese and Western Medicine, Taiwan, May 2003.
The 4th IEEE Multimedia Software Engineering Symposium, Irvine, CA, Dec. 2002.
2002 Object-Oriented Technology and Application Workshop, Taiwan Oct. 2002.
National Information Security Conference, Taiwan, May 2002.
The 2nd IEEE Multimedia Software Engineering Workshop, Kyoto, Japan, 1998.
IEEE Knowledge and Data Engineering Exchange Workshop, Irvine, CA, 1997.
The IEEE International Conference on Tools with Artificial Intelligence, New Orleans, November 1994.
MACSTA Fall Forum, Mid-America Chinese Science and Technology Association, Lisle, ILL., Nov. 1993.

■Program Chair (or Co-Chair)

The 5th IEEE International Symposium on Autonomous Decentralized Systems, Richardson, Texas, 2001.
The 3rd IEEE High-Assurance Systems Engineering Symposium, Washington D.C., 1998.
The 5th IEEE International Conference on Tools with Artificial Intelligence, Boston, 1993.
The 13th IEEE International Computer Software and Applications Conference, Orlando, Florida, 1989.

■Member of Steering Committee or Advisory Committee

Member, Steering Committee, The 11th IEEE International Conference on Bioinformatics and Bioengineering, Taichung, Taiwan, Oct. 24-26, 2011.
Chair, Steering Committee, The 2010 IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing, Newport Beach, CA, June 7-9, 2010.
Member, Steering Committee, The IEEE International Conference on Multimedia and Expo (ICME), Singapore, July 21-23, 2010.
Member, International Advisory Committee, The 5th International Conference on Future Information Technology (FutureTech2010), Jeju, Korea, May 21-23, 2010.
Member, Steering Committee, The IEEE Technical Committee on Service Computing, IEEE Computer Society, 2009.
Member, Advisory Committee, 2009 Object-Oriented Technology and Application Workshop, Taiwan, Nov. 2009.
Member, Technical Steering Committee, The IEEE International Conference on Web Services, Los Angels, July 6-10, 2009.
Chair, Steering Committee, The 10th IEEE International Symposium on Multimedia, Berkeley, CA, December 15-17, 2008.
Member, International Advisory Committee, Int’l Computer Symposium, Taipei, Taiwan, Nov. 13-15, 2008.
Member, Steering Committee, The 8th IEEE Int’l Conference on Bioinformatics and Bioengineering, Athens, Greece, Oct. 8-10, 2008.
Member, Technical Advisory Committee, The 2008 International Conference on Web Services, Beijing, China, September 23-26, 2008.
Member, Steering Committee, The 2nd IEEE International Conference on Semantic Computing, Santa Cruz, CA, August 4-7, 2008.
Member, Technical Steering Committee, The 2008 IEEE International Conference on Services Computing, Hawaii, July 8-11, 2008.
Member, Steering Committee, The 5th IFIP International Conference on Ubiquitous Intelligence and Computing (UIC08), Oslo, Norway, June 23-25, 2008.
Member, International Advisory Committee, The 22nd IEEE International Conference on Advanced Information Networking and Applications (AINA2008), Okinawa, Japan, March 25 – 28, 2008.
Member, International Advisory Committee, the 3rd International Symposium on Ubiquitous Application and Security Service (UASS08), Okinawa, Japan, March 25-28, 2008.
Chair, Steering Committee, The 1st IEEE International Conference on Semantic Computing, Irvine, CA, September 17-19, 2007.
Member, Advisory Committee, The IEEE International Workshop on Web 2.0 and Multimedia-Enabled Education, Taiwan, Dec. 2007.
Member, Steering Committee, The 2nd International Workshop on Ubiquitous Applications and Security Service (UASS07), Kuala Lumpur, Malaysia, August 26-30, 2007.
Member, Steering Committee, The 4th IFIP International Conference on Ubiquitous Intelligence and Computing, Hong Kong, July 11-13, 2007.
Member, Steering Committee, The 4th IFIP International Conference on Autonomic and Trusted Computing, Hong Kong, July 11-13, 2007.
Member, International Advisory Committee, The 21st IEEE International Conference on Advanced Information Networking and Applications (AINA2007), Niagara Falls, Canada, May 21-23, 2007.
Member, Technical Advisory Committee, the 2006 International Conference on Services Computing, Chicago, Illinois, September 18-22, 2006.
Member, Technical Advisory Committee, the 2006 International Conference on Web Services, Chicago, Illinois, September 18-22, 2006.
Member, International Advisory Committee, The 20th IEEE International Conference on Advanced Information Networking and Applications (AINA2006), Vienna, April 18- 20, 2006.
Member, Steering Committee, IEEE Int’l Symposium on Multimedia, San Diego CA, Dec. 12-14, 2006.
Member, International Advisory Committee, The 2nd International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW2005), Nagasaki, Japan, Dec. 6-7, 2005.
Member, Technical Advisory Committee, the 2005 International Conference on Web Services, Orlando, Florida, July 11-15, 2005.
Member, International Advisory Committee, IEEE International Conf. on Multimedia and Expo., Taipei, 2004.
Member, Advisory Board, International Journal of Fuzzy Systems, 2003-present.
Member, Technical Advisory Committee, the 2003 International Conference on Web Services, Las Vegas, Nevada, June 23-26, 2003.
Member, Advisory Board, Tamkang Journal of Science and Engineering, 2002 - present.
Member, Steering Committee for IEEE Transactions on Multimedia, 2000-2003.
Member, Track Advisory Committee, 1994 ACM Symposium on Applied Computing (SAC '94), 1994.
Member, Steering Committee, IEEE Int'l Knowledge and Data Engineering Workshop, 1997- 1998.
Member, Steering Committee, IEEE Int'l Conference on Tools with A.I., 1994-present.

■Other Committee Activities

Session Organizer, the 11th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC08), May 5-7, 2008.
Judge, the Illinois Junior Academy of Science, March 14, 2007.
Track Chair, IEEE International Conf. on Multimedia and Expo., Baltimore, Maryland, July 6-9, 2003.
Co-Organizer, 3rd Intelligent Software Engineering Workshop, in conjunction with IEEE Int'l Conference on Software Engineering, Ireland, 2000.
Track Chair, The 4th World Congress on Integrated Design and Process Technology, Turkey, 1999.
Session Organizer, Panel session on "E-Commerce," IEEE Knowledge and Data Engineering Exchange Workshop, 1998.
Track Chair, The 2nd World Congress on Integrated Design and Process Technology, Austin, TX, 1997.
Program Vice-Chair, 19th IEEE International Computer Software and Applications Conference, Dallas, August, 1995.
Tutorial Chairman, IEEE International Conference on Requirements Engineering, Colorado, April 1994.
Tutorial Chairman, International Conference on Parallel and Distributed Systems, December 1993.
Judge of IEEE Richard E. Merwin Scholarships, 1993.
Tutorial Co-Chairman, IEEE Int'l Computer Symposium, Dec. 1992.
Workshop Organizer, 1992 Real-Time Systems Workshop, Taipei, 1992.
Session Organizer, Panel session on "Is Artificial Intelligence the Solution to Software Engineering" 1991 Int'l Conf. on Tools for A.I., San Jose, CA, 1991.
Session Organizer, Paper session on "Artificial Intelligence and Software Engineering" 1990 Int'l Conf. on Tools for A.I., Fairfax, VA, 1990.
Workshop Organizer, 1990 Software Engineering Workshop, Academia Sinica, Taipei, 1990.
Session Organizer, Panel session on "Critical Issues of Real-Time Software Systems" COMPSAC'89, Orlando, Florida.
Finance Chairman, IEEE Int'l Computer Software and Applications Conference, 1986-1988.
Member, Conference Committee, IEEE Int'l Computer Software and Applications Conference, 1983, 1985.

■Member of Technical Program Committee

The 4th IEEE Asia-Pacific Services Computing Conference (APSCC 2009), Singapore, December 07-11, 2009.
1st IEEE Int’l Conference on Cloud Computing, Bangalore, India, Sept. 21-25, 2009.
The 21st International Conference on Software Engineering and Knowledge Engineering, Boston, July 1-3, 2009.
8th IEEE Int’l Conference on Cognitive Informatics, Hong Kong , June 15-17, 2009.
9th IEEE Int'l Conf. on Autonomous Decentralized Systems, Greece, March 23-25, 2009.
7th IEEE Int’l Conference on Cognitive Informatics, Stanford University, CA , August 14-16, 2008.
The First IEEE International Workshop on Cyber-Physical Systems, Sponsored by National Science Foundation of the United States, in conjunction with IEEE ICDCS 2008, Beijing, China, June 17-20, 2008.
IFIP International Conference on Embedded and Ubiquitous Computing, Taipei, Dec. 2007.
6th IEEE Int’l Conference on Cognitive Informatics, Lake Tahoe, CA , August 6-8, 2007.
International Conference on Parallel Processing, Columbus, Ohio, August 14-18, 2006.
The 2nd International Conference on Innovations and Real-time Applications of Distributed Senor Networks, Washington D.C. October 18-19, 2006.
IEEE International Conference on Web Services, Chicago, Sept. 18-22, 2006.
5th IEEE Int’l Conference on Cognitive Informatics, Beijing, July 17-19, 2006.
17th IEEE Int’l Symposium on Software Reliability Engineering, North Carolina, Nov. 6-10, 2006.
International Conference on Software Engineering and Knowledge Engineering, 1993, 1994, 1995, 2000, 2004, 2005, 2006.
5th Int’l Conference on Quality Software, Melbourne, Australia, Sept. 19-21, 2005.
2005 IEEE International Conf. on Multimedia and Expo., Amsterdam, 2005
2005 IEEE International Collaborative Computing, Cape Code, June 2005.
2005 IEEE International Service Computing, Orlando, July 12-15, 2005.
IEEE Symposium on High-Assurance Systems Engineering, 2004.
IEEE International Conference on Electronic Commerce (CEC’03), Newport Beach, California, June 2003.
2003 International Conference on Web Services, Las Vegas, Nevada, June 23 - 26, 2003.
SEKE2003 15th International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, July 1-3, 2003
15th IEEE International Conference on Tools with Artificial Intelligence, Sacramento, California, November 3-5, 2003.
11th World-Wide-Web Conference, Hawaii, 2002.
4th IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems(WECWIS 2002), Newport Beach, California, June 2002
14th International Conference on Software Engineering and Knowledge Engineering (SEKE’02), Ischia, Italy, July 15-18, 2002.
IEEE International Computer Software and Applications Conference, 1995, 1996, 1997, 2000, 2001.
The Second Workshop on Agent-Oriented Software Engineering in conjunction with 5th International Conference on Autonomous Agents (Agents 2001), Montreal, Canada, May/June 2001.
First International Workshop on Internet Bots: Systems and Applications
(INBOSA2001)" in conjunction with the 12th International Conference on Database and Expert Systems Applications, Munich, Germany, September 3-7, 2001.
IDPT 5th World Congress on Integrated Design and Process Technology, Dallas, 2000.
3rd IEEE Symposium Application-specific Systems and Software Engineering and Technology (ASSET'00), Richardson, Texas, March 24-25, 2000.
3rd IEEE Knowledge and Data Engineering Exchange Workshop, Evanston, IL, 2000.
International Workshop on Agent-Based Information Systems (ABIS'2000)
Greenwich, United Kingdom, September 4-8, 2000.
The First International Workshop on Agent-Oriented Software Engineering(AOSE-2000), Limerick, Ireland, June 10, 2000.
IEEE International Conference on Data Engineering, 1999.
IEEE Int'l Conf. on Autonomous Decentralized Systems, 1999.
IEEE Symposium on Object-Oriented Real-Time Computing, 1998.
IEEE Workshop on Object-Oriented Dependable Real-Time Systems, 1997.
IEEE High-Assurance Systems Engineering Workshop, 1996, 1997.
IEEE 2nd Requirement Engineering Symposium, 1996.
International Conference on Artificial Intelligence, 1996.
IEEE International Conference on Data Engineering, 1995.
4th ACM Information and Knowledge Management Conference, 1995.
IEEE International Parallel and Distributed Processing Conference, 1994.

■Invited Keynote Speech

Distinguished Speaker, "Knowledge-Based Software Engineering for Communication Software," Advanced Communication Research Laboratory, Kyoto, Japan, Oct., 1994.
Tamkang Chair Distinguished Speaker, "Engineering of Intelligent Systems," Tamkang University, Taiwan, May 1999.
Keynote Speaker, "Engineering of Intelligent Agent Systems,"The 11th IEEE International Conference on Tools with Artificial Intelligence, Chicago, ILL., Nov. 1999.
Distinguished Speaker, "Specification and Verification of Agent-Based Systems," University of Texas at Dallas, Nov. 1999.
Distinguished Speaker, "Knowledge-Based Software Systems," University of Wollongong, Australia, August 2000.
Keynote Speaker, "Engineering of Agent-Based Systems,"International Computer Symposium, Taiwan, Dec. 2000.
Distinguished Speaker in Software Engineering, "Compositional Approach for Modeling and Verification of Software Systems," Southern Methodist University, March 2001.
Keynote Speaker, "Compositional Modeling and Verification of Software systems,"Object-Oriented Software Technology and Applications Workshop, Oct. 2001.
Keynote Speaker, "Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems,"The 1st IEEE Int’l Conference on Cognitive Informatics, Calgary, Alberta, Canada, August 19-20, 2002.
Distinguished Speaker, "Transdisciplinary Research and Education in Healthcare, Management, and Information Technology," National Chung Cheng University, Oct. 2002.
Keynote Speaker, "New Areas of Applied Artificial Intelligent Research,"The 14th IEEE Int’l Conf. on Tools with Artificial Intelligence, Washington D.C., Nov. 2002.
Keynote Speaker, "Transdisciplinary Research and Education in Healthcare, Management, and Information Technology,"Conf. on Sun Yat-sen Philosophy and Modern Society: Managerial Science’s Practice and Application, Dec. 2002.
Keynote Speaker, “Applications of A.I. Research in Bioinformatics,”World Congress on Integrated Design and Process Science, Austin, Texas, Dec. 2003.
Keynote Speaker, “Attacks and Countermeasures in Software System Security,”IEEE Int’l Symposium on E-Commerce for Dynamic E-Business, Beijing, Sept. 2004.
Keynote Speaker, “Intrusion Detection for Sensor Networks,”The 19th IEEE Advanced Information Networking and Application Conference, Taipei, March 29-30, 2005.
Distinguished Speaker, "Transdisciplinary Research and Education in Health Science, Management, and Information Technology,"the 9th Conference on Integrated Design and Process Technology, San Diego, CA, June 25-28, 2006.
Distinguished Speaker, “Challenges and Opportunities of Ubiquitous Computing Paradigm,”Forum on Future Computing – Transparent Computing and Active Services, Tsinghua University, Beijing, June 23-25, 2007.
Keynote Speaker, "Opportunities and Challenges of Sensor Networks Computing,"National Computer Symposium, Taiwan, Dec. 20-21, 2007.
Keynote Speaker, “A New Frontier: Software Engineering for Cyber Physical Systems,”the 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, June 1-6, Taichung, Taiwan, 2008.
Keynote Speaker, “A New Frontier: Cyber Physical Systems,”the 2009 Joint Conference on Pervasive Computing, December 3-5, 2009, Taipei, Taiwan, 2009.
Distinguished Speaker, “Green Computing,”Annual Conference on Transdisciplinary & Transnational Transcultural, May 23-27, Georgetown, Texas, May 23-27, 2010.

■Invited Talks

"A Requirement Theory of New Software Engineering Paradigms," Switching System Group, Fujitsu Laboratory, Kawasaki, Japan, Oct. 1987.
"A Frame-and-Rule Oriented Requirements Specification Language for New Software Engineering Paradigm," University of Florida, Gainesville, July 1989.
"A Frame-and-Rule Oriented Requirements Specification Language for New Software Engineering Paradigm," Institute of Information Industry, Taiwan, July 1989.
"Reverse Engineering," Institute of Information Industry, Taiwan, July 1989.
"Real-Time Software Testing and Debugging," one-week seminar at National Chiao-Tung University, Taiwan, August 1989.
"A Frame-and-Rule Based System for Software Development Using an Integrated Software Engineering Paradigm," George Mason University, Faifax, VA, Jan. 1990.
"FRORL: A Requirement Language for New Software Engineering Paradigms," Switching System Group, Fujitsu Laboratory, Kawasaki, Japan, March 1990.
"On Real-Time Distributed Monitoring," Tung-Hai University, May 1990.
"Artificial Intelligence and Software Engineering," Academia Sinica, Taiwan, Aug. 1990.
Tutorial on "Artificial Intelligence for Software Engineering,"1990 IEEE Int'l Conference on Tools for A.I., Fairfax, VA, Nov. 1990.
Tutorial on "Artificial Intelligence Technique for Software Engineering,"1991 Int'l Conference on Software Engineering and Knowledge Engineering, Skokie, IL, June 1991.
"A Distributed Cooperative Agents Architecture for Software Development,"IJCAI Workshop on Intelligent and Cooperative Information Systems, University of Technology, Sydney, Australia, Aug. 1991.
"A.I./K.E. Techniques for Software Engineering"Fujitsu International Software Symposium, Fujitsu Limited, Kawasaki, Japan, Sept. 1991.
"Artificial Intelligence for Software Engineering," National Taiwan University, Taipei, Taiwan, Sept. 1991.
"On Distributed Real-Time Systems Monitoring, Visualization, and Debugging," Chung-Shan Institute of Science and Technology, Long-Tang, June 1992.
"Visualization and Debugging of Distributed Real-Time Systems,"1992 International Conference on Automation, Robotics, and Computer Vision, Singapore, Sept. 1992.
"Visualization and Debugging of Distributed Real-Time Systems," Hitachi, Japan, March 1993.
"Knowledge-Based Approach to the Specification, Analysis, and Transformation of Real-Time Distributed Systems," Fujitsu Lab, Kawasaki, Japan, April 1993.
"A Requirements Language for Autonomous Decentralized Systems," Hitachi System Plaza, Japan, April 1993.
"Knowledge-Based Software Engineering," USAF Rome Laboratory, Jan. 1994.
"Knowledge-Based Software Design for Real-Time Distributed Systems," University of Toronto, Toronto, Ontario, Jan. 1994.
"Knowledge-Based Approach for the Specification, Analysis, and Transformation of Real-Time Distributed Systems," University of California at Berkeley, CA, Feb. 1994.
"Knowledge-Based Software Requirements Specification Language," State University of New York at Buffalo, Buffalo, New York, May 1994.
"Knowledge-Based Software Engineering for Real-Time Distributed Systems," University of Texas at Austin, June 1994.
Tutorial on "Knowledge-Based Software Development for Real-Time Distributed Systems,"International Computer Symposium, National Chiao-Tung University, Hsinchu, Taiwan, Dec. 1994.
"Software Technology in National Information Infrastructure,"National Development Symposium, Taipei, Taiwan, June 1995.
"A Specification-Based Software Architecture," Naval Postgraduate School, Monterey, CA, Sept. 1995.
"Research Issues in Software Architecture Design," University of Houston, Houston, Texas, Oct. 1995.
Tutorial on "A Knowledge-based Approach to Software Architecture," the7th IEEE Tools with Artificial Intelligence Conference, Washington, D.C., Nov. 1995.
"Knowledge-Based Software Architecture," National Central University, May 1997.
"Formal Verification of Software Architecture," University of Southern California, Feb. 1997.
"Compositional Verification,"NSF Workshop on Foundation of Software Systems, Tulane University, Dec. 1997.
"E-Commerce," IEEE Knowledge and Data Engineering Exchange Workshop, Nov. 1998.
"Compositional Verification of Software Architecture,"NSF/ARO Workshop on Evolutionary Software Construction, Italy, 2000.
"Compositional Approach for Modeling and Verification of Software Systems," University of Toronto, Canada, Dec. 2000.
"Specification and Verification of Software Agents," Academia Sinica, Taipei, Oct. 2000.
"Transdisciplinary Research and Education in Healthcare, Management, and Information Technology," China Medical University Hospital, Dec. 2002
“A Framework for Adaptive Intrusion Detection Systems,” NSF/Industry Software Engineering Research Center, Ball State Univeristy, Muncie, IN, Nov. 16-17, 2005.
“Fuzzy Model Tuning for Intrusion Detection Systems,”The 3rd IFIP International Autonomic and Trusted Computing Conference, Wuhan, China, Sept. 2006.
“Personal Sense of Persistent Fundamental Research Enquiry,” Stanford University, Kozmetsky Global Collaboratory:Tenth Anniversary Celebration, Workshop on KGC Community’s Shared Research Aspirations, Palo Alto, CA, May 12-18, 2007.
“Global Network for Transdisciplinary Collaboration,”11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, June 1-6, Taichung, Taiwan, 2008.
“A Framework of Machine Learning based Intrusion Detection for Wireless Sensor Networks,”The 2nd IEEE International Conference on Sensor Network, Ubiquitous, and Trustworthy Computing (SUTC2008), Taichung, Taiwan, June 11-13, 2008.

蔡進發

基本介紹

學術著作

主編圖書

國際期刊論文

學術活動

相關詞條

熱門詞條