| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stephen J. H. Yang, Jia Zhang, Addison Y. S. Su, Jeffrey J. P. Tsai |
A collaborative multimedia annotation tool for enhancing knowledge sharing in CSCL.  |
Interactive Learning Environments  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rong-Ming Chen, M. T. Hou, N. W. Chang, Y. T. Chen, Jeffrey J. P. Tsai |
Cumulative Spectral repeat Finder (Csrf): a Spectral Approach for Identifying the Length of repeats in DNA Sequences. |
International Journal on Artificial Intelligence Tools |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Han C. W. Hsiao, Rouh-Mei Hu, Wei-Liang Tai, Rong-Ming Chen, Jeffrey J. P. Tsai |
Object Relational Programming of Biomedical Images. |
BIBE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Ming Chang, Jeffrey J. P. Tsai |
Ergonomic Designs Based on Musculoskeletal Models. |
BIBE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming-Jen Fan, Su-May Yu, Tzu-Chieh Hung, Wei-Quan Chen, Yue-Ie Hsing, Hsin-Li Lin, Chia-Cheng Liu, Jing-Gung Chung, Jeffrey J. P. Tsai |
TTRSIS: A Cloud Computing Platform for Rice Functional Genomics Research through a Reverse Genetics Approach. |
BIBE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Hecht, Charles C. N. Wang, Rouh-Mei Hu, Jeffrey J. P. Tsai |
Molecular Modeling Studies of AmpR Mediated AmpC ß-Lactamase Repression. |
BIBE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing-Gung Chung, Jeffrey J. P. Tsai, Chien-Yih Lin, Yang-Chia Shih, Jin-Shih Chen, Ming-Jen Fan |
The Application of Molecular Markers to Identify Edible Fungi: A Case Study of Tremella Fuciformis. |
BIBE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles C. N. Wang, Ka-Lok Ng, Yu-Ching Chen, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai |
Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model. |
BIBE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Liang Lee, Jie-Wei Weng, Wen-Chin Chiang, Yi-Wen Lin, Ka-Lok Ng, Jeffrey J. P. Tsai, Chi-Ying Huang |
Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing. |
BIBE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Liang Tai, Rouh-Mei Hu, Han C. W. Hsiao, Rong-Ming Chen, Jeffrey J. P. Tsai |
Blood Cell Image Classification Based on Hierarchical SVM. |
ISM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineela Devarashetty, Jeffrey J. P. Tsai, Lu Ma, Du Zhang |
Modeling a Secure Sensor Network Using an Extended Elementary Object System. |
IJCINI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Ikeda, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai |
A Model for Object Relational OLAP. |
International Journal on Artificial Intelligence Tools |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Angus F. M. Huang, Stephen J. H. Yang, Minhong Wang, Jeffrey J. P. Tsai |
Improving fuzzy knowledge integration with particle swarmoptimization. |
Expert Syst. Appl. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. H. Yang, Jia Zhang, Jeff J. S. Huang, Jeffrey J. P. Tsai |
Using Description Logics for the Provision of Context-Driven Content Adaptation Services. |
IJSSOE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. H. Yang, Jia Zhang, Jeffrey J. P. Tsai, Angus F. M. Huang |
Soa-Based Content Delivery Model for Mobile Internet Navigation. |
International Journal on Artificial Intelligence Tools |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. H. Yang, Jia Zhang, Leon Lin, Jeffrey J. P. Tsai |
Improving peer-to-peer search performance through intelligent social search. |
Expert Syst. Appl. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Alan Liu |
Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingxu Wang, Witold Kinsner, James A. Anderson, Du Zhang, Yiyu Yao, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai, Witold Pedrycz, Jean-Claude Latombe, Lotfi A. Zadeh, Dilip Patel, Christine W. Chan |
A Doctrine of Cognitive Informatics (CI). |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Jia Zhang, Jeff J. S. Huang, Stephen J. H. Yang |
Supporting CSCW and CSCL with Intelligent Social Grouping Services. |
IJSSCI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Phillip C.-Y. Sheu, Han C. W. Hsiao (eds.) |
Ninth IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2009, June 22-24, 2009, Taichung, Taiwan |
BIBE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rong-Ming Chen, M. T. Hou, Jeffrey J. P. Tsai |
A Novel Approach for Motif Identification in Unaligned Molecular Sequences. |
BIBE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jong-Waye Ou, Rouh-Mei Hu, Rong-Ming Chen, C. Y. Tang, Jeffrey J. P. Tsai |
An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data. |
BIBE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles C. N. Wang, David A. Hecht, Han C. W. Hsiao, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai |
Describing Dynamic Biological Systems in SPDL and SCDL. |
BIBE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan C. H. Chen, Han C. W. Hsiao, Jeffrey J. P. Tsai |
Phylogenetic Analysis Using Nuclear-Encoded Mitochondrial Proteins. |
BIBE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Hecht, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai |
SCDL Applications to Drug Discovery. |
BIBE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | J. D. Wang, Hsiang-Chuan Liu, Jeffrey J. P. Tsai, Ka-Lok Ng |
Scaling Behavior of Maximal Repeat Distributions in Genomic Sequences. |
IJCINI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Shu Wang, Rouh-Mei Hu, Han C. W. Hsiao, David A. Hecht, Ka-Lok Ng, Rong-Ming Chen, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai |
Using SCDL for Integrating Tools and Data for Complex Biomedical Applications. |
Int. J. Semantic Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Ma, Jeffrey J. P. Tsai |
Formal Modeling and Analysis of a Secure Mobile-Agent System. |
IEEE Transactions on Systems, Man, and Cybernetics, Part A |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert |
An adaptive automatically tuning intrusion detection system. |
TAAS |
2008 |
DBLP DOI BibTeX RDF |
intrusion detection, Fuzzy control |
| 1 | Han C. W. Hsiao, Shih-Hao Chen, Judson Pei-Chun Chang, Jeffrey J. P. Tsai |
Predicting Subcellular Locations of Eukaryotic Proteins Using Bayesian and /k/-Nearest Neighbor Classifiers. |
J. Inf. Sci. Eng. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan |
Knowledge Verification. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanhong A. Liu, Jeffrey J. P. Tsai |
System Monitoring. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Luo, Jeffrey J. P. Tsai |
A Framework for Extrusion Detection Using Machine Learning. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
extrusion detection, machine learning, intrusion detection |
| 1 | David A. Hecht, Rouh-Mei Hu, Rong-Ming Chen, Jong-Waye Ou, Chao-Yen Hsu, Haitao Gong, Ka-Lok Ng, Han C. W. Hsiao, Jeffrey J. P. Tsai, Phillip C.-Y. Sheu |
BioSemantic System: Applications of Structured Natural Language to Biological and Biochemical Research. |
SUTC |
2008 |
DBLP DOI BibTeX RDF |
structured natural language, semantic computing, bioinformatics, biomedical research |
| 1 | Mukesh Singhal, Giovanna Di Marzo Serugendo, Jeffrey J. P. Tsai, Wang-Chien Lee, Kay Römer, Yu-Chee Tseng, Han C. W. Hsiao (eds.) |
IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), 11-13 June 2008, Taichung, Taiwan |
SUTC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Zhenwei Yu, Jeffrey J. P. Tsai |
A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks. |
SUTC |
2008 |
DBLP DOI BibTeX RDF |
wireless sensor networks, machine learning, intrusion detection |
| 1 | Vineela Devarashetty, Jeffrey J. P. Tsai, Lu Ma, Du Zhang |
Modeling a secure sensor network system using an Extended Elementary Object System. |
IEEE ICCI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. H. Yang, Jia Zhang, Angus F. M. Huang, Jeffrey J. P. Tsai, Philip S. Yu |
A Context-Driven Content Adaptation Planner for Improving Mobile Internet Accessibility. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shangping Ren, Yue Yu, Kevin A. Kwiat, Jeffrey J. P. Tsai |
A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments. |
IJDSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai |
Introduction to the Special Issue on Sensor Networks, Ubiquitous and Trustworthy Computing. |
IJDSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert |
An Automatically Tuning Intrusion Detection System. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Mukesh Singhal |
Introduction: Special issue of the IEEE SUTC'06. |
TAAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shangping Ren, Yue Yu, Nianen Chen, Jeffrey J. P. Tsai, Kevin A. Kwiat |
The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems. |
TAAS |
2007 |
DBLP DOI BibTeX RDF |
open distributed embedded systems, Coordination, coordinators, roles, actors |
| 1 | Ka-Lok Ng, Chien-Hung Huang, Po-Han Lee, Jywe-Fei Fang, Jeffrey J. P. Tsai |
Modular Structures and Robustness of Protein Networks. |
International Journal on Artificial Intelligence Tools |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rong-Ming Chen, Kuei-Chung Shih, Rouh-Mei Hu, Jeffrey J. P. Tsai |
Predicting Cancerous Genes Based on Regulation Truth Tables. |
International Journal on Artificial Intelligence Tools |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenwei Yu, Jeffrey J. P. Tsai |
An efficient intrusion detection system using a boosting-based learning algorithm. |
IJCAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hung-Kuang Chen, Chin-Shyurng Fahn, Jeffrey J. P. Tsai, Rong-Ming Chen, Ming-Bo Lin |
Generating high-quality discrete LOD meshes for 3D computer games in linear time. |
Multimedia Syst. |
2006 |
DBLP DOI BibTeX RDF |
Interactive 3D multimedia, Level-of-detail mesh, Iterative full-edge collapse, Virtual reality, Computer game, Mesh simplification |
| 1 | Hung-Kuang Chen, Chin-Shyurng Fahn, Jeffrey J. P. Tsai, Ming-Bo Lin |
A Novel Cache-based Approach to Large Polygonal Mesh Simplification. |
J. Inf. Sci. Eng. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, Jeffrey J. P. Tsai |
Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenwei Yu, Jeffrey J. P. Tsai |
Fuzzy Model Tuning for Intrusion Detection Systems. |
ATC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsueh-Ting Chu, Chir-Chang Huang, Zhi-Hui Lian, Jeffrey J. P. Tsai |
A ubiquitous warning system for asthma-inducement. |
SUTC |
2006 |
DBLP DOI BibTeX RDF |
Environmental health, Neural network, Geographic Information Systems (GIS), Decision Support System (DSS), Global Positioning System (GPS), Smartphone, Air pollution, Asthma |
| 1 | Shangping Ren, Limin Shen, Jeffrey J. P. Tsai |
Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems. |
SUTC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahito Hirakawa, Max Mühlhäuser, Susanto Rahardja, Phillip C.-Y. Sheu, Larry Smarr, Jeffrey J. P. Tsai |
Issues, Challenges, and Future Directions in Multimedia Research. |
ISM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianhua Ma, Hai Jin, Laurence Tianruo Yang, Jeffrey J. P. Tsai (eds.) |
Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings |
UIC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Du Zhang |
Guest Editors' Introduction. |
International Journal of Software Engineering and Knowledge Engineering |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rong-Ming Chen, Falcon F. M. Liu, Jeffrey J. P. Tsai |
A Software Architecture for Finding Motifs Using Genetic Algorithm. |
International Journal of Software Engineering and Knowledge Engineering |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Po-Han Lee, Chien-Hung Huang, Jywe-Fei Fang, Jeffrey J. P. Tsai, Ka-Lok Ng |
Study of the protein-protein interaction networks via random graph approach. |
IEEE ICCI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-Hung Huang, Jywe-Fei Fang, Jeffrey J. P. Tsai, Ka-Lok Ng |
Topological Robustness of the Protein-Protein Interaction Networks. |
Systems Biology and Regulatory Genomics |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Luo, Jeffrey J. P. Tsai |
A Graphical Simulation System for Modeling and Analysis of Sensor Networks. |
ISM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai |
Constraint Propagation And Progressive Verification For Component-Based Process Model. |
International Journal of Software Engineering and Knowledge Engineering |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Ma, Jeffrey J. P. Tsai, Tadao Murata |
A Secure Mobile Agent System Model Based on Extended Elementary Object System. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
mobile agent, security mechanism, object Petri net |
| 1 | Zhenwei Yu, Jeffrey J. P. Tsai |
A Multi-Class SLIPPER System for Intrusion Detection. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
Intrusion Detection (ID), KDDCUP’99 Contest, Misclassification Cost (MC), Prediction Confidence, SLIPPER, Attack, Classifier, BP network |
| 1 | Falcon F. M. Liu, Jeffrey J. P. Tsai, Rong-Ming Chen, S. N. Chen, S. H. Shih |
FMGA: Finding Motifs by Genetic Algorithm. |
BIBE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shih-Nung Chen, Jeffrey J. P. Tsai, Chih-Wei Huang, Rong-Ming Chen, Raymond C. K. Lin |
Using Distributed Computing Platform to Solve High Computing and Huge Data Processing Problems in Bioinformatics. |
BIBE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay |
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion |
| 1 | Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai, Konstantin Beznosov |
An Approach for Modeling and Analysis of Security System Architectures. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
security system architecture, authorization service, formal architectural modeling, constraint patterns, access control, Petri nets, formal verification, temporal logic, Software security |
| 1 | Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen |
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
rules reasoning, rule verification, Petri nets, formalism, high-level Petri nets, fuzzy rules, certainty factors |
| 1 | Du Zhang, Jeffrey J. P. Tsai |
Machine Learning and Software Engineering. |
Software Quality Journal |
2003 |
DBLP DOI BibTeX RDF |
machine learning, software engineering, learning algorithms |
| 1 | Jeffrey J. P. Tsai, J. G. Chang, S. H. Shih, Rong-Ming Chen, H. W. Hsiao, Rouh-Mei Hu, S. N. Chen, M. M. Lee, Falcon F. M. Liu, W. L. Chan |
A Framework for Cancer-Related Genes Mining over the Internet. (PDF / PS) |
BIBE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. H. Yang, Jeffrey J. P. Tsai, Irene Y. L. Chen |
Development of Wireless Embedded Systems Using Component Based Software. |
International Journal of Software Engineering and Knowledge Engineering |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Du Zhang, Jeffrey J. P. Tsai |
Machine Learning and Software Engineering. |
ICTAI |
2002 |
DBLP DOI BibTeX RDF |
machine learning, software engineering, learning algorithms |
| 1 | Jeffrey J. P. Tsai, Eric Y. T. Juan |
Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. |
IEEE ICCI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou |
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
net reduction, schedule, Real-time systems, Petri nets, deadlock, reachability, state explosion |
| 1 | Timothy K. Shih, Shi-Kuo Chang, Jeffrey J. P. Tsai, Jianhua Ma, Runhe Huang |
Supporting Well-Engineered Web Documentation Development - a Multimedia Software Engineering Approach toward Virtual University Courseware Designs. |
Ann. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Eric Y. T. Juan |
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems. |
Comput. J. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai |
Formal Analysis of Software Security System Architectures. (PDF / PS) |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dinesh Kadamuddi, Jeffrey J. P. Tsai |
Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Parallel processing, distributed application, deadlock, clustering algorithm, synchronous communication, software environment |
| 1 | Jeffrey J. P. Tsai, Kuang Xu |
A comparative study of formal verification techniques for software architecture specifications. |
Ann. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay |
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
architecture specification language, software architecture, formal verification, Knowledge-based system, knowledge acquisition, architecture style, compositional verification |
| 1 | Jeffrey J. P. Tsai, Bing Li |
A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper). |
Australasian J. of Inf. Systems |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Kuang Xu |
An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications. |
Ann. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla |
An Incremental Verification Algorithm for Real-Time Systems. |
International Journal of Software Engineering and Knowledge Engineering |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuang Xu, Jeffrey J. P. Tsai |
Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language. |
International Journal of Software Engineering and Knowledge Engineering |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Kuang Xu |
Architecture Specification of Multimedia Software Systems. (PDF / PS) |
ICMCS, Vol. 1 |
1999 |
DBLP DOI BibTeX RDF |
architecture specification languages, Software architecture, multimedia systems, object-oriented paradigm |
| 1 | Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert |
A Logic-Based Transformation System. |
IEEE Trans. Knowl. Data Eng. |
1998 |
DBLP DOI BibTeX RDF |
Knowledge representation techniques, requirement specification language, multiple inheritance, nonmonotonic logic, transformation system |
| 1 | Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul |
Incremental Verification of Architecture Specification Language for Real-Time Systems. |
International Journal of Software Engineering and Knowledge Engineering |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata |
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
deadlock states, reachable markings, Petri nets, reachability analysis, compositional verification, boundedness, reachability graphs |
| 1 | Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan |
Parallel Evaluation of Software Architecture Specifications. |
Commun. ACM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Eric Y. T. Juan |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. (PDF / PS) |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Yao-Dong Bi, Stephen J. H. Yang |
A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support. |
International Journal of Software Engineering and Knowledge Engineering |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata |
A new compositional method for condensed state-space verification. (PDF / PS) |
HASE |
1996 |
DBLP DOI BibTeX RDF |
compositional method, condensed state-space verification, large-scale systems analysis, condensation rules, tightly coupled modules, reachable marking detection, Petri nets, program verification, reachability analysis, concurrent systems, compositional verification, deadlock detection, dynamic behavior, dynamic properties, state space explosion |
| 1 | Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan |
Transaction integration for reusable hard real-time components. (PDF / PS) |
HASE |
1996 |
DBLP DOI BibTeX RDF |
transaction integration, reusable hard real time components, end to end timing requirements, framework based approach, data flow path, component interfaces, placeholders, reusable real time components, software reusability |
| 1 | Jeffrey J. P. Tsai, Stephen J. H. Yang, Yao-Hsiung Chang, Eric Y. T. Juan |
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets. (PDF / PS) |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert |
Verification Criterion Directed Testing for Formal Specifications. |
SEKE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang |
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
real-time systems, Petri nets, synthesis, timing analysis, Timing constraints, time Petri nets, timed Petri nets, specification and verification |
| 1 | Jeffrey J. P. Tsai |
Dependability of AI Systems - Guest Editor's Introduction. |
IEEE Trans. Knowl. Data Eng. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert |
Improving Software Quality through a Novel Testing Strategy. (PDF / PS) |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas J. Weigert, Jeffrey J. P. Tsai |
A Computationally Tractable Nonmonotonic Logic. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
computationally tractable nonmonotonic logic, nonmonotonic reasoning procedures, proof theoretically, semantic characteristics, Herbrand subset, knowledge representation, logic programming, logic programming, reasoning, nonmonotonic reasoning, incomplete information, formal logic, first-order predicate logic |
| 1 | Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair |
Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach. |
International Journal of Software Engineering and Knowledge Engineering |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu |
Fuzzy Operator Logic and Fuzzy Resolution. |
J. Autom. Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")