Jeffrey J. P. Tsai

Proceedings of the 2nd IEEE International Conference on Cognitive Machine Intelligence, 2020

Development of A Blockchain Framework for Virtual Clinical Trials.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2020, 2020

2019

Trust-Based IoT Cloud Participatory Sensing of Air Quality.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2019

Trust-Based Service Management for Mobile Cloud IoT Systems.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2019

AI Blockchain Platform for Trusting News.

[BibT_eX]

[DOI]

Zonyin Shae

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Random Sampling Deep Learning Mechanism for Discovering Unique Property of No Specific Local Feature Images.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE First International Conference on Cognitive Machine Intelligence (CogMI), 2019

Applying Blockchain Technology to Enhance Clinical Trial Recruitment.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2019, 2019

2018

CATrust: Context-Aware Trust Management for Service-Oriented Ad Hoc Networks.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2018

A semantic recommendation system for cancer-related articles.

[BibT_eX]

[DOI]

Encycl. Semantic Comput. Robotic Intell., 2018

Trust-based mechanism design for cooperative spectrum sensing in cognitive radio networks.

[BibT_eX]

[DOI]

Comput. Commun., 2018

Application of Semantic Computing in Cancer on Secondary Data Analysis.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Transform Blockchain into Distributed Parallel Computing Architecture for Precision Medicine.

[BibT_eX]

[DOI]

Jeffrey Tsai

Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

Trust as a Service for IoT Service Management in Smart Cities.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, 2018

Quantitative Analysis of ECI2 Expression from RNA-Seq for Breast Cancer Gene Signatures.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Bioinformatics and Bioengineering, 2018

Computational Modeling of the Early Development of Embryonic Leaves in Maize.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Bioinformatics and Bioengineering, 2018

Stratification of Human Gut Microiome and Building a SVM-Based Classifier.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Bioinformatics and Bioengineering, 2018

Identification of Several Core Overexpressed MicroRNAs that Could Predict Survival in Patients with Ovarian Cancer.

[BibT_eX]

[DOI]

Eskezeia Yihunie Dessie

Proceedings of the 18th IEEE International Conference on Bioinformatics and Bioengineering, 2018

The Potential Dual-Target Inhibitors for HER2/HSP90 Proteins from Traditional Chinese Medicine.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Bioinformatics and Bioengineering, 2018

Identification of Potential Long Non-coding RNA Biomarkers for Breast Cancer Patients with Somatic BRCA1 Mutations from RNA-Seq Datasets.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Bioinformatics and Bioengineering, 2018

Applying Blockchain Technology for Health Information Exchange and Persistent Monitoring for Clinical Trials.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2018, 2018

Utilize Imputation Method and Meta-analysis to Identify DNA-Methylation-Mediated microRNAs in Ovarian Cancer.

[BibT_eX]

[DOI]

Proceedings of the Algorithms for Computational Biology - 5th International Conference, 2018

2017

Trust-Based Task Assignment With Multiobjective Optimization in Service-Oriented Ad Hoc Networks.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2017

Drug repurposing and therapeutic anti-microRNA predictions for inhibition of oxidized low-density lipoprotein-induced vascular smooth muscle cell-associated diseases.

[BibT_eX]

[DOI]

J. Bioinform. Comput. Biol., 2017

Use of semantics in bio-informatics.

[BibT_eX]

[DOI]

Charles C. N. Wang

Encycl. Semantic Comput. Robotic Intell., 2017

A survey of trust computation models for service management in internet of things systems.

[BibT_eX]

[DOI]

Jia Guo

Ing-Ray Chen

Comput. Commun., 2017

A Mobile Cloud Hierarchical Trust Management Protocol for IoT Systems.

[BibT_eX]

[DOI]

Jia Guo

Ing-Ray Chen

Proceedings of the 5th IEEE International Conference on Mobile Cloud Computing, 2017

On the Design of a Blockchain Platform for Clinical Trial and Precision Medicine.

[BibT_eX]

[DOI]

Zonyin Shae

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

A Case Study of IoT Participatory Sensing of Hazardous Ozone Using Traces.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Systems and Data Mining III, 2017

Extracting the Co-occurrences of DNA Maximal Repeats in both Human and Viruses.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Bioinformatics and Bioengineering, 2017

2016

DNA methylation-regulated microRNA pathways in ovarian serous cystadenocarcinoma: A meta-analysis.

[BibT_eX]

[DOI]

Comput. Biol. Chem., 2016

Trust-Based IoT Participatory Sensing for Hazard Detection and Response.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2016 Workshops, 2016

Mining distinctive DNA patterns from the upstream of human coding&non-coding genes via class frequency distribution.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2016

A Deep Learning-Based Customer Forecasting Tool.

[BibT_eX]

[DOI]

Kuo-Yi Lin

Proceedings of the IEEE Second International Conference on Multimedia Big Data, 2016

National Representatively Healthcare Database and the Application.

[BibT_eX]

[DOI]

Yi Chung

Yu-Ching Chen

Proceedings of the IEEE Second International Conference on Multimedia Big Data, 2016

Application of Latent Semantic Analysis to Clustering of Cardiovascular Gene Ontology.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Bioinformatics and Bioengineering, 2016

A Comparison Study of Reverse Engineering Gene Regulatory Network Modeling.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Bioinformatics and Bioengineering, 2016

piRNAtarget: The Integrated Database for Mining Functionality of piRNA and Its Targets.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Bioinformatics and Bioengineering, 2016

Identification and Analysis of Palindromes for RNA Sequences.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Bioinformatics and Bioengineering, 2016

Deep Learning for Risk Analysis of Specific Cardiovascular Diseases Using Environmental Data and Outpatient Records.

[BibT_eX]

[DOI]

Han C. W. Hsiao

Sean H. F. Chen

Proceedings of the 16th IEEE International Conference on Bioinformatics and Bioengineering, 2016

Fine Classification of Human Gut Microbiota by Using Hierarchical Clustering Approach.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Bioinformatics and Bioengineering, 2016

Stent Design for Compensating Wall Shear Stress via Computational Modeling and Fluid Dynamics.

[BibT_eX]

[DOI]

Chun-Ming Chang

Wei Shin Wong

Proceedings of the 16th IEEE International Conference on Bioinformatics and Bioengineering, 2016

Genome-Wide Functional Identification of Maximal Consensus Patterns Derived from Multiple Species piRNAs.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Bioinformatics and Bioengineering, 2016

2015

Towards Semantic Biomedical Problem Solving.

[BibT_eX]

[DOI]

Charles C. N. Wang

Phillip C.-Y. Sheu

Int. J. Semantic Comput., 2015

KSOS - An Operating System for Knowledge Societies.

[BibT_eX]

[DOI]

Int. J. Semantic Comput., 2015

Transcription factor and microRNA-regulated network motifs for cancer and signal transduction networks.

[BibT_eX]

[DOI]

Chien-Hung Huang

BMC Syst. Biol., 2015

FARE-CAFE: a database of functional and regulatory elements of cancer-associated fusion events.

[BibT_eX]

[DOI]

Wen-Tsong Hsieh

Huey-Yi Chen

Database J. Biol. Databases Curation, 2015

2014

A model comparison study of the flowering time regulatory network in Arabidopsis.

[BibT_eX]

[DOI]

BMC Syst. Biol., 2014

2013

Prediction of microRNA-regulated protein interaction pathways in Arabidopsis using machine learning algorithms.

[BibT_eX]

[DOI]

Comput. Biol. Medicine, 2013

Semantic Computing and Drug Discovery - A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Seventh International Conference on Semantic Computing, 2013

Molecular Simulation Methods for Selecting Thrombin-Binding Aptamers.

[BibT_eX]

[DOI]

Proceedings of the Information Technology Convergence, 2013

2011

Intrusion Detection - A Machine Learning Approach

[BibT_eX]

[DOI]

Series in Electrical and Computer Engineering 3, WorldScientific, ISBN: 978-1-908978-26-4, 2011

A collaborative multimedia annotation tool for enhancing knowledge sharing in CSCL.

[BibT_eX]

[DOI]

Interact. Learn. Environ., 2011

Cumulative Spectral repeat Finder (Csrf): a Spectral Approach for Identifying the Length of repeats in DNA Sequences.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2011

Blood Cell Image Classification Based on Hierarchical SVM.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Symposium on Multimedia, 2011

Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Bioinformatics and Bioengineering, 2011

Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Bioinformatics and Bioengineering, 2011

Object Relational Programming of Biomedical Images.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Bioinformatics and Bioengineering, 2011

Molecular Modeling Studies of AmpR Mediated AmpC ß-Lactamase Repression.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Bioinformatics and Bioengineering, 2011

TTRSIS: A Cloud Computing Platform for Rice Functional Genomics Research through a Reverse Genetics Approach.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Bioinformatics and Bioengineering, 2011

The Application of Molecular Markers to Identify Edible Fungi: A Case Study of Tremella Fuciformis.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Bioinformatics and Bioengineering, 2011

Ergonomic Designs Based on Musculoskeletal Models.

[BibT_eX]

[DOI]

Chun-Ming Chang

Proceedings of the 11th IEEE International Conference on Bioinformatics and Bioengineering, 2011

2010

Using Description Logics for the Provision of Context-Driven Content Adaptation Services.

[BibT_eX]

[DOI]

Int. J. Syst. Serv. Oriented Eng., 2010

Modeling a Secure Sensor Network Using an Extended Elementary Object System.

[BibT_eX]

[DOI]

Int. J. Cogn. Informatics Nat. Intell., 2010

A Model for Object Relational OLAP.

[BibT_eX]

[DOI]

S. Ikeda

Phillip C.-Y. Sheu

Int. J. Artif. Intell. Tools, 2010

Improving fuzzy knowledge integration with particle swarmoptimization.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2010

2009

Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

Supporting CSCW and CSCL with Intelligent Social Grouping Services.

[BibT_eX]

[DOI]

Int. J. Softw. Sci. Comput. Intell., 2009

Soa-Based Content Delivery Model for Mobile Internet Navigation.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2009

A Doctrine of Cognitive Informatics (CI).

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Improving peer-to-peer search performance through intelligent social search.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2009

Describing Dynamic Biological Systems in SPDL and SCDL.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Bioinformatics and Bioengineering, 2009

An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Bioinformatics and Bioengineering, 2009

SCDL Applications to Drug Discovery.

[BibT_eX]

[DOI]

David A. Hecht

Phillip C.-Y. Sheu

Proceedings of the Ninth IEEE International Conference on Bioinformatics and Bioengineering, 2009

A Novel Approach for Motif Identification in Unaligned Molecular Sequences.

[BibT_eX]

[DOI]

Rong-Ming Chen

M. T. Hou

Proceedings of the Ninth IEEE International Conference on Bioinformatics and Bioengineering, 2009

Phylogenetic Analysis Using Nuclear-Encoded Mitochondrial Proteins.

[BibT_eX]

[DOI]

Alan C. H. Chen

Han C. W. Hsiao

Proceedings of the Ninth IEEE International Conference on Bioinformatics and Bioengineering, 2009

2008

Knowledge Verification.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

System Monitoring.

[BibT_eX]

[DOI]

Yanhong A. Liu

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Formal Modeling and Analysis of a Secure Mobile-Agent System.

[BibT_eX]

[DOI]

Lu Ma

IEEE Trans. Syst. Man Cybern. Part A, 2008

An adaptive automatically tuning intrusion detection system.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2008

Predicting Subcellular Locations of Eukaryotic Proteins Using Bayesian and /k/-Nearest Neighbor Classifiers.

[BibT_eX]

[DOI]

Han C. W. Hsiao

Shih-Hao Chen

Judson Pei-Chun Chang

J. Inf. Sci. Eng., 2008

Using SCDL for Integrating Tools and Data for Complex Biomedical Applications.

[BibT_eX]

[DOI]

Int. J. Semantic Comput., 2008

Scaling Behavior of Maximal Repeat Distributions in Genomic Sequences.

[BibT_eX]

[DOI]

Int. J. Cogn. Informatics Nat. Intell., 2008

A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Sensor Networks, 2008

BioSemantic System: Applications of Structured Natural Language to Biological and Biochemical Research.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Sensor Networks, 2008

A Framework for Extrusion Detection Using Machine Learning.

[BibT_eX]

[DOI]

Yan Luo

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

A Context-Driven Content Adaptation Planner for Improving Mobile Internet Accessibility.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Modeling a secure sensor network system using an Extended Elementary Object System.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, 2008

2007

An Automatically Tuning Intrusion Detection System.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part B, 2007

Introduction: Special issue of the IEEE SUTC'06.

[BibT_eX]

[DOI]

Mukesh Singhal

ACM Trans. Auton. Adapt. Syst., 2007

The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2007

Introduction to the Special Issue on Sensor Networks, Ubiquitous and Trustworthy Computing.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2007

A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2007

2006

Security Modeling and Analysis of Mobile Agent Systems

[BibT_eX]

[DOI]

Lu Ma

Series in Electrical and Computer Engineering 5, WorldScientific, ISBN: 978-1-908979-95-7, 2006

Generating high-quality discrete LOD meshes for 3D computer games in linear time.

[BibT_eX]

[DOI]

Multim. Syst., 2006

A Novel Cache-based Approach to Large Polygonal Mesh Simplification.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2006

An efficient intrusion detection system using a boosting-based learning algorithm.

[BibT_eX]

[DOI]

Int. J. Comput. Appl. Technol., 2006

Modular Structures and Robustness of Protein Networks.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2006

Predicting Cancerous Genes Based on Regulation Truth Tables.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2006

Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems.

[BibT_eX]

[DOI]

Shangping Ren

Limin Shen

Proceedings of the IEEE International Conference on Sensor Networks, 2006

A ubiquitous warning system for asthma-inducement.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Sensor Networks, 2006

Issues, Challenges, and Future Directions in Multimedia Research.

[BibT_eX]

[DOI]

Proceedings of the Eigth IEEE International Symposium on Multimedia (ISM 2006), 2006

Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability.

[BibT_eX]

[DOI]

Pierre-Etienne Poirot

Shangping Ren

Jerzy Nogiec

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Fuzzy Model Tuning for Intrusion Detection Systems.

[BibT_eX]

[DOI]

Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

2005

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Du Zhang

Int. J. Softw. Eng. Knowl. Eng., 2005

A Software Architecture for Finding Motifs Using Genetic Algorithm.

[BibT_eX]

[DOI]

Rong-Ming Chen

Falcon F. M. Liu

Int. J. Softw. Eng. Knowl. Eng., 2005

Topological Robustness of the Protein-Protein Interaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Systems Biology and Regulatory Genomics, 2005

A Graphical Simulation System for Modeling and Analysis of Sensor Networks.

[BibT_eX]

[DOI]

Yan Luo

Proceedings of the Seventh IEEE International Symposium on Multimedia (ISM 2005), 2005

Study of the protein-protein interaction networks via random graph approach.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005

2004

Constraint Propagation And Progressive Verification For Component-Based Process Model.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2004

Prediction of gene regulatory networks using differential expression of cDNA microarray data.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Symposium on Multimedia Software Engineering, 2004

Distributed discovery of asynchronous partial periodic patterns in sequence data using modified periodicity transform.

[BibT_eX]

[DOI]

Han-Wen Hsiao

Meng-Shu Tsai

Proceedings of the Sixth IEEE International Symposium on Multimedia Software Engineering, 2004

A linear time algorithm for high quality mesh simplification.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Symposium on Multimedia Software Engineering, 2004

A Multi-Class SLIPPER System for Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

A Secure Mobile Agent System Model Based on Extended Elementary Object System.

[BibT_eX]

[DOI]

Lu Ma

Tadao Murata

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

FMGA: Finding Motifs by Genetic Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 2004

Using Distributed Computing Platform to Solve High Computing and Huge Data Processing Problems in Bioinformatics.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 2004

2003

Fuzzy Rule Base Systems Verification Using High-Level Petri Nets.

[BibT_eX]

[DOI]

Stephen J. H. Yang

Chyun-Chyi Chen

IEEE Trans. Knowl. Data Eng., 2003

Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.

[BibT_eX]

[DOI]

Avinash Sahay

IEEE Trans. Knowl. Data Eng., 2003

An Approach for Modeling and Analysis of Security System Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2003

Machine Learning and Software Engineering.

[BibT_eX]

[DOI]

Du Zhang

Softw. Qual. J., 2003

Searching the regulatory protein binding site by steepest ascent algorithm.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Symposium on Multimedia Software Engineering, 2003

In silico discovery of cancer-related genes by functional domain analysis.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Symposium on Multimedia Software Engineering, 2003

Subcellular localization prediction of eukaryotic proteins using functional domain frequency measure.

[BibT_eX]

[DOI]

Han-Wen Hsiao

Shih-Hao Chen

Proceedings of the Fifth International Symposium on Multimedia Software Engineering, 2003

An intelligent agent-based biomedical literature mining system for cancer-related genes.

[BibT_eX]

[DOI]

Shih-Nung Chen

Wei-Hao Chen

Proceedings of the Fifth International Symposium on Multimedia Software Engineering, 2003

A Framework for Cancer-Related Genes Mining over the Internet.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2003), 2003

2002

Development of Wireless Embedded Systems Using Component Based Software.

[BibT_eX]

[DOI]

Stephen J. H. Yang

Irene Y. L. Chen

Int. J. Softw. Eng. Knowl. Eng., 2002

Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001

Hybrid Parallel Execution Model for Logic-Based Specification Languages

[BibT_eX]

[DOI]

Series on Software Engineering and Knowledge Engineering 10, WorldScientific, ISBN: 978-981-4494-19-9, 2001

Reduction Methods for Real-Time Systems Using Delay Time Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

Modeling and Verification of High-Assurance Properties of Safety-Critical Systems.

[BibT_eX]

[DOI]

Comput. J., 2001

Supporting Well-Engineered Web Documentation Development - a Multimedia Software Engineering Approach toward Virtual University Courseware Designs.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 2001

Formal Analysis of Software Security System Architectures.

[BibT_eX]

[DOI]

Yi Deng

Jiacun Wang

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

2000

Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment.

[BibT_eX]

[DOI]

Dinesh Kadamuddi

IEEE Trans. Software Eng., 2000

A comparative study of formal verification techniques for software architecture specifications.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 2000

1999

Knowledge-Based Software Architectures: Acquisition, Specification, and Verification.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1999

Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1999

An Incremental Verification Algorithm for Real-Time Systems.

[BibT_eX]

[DOI]

Avinash Sahay

A. Prasad Sistla

Int. J. Softw. Eng. Knowl. Eng., 1999

An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1999

A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper).

[BibT_eX]

[DOI]

Australas. J. Inf. Syst., 1999

Architecture Specification of Multimedia Software Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

1998

Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.

[BibT_eX]

[DOI]

Tadao Murata

ACM Trans. Program. Lang. Syst., 1998

A Logic-Based Transformation System.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1998

Incremental Verification of Architecture Specification Language for Real-Time Systems.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1998

1997

Parallel Evaluation of Software Architecture Specifications.

[BibT_eX]

[DOI]

Commun. ACM, 1997

Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996

A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support.

[BibT_eX]

[DOI]

Stephen J. H. Yang

Int. J. Softw. Eng. Knowl. Eng., 1996

A Method for Requirements Analysis and Knowledge Elicitation.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 1996

A logic-based requirements language for the specification and analysis of real-time systems.

[BibT_eX]

[DOI]

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Verification Criterion Directed Testing for Formal Specifications.

[BibT_eX]

Ziaomu Zeng

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Transaction integration for reusable hard real-time components.

[BibT_eX]

[DOI]

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

A new compositional method for condensed state-space verification.

[BibT_eX]

[DOI]

Tadao Murata

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '96, 1996

1995

Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications.

[BibT_eX]

[DOI]

Steve Jennhwa Yang

Yao-Hsiung Chang

IEEE Trans. Software Eng., 1995

Dependability of AI Systems - Guest Editor's Introduction.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1995

A knowledge-based approach to requirements analysis.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

Improving Software Quality through a Novel Testing Strategy.

[BibT_eX]

[DOI]

Xiaomu Zeng

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

A Computationally Tractable Nonmonotonic Logic.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1994

Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach.

[BibT_eX]

[DOI]

Krishnakumar R. Nair

Int. J. Softw. Eng. Knowl. Eng., 1994

Improving parallel execution performance for logic programs using mode information.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

Modeling and parallel evaluation of non-functional requirements using FRORL requirements language.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

1993

Knowledge-Based Software Development for Real-Time Distributed Systems

[BibT_eX]

[DOI]

Series on Software Engineering and Knowledge Engineering 1, WorldScientific, ISBN: 978-981-4505-22-2, 1993

Fuzzy Operator Logic and Fuzzy Resolution.

[BibT_eX]

[DOI]

Xuhua Liu

J. Autom. Reason., 1993

An Event-Based Real-Time Logic for the Specification and Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 1993

Debugging Logic-Based Requirements Specifications - a FRORL Approach.

[BibT_eX]

Krishnakumar R. Nair

Proceedings of the SEKE'93, 1993

A requirements language for autonomous decentralized systems development.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

1992

A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1992

An explication of reasoning in multiple inheritance systems through non-monotonic horn clause logic.

[BibT_eX]

[DOI]

Inf. Sci., 1992

Guest Editor's Introduction.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1992

A Knowledge-Based Approach for the Specification and Analysis of Real-Time Software Systems.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 1992

Kb/RMS: an Intelligent Assistant for Requirement Definition.

[BibT_eX]

[DOI]

Robert V. Binder

Int. J. Artif. Intell. Tools, 1992

Intelligent syntax-directed editor that models user proficiency.

[BibT_eX]

[DOI]

Owen S. Chan

Appl. Artif. Intell., 1992

A framework of a logic-based transformation system.

[BibT_eX]

[DOI]

Ray-Yuan Sheu

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

Reasoning under uncertainty in fuzzy operator logic.

[BibT_eX]

[DOI]

Xuhua Liu

IEEE Trans. Syst. Man Cybern., 1991

A knowledge-based system for Ada® software development.

[BibT_eX]

[DOI]

Ray-Yuan Sheu

J. Syst. Integr., 1991

lambda-Resolution and interpretation of -implication in fuzzy operator logic.

[BibT_eX]

[DOI]

Inf. Sci., 1991

HCLIE: a logic-based requirement language for new software engineering paradigms.

[BibT_eX]

[DOI]

Thomas Weigert

Softw. Eng. J., 1991

Timing errors in real-time systems and their detection.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Software Reliability Engineering, 1991

A Distributed Cooperative Agents Architecture for Software Development.

[BibT_eX]

[DOI]

Ray-Yuan Sheu

Proceedings of the Next Generation of Information Systems: From Data to Knowledge, 1991

An event-based real-time logic to specify the behavior and timing properties of real-time systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

RT-FRORL: a formal requirements specification language for specifying real-time systems.

[BibT_eX]

[DOI]

Karen J. Schellinger

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

Integrated intelligent simulation environment.

[BibT_eX]

[DOI]

Simul., 1990

A knowledge-based approach for checking software information using a non-monotonic reasoning system.

[BibT_eX]

[DOI]

Knowl. Based Syst., 1990

Integration strategy for distributed intelligent systems.

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., 1990

A Noninvasive Architecture to Monitor Real-Time Distributed Systems.

[BibT_eX]

[DOI]

Computer, 1990

A knowledge-base navigation scheme for autonomous land vehicles.

[BibT_eX]

[DOI]

Mark Metea

John Cesarone

Appl. Artif. Intell., 1990

A hybrid knowledge representation as a basis of requirement specification and reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

On real-time software testing and debugging.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989

Knowledge-based system for rapid prototyping.

[BibT_eX]

[DOI]

Knowl. Based Syst., 1989

A frame and rule based system to support software development using an integrated software engineering paradigm.

[BibT_eX]

[DOI]

Shun-Tzu Tsai

Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

A replay mechanism for non-interference real-time software testing and debugging.

[BibT_eX]

[DOI]

Proceedings of the Conference on Software Maintenance, 1989

Exploratory prototyping through the use of frames and production rules.

[BibT_eX]

[DOI]

Thomas Weigert

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

A knowledge-based debugger for real-time software systems based on a noninterference testing architecture.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

An Integrated Life-Cycle Model for Software Maintenance.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1988

Intelligent Support for Specifications Transformation.

[BibT_eX]

[DOI]

Joel C. Ridge

IEEE Softw., 1988

A knowledge-based system for software design.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 1988

IDSCA: An intelligent direction selector for the controller's action in multiloop control systems.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1988

An intelligent decisionmaker for optimal control.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 1988

Integrated Environment for Intelligent Control.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA. ACM, 1988, 1988

A declarative approach to software requirement specification languages.

[BibT_eX]

[DOI]

Mikio Aoyama

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Expert systems and software engineering.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Rapid prototyping using FRORL language.

[BibT_eX]

[DOI]

Mikio Aoyama

Y. L. Chang

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1987

Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications.

[BibT_eX]

[DOI]

Stephen S. Yau

IEEE Trans. Software Eng., 1987

Route planning for intelligent autonomous land vehicles using hierarchical terrain representation.

[BibT_eX]

[DOI]

Nark B. Metea

Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987

1986

A Survey of Software Design Techniques.

[BibT_eX]

[DOI]

Stephen S. Yau

IEEE Trans. Software Eng., 1986

Verification of software specifications using automated reasoning techniques (abstract).

[BibT_eX]

[DOI]

Waldo C. Kabat

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1984

A Graph-Based Software Maintenance Environment.

[BibT_eX]

Stephen S. Yau