Zhi Jin

According to our database1, Zhi Jin authored at least 222 papers between 1993 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Toward Better Summarizing Bug Reports With Crowdsourcing Elicited Attributes.
IEEE Trans. Reliability, 2019

Smart Contract-Based Negotiation for Adaptive QoS-Aware Service Composition.
IEEE Trans. Parallel Distrib. Syst., 2019

Weakly Supervised Salient Object Detection With Spatiotemporal Cascade Neural Networks.
IEEE Trans. Circuits Syst. Video Techn., 2019

Robust Plane Detection Using Depth Information From a Consumer Depth Camera.
IEEE Trans. Circuits Syst. Video Techn., 2019

A five-octave broadband LNA MMIC using bandwidth enhancement and noise reduction technique.
IEICE Electronic Express, 2019

Codesign of K a-Band Integrated GaAs PIN Diodes Limiter and Low Noise Amplifier.
IEEE Access, 2019

Fault Severity Classification and Size Estimation for Ball Bearings Based on Vibration Mechanism.
IEEE Access, 2019

Forward and backward traceability: Requirements and challenges (Keynote).
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

POET: Privacy on the Edge with Bidirectional Data Transformations.
Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications, 2019

Modelling and analysing resilient cyber-physical systems.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Why Do Neural Dialog Systems Generate Short and Meaningless Replies? a Comparison between Dialog and Translation.
Proceedings of the IEEE International Conference on Acoustics, 2019

NV-DNN: Towards Fault-Tolerant DNN Systems with N-Version Programming.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2019

Deep-AutoCoder: Learning to Complete Code Precisely with Induced Code Tokens.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

Bidirectional Transformations for Self-Adaptive Systems.
Proceedings of the Engineering Adaptive Software Systems, 2019

2018
Tree-Based Convolutional Neural Networks - Principles and Applications
Springer Briefs in Computer Science, Springer, ISBN: 978-981-13-1869-6, 2018

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.
IEEE Trans. Intelligent Transportation Systems, 2018

1-30 GHz ultra-wideband low noise amplifier with on-chip temperature-compensation circuit.
IEICE Electronic Express, 2018

Multi-Scale Spatiotemporal Conv-LSTM Network for Video Saliency Detection.
Proceedings of the 2018 ACM on International Conference on Multimedia Retrieval, 2018

Towards Neural Speaker Modeling in Multi-Party Conversation: The Task, Dataset, and Models.
Proceedings of the Eleventh International Conference on Language Resources and Evaluation, 2018

Deep code comment generation.
Proceedings of the 26th Conference on Program Comprehension, 2018

Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Summarizing Source Code with Transferred API Knowledge.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Companies' domination in FLOSS development: an empirical study of OpenStack.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

QoS-aware service composition using blockchain-based smart contracts.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

On early statistical requirements validation of cyber-physical space systems.
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

Color Image Demosaicking Using a 3-Stage Convolutional Neural Network Structure.
Proceedings of the 2018 IEEE International Conference on Image Processing, 2018

Information Fusion based Quality Enhancement for 3D Stereo Images Using CNN.
Proceedings of the 26th European Signal Processing Conference, 2018

Towards Neural Speaker Modeling in Multi-Party Conversation: The Task, Dataset, and Models.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Learning high-dimensional multimedia data.
Multimedia Syst., 2017

Two-step gate-recess process combining selective wet-etching and digital wet-etching for InAlAs/InGaAs InP-based HEMTs.
Frontiers of IT & EE, 2017

A CNN cascade for quality enhancement of compressed depth images.
Proceedings of the 2017 IEEE Visual Communications and Image Processing, 2017

Learning to Infer API Mappings from API Documents.
Proceedings of the Knowledge Science, Engineering and Management, 2017

Improved Knowledge Base Completion by the Path-Augmented TransR Model.
Proceedings of the Knowledge Science, Engineering and Management, 2017

Learning Sparse Overcomplete Word Vectors Without Intermediate Dense Representations.
Proceedings of the Knowledge Science, Engineering and Management, 2017

Coupling Distributed and Symbolic Execution for Natural Language Queries.
Proceedings of the 34th International Conference on Machine Learning, 2017

Coupling Distributed and Symbolic Execution for Natural Language Queries.
Proceedings of the 5th International Conference on Learning Representations, 2017

Multi-modal metric learning for vehicle re-identification in traffic surveillance environment.
Proceedings of the 2017 IEEE International Conference on Image Processing, 2017

Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems.
Proceedings of the Formal Methods and Software Engineering, 2017

A Reinforcement Learning-Based Framework for the Generation and Evolution of Adaptation Rules.
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Hierarchical RNN with Static Sentence-Level Attention for Text-Based Speaker Change Detection.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Eliciting Activity Requirements from Crowd Using Genetic Algorithm.
Proceedings of the Requirements Engineering for Internet of Things, 2017

2016
Virtual-View-Assisted Video Super-Resolution and Enhancement.
IEEE Trans. Circuits Syst. Video Techn., 2016

Proving inequalities and solving global optimization problems via simplified CAD projection.
J. Symb. Comput., 2016

Towards Ontological Approach to Security Risk Analysis of Information System: Model and Architecture.
IJSSE, 2016

Capturing Requirements from Expected Interactions Between Software and Its Interactive Environment: An Ontology Based Approach.
International Journal of Software Engineering and Knowledge Engineering, 2016

Lightweight semantic service modelling for IoT: an environment-based approach.
IJES, 2016

Multiview video plus depth transmission via virtual-view-assisted complementary down/upsampling.
EURASIP J. Image and Video Processing, 2016

Preface.
SCIENCE CHINA Information Sciences, 2016

Petri net based test case generation for evolved specification.
SCIENCE CHINA Information Sciences, 2016

Context-Aware Tree-Based Convolutional Neural Networks for Natural Language Inference.
Proceedings of the Knowledge Science, Engineering and Management, 2016

Learning Embeddings of API Tokens to Facilitate Deep Learning Based Program Processing.
Proceedings of the Knowledge Science, Engineering and Management, 2016

How Transferable are Neural Networks in NLP Applications?
Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, 2016

Improved relation classification by deep recurrent neural networks with data augmentation.
Proceedings of the COLING 2016, 2016

Sequence to Backward and Forward Sequences: A Content-Introducing Approach to Generative Short-Text Conversation.
Proceedings of the COLING 2016, 2016

Distilling Word Embeddings: An Encoding Approach.
Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016

Integrating Goal Model into Rule-Based Adaptation.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Natural Language Inference by Tree-Based Convolution and Heuristic Matching.
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

Compressing Neural Language Models by Sparse Word Representations.
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

Convolutional Neural Networks over Tree Structures for Programming Language Processing.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Stigmergy-Based Construction of Internetware Artifacts.
IEEE Software, 2015

Goal model driven alternative selection: a quantitative approach.
Proceedings of the 2015 IEEE International Model-Driven Requirements Engineering Workshop, 2015

Super-Resolution of Depth Map Exploiting Planar Surfaces.
Proceedings of the Advances in Multimedia Information Processing - PCM 2015, 2015

Building Program Vector Representations for Deep Learning.
Proceedings of the Knowledge Science, Engineering and Management, 2015

A Feature-Driven Approach to Automated Class Diagram Construction.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

DelayDroid: Reducing Tail-Time Energy by Refactoring Android Apps.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Quality enhancement of quality-asymmetric multiview plus depth video by using virtual view.
Proceedings of the 2015 IEEE International Conference on Multimedia & Expo Workshops, 2015

Classifying Relations via Long Short Term Memory Networks along Shortest Dependency Paths.
Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

A Comparative Study on Regularization Strategies for Embedding-based Neural Networks.
Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

Discriminative Neural Sentence Modeling by Tree-Based Convolution.
Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

Transforming Code with Compositional Mappings for API-Library Switching.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering, 2014

Towards ontological approach to eliciting risk-based security requirements.
IJICS, 2014

Implementation decision making for internetware driven by quality requirements.
SCIENCE CHINA Information Sciences, 2014

Eliciting dependability requirements: a control cases based approach.
SCIENCE CHINA Information Sciences, 2014

A 4-GS/s 8-bit two-channel time-interleaved folding and interpolating ADC.
SCIENCE CHINA Information Sciences, 2014

TDL: a transformation description language from feature model to use case for automated use case derivation.
Proceedings of the 18th International Software Product Line Conference, 2014

A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

Verification Based on Hyponymy Hierarchical Characteristics for Web-Based Hyponymy Discovery.
Proceedings of the Knowledge Science, Engineering and Management, 2014

User preference based autonomic generation of self-adaptive rules.
Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

Planar surfaces detection on depth map using patch based approach.
Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014

Modeling and Specifying Parametric Adaptation Mechanism for Self-Adaptive Systems.
Proceedings of the Requirements Engineering, 2014

2013
Ontology patterns for service-oriented software development.
Softw., Pract. Exper., 2013

Measuring the significance of inconsistency in the Viewpoints framework.
Sci. Comput. Program., 2013

From inconsistency handling to non-canonical requirements management: A logical perspective.
Int. J. Approx. Reasoning, 2013

Feature-oriented stigmergy-based collaborative requirements modeling: an exploratory approach for requirements elicitation and evolution based on web-enabled collective intelligence.
SCIENCE CHINA Information Sciences, 2013

3-D video depth map quantization based on Lloyd's algorithm.
Proceedings of the 11th IVMSP Workshop: 3D Image/Video Technologies and Applications, 2013

A Knowware Based Infrastructure for Rule Based Control Systems in Smart Spaces.
Proceedings of the Safe and Secure Software Reuse, 2013

MCT: a tool for commenting programs by multimedia comments.
Proceedings of the 35th International Conference on Software Engineering, 2013

Finding Optimal Solution for Satisficing Non-functional Requirements via 0-1 Programming.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Domain Hyponymy Hierarchy Discovery by Iterative Web Searching and Inferable Semantics Based Concept Selecting.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Analyzing Early Requirements of Cyber-physical Systems through Structure and Goal Modeling.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Measuring the blame of each formula for inconsistent prioritized knowledge bases.
J. Log. Comput., 2012

Measuring Software Requirements Evolution Caused by Inconsistency.
Int. J. Software and Informatics, 2012

A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements.
IJKSS, 2012

CoFM: An environment for collaborative feature modeling.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Mining binary constraints in the construction of feature models.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

An approach for selecting implementation strategies of non-functional requirements.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Service discovery for internet of things: a context-awareness perspective.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Modeling and Analyzing the Reliability and Cost of Service Composition in the IoT: A Probabilistic Approach.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Automated Reasoning with Goal Tree Models for Software Quality Requirements.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Discovering Domain Concepts and Hyponymy Relations by Text Relevance Classifying Based Iterative Web Searching.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Extending the Problem Frames Approach for Capturing Non-functional Requirements.
Proceedings of the 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30, 2012

2011
Missing Value Estimation for Mixed-Attribute Data Sets.
IEEE Trans. Knowl. Data Eng., 2011

A general framework for measuring inconsistency through minimal inconsistent sets.
Knowl. Inf. Syst., 2011

Missing data imputation by utilizing information within incomplete instances.
Journal of Systems and Software, 2011

Managing Software Requirements Changes Based on Negotiation-Style Revision.
J. Comput. Sci. Technol., 2011

A Syntax-based approach to measuring the degree of inconsistency for belief bases.
Int. J. Approx. Reasoning, 2011

An Automatic Reasoning Mechanism for NFR Goal Models.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

A process algebra for environment-based specification of web services.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Unifying domain ontology with agent-oriented modeling of services.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

An Ontology based Method for Building Understandable Hierarchical Classification Structure for Software Assets Browsing.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

rΣ: Automated reasoning tool for non-functional requirement goal models.
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

An Approach to Generating Proposals for Handling Inconsistent Software Requirements.
Proceedings of the Knowledge Science, Engineering and Management, 2011

An Engineerable Ontology Based Approach for Requirements Elicitation in Process Centered Problem Domain.
Proceedings of the Knowledge Science, Engineering and Management, 2011

Agent-Oriented Requirements Analysis from Scenarios.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2011

Towards a More Fundamental Explanation of Constraints in Feature Models: A Requirement-Oriented Approach.
Proceedings of the Top Productivity through Software Reuse, 2011

Characterizing the Implementation of Software Non-functional Requirements from Probabilistic Perspective.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Modeling Timing Requirements in Problem Frames Using CCSL.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
Specifying and Composing Web Services with an Environment Ontology-Based Approach.
Int. J. Web Service Res., 2010

Summary queries for frequent itemsets mining.
Journal of Systems and Software, 2010

Handling over-fitting in test cost-sensitive decision tree learning by feature selection, smoothing and pruning.
Journal of Systems and Software, 2010

An Agent Based Framework for Internetware Computing.
Int. J. Software and Informatics, 2010

Preface.
Int. J. Software and Informatics, 2010

Preface.
Int. J. Software and Informatics, 2010

Capability description and discovery of Internetware entity.
SCIENCE CHINA Information Sciences, 2010

Elicitation of Dependability Requirements: A HAZOP-based Approach.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Dptool: A Tool for Supporting the Problem Description and Projection.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Knowledge Merging under Multiple Attributes.
Proceedings of the Knowledge Science, 2010

iMashup: assisting end-user programming for the service-oriented web.
Proceedings of the ASE 2010, 2010

Modeling in agent oriented internetware framework.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

CoFM: a web-based collaborative feature modeling system for internetware requirements' gathering and continual evolution.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

A problem-driven collaborative approach to eliciting requirements of internetwares.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Semantic Approach for Service Oriented Requirements Modeling.
Proceedings of the Intelligent Information Processing V, 2010

From Use Case Model to Service Model: An Environment Ontology Based Approach.
Proceedings of the GCC 2010, 2010

A Framework for the Elicitation and Analysis of Information Technology Service Requirements and Their Alignment with Enterprise Business Goals.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Assignment problem in requirements driven agent collaboration and its implementation.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

A Formalism for Extending the NFR Framework to Support the Composition of the Goal Trees.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
Missing Data Analysis: A Kernel-Based Multi-Imputation Approach.
Trans. Computational Science, 2009

Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging.
Fundam. Inform., 2009

A decremental algorithm of frequent itemset maintenance for mining updated databases.
Expert Syst. Appl., 2009

Mining globally interesting patterns from multiple databases using kernel estimation.
Expert Syst. Appl., 2009

Mining class-bridge rules based on rough sets.
Expert Syst. Appl., 2009

Strategies for complex data cube queries.
Appl. Intell., 2009

A Trust Measurement Mechanism for Service Agents.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence, 2009

A Use Case Based Approach to Feature Models' Construction.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

AVT Vector: A Quantitative Security Requirements Evaluation Approach Based on Assets, Vulnerabilities and Trustworthiness of Environment.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Verifying Software Requirements Based on Answer Set Programming.
Proceedings of the Knowledge Science, 2009

Internetware computing: issues and perspective.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Aggregation of autonomous Internetware entities.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Requirement Driven Service Agent Collaboration and QoS Based Negotiation.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

An Agent-Oriented Requirement Graphic Symbol Representation and Formalization Modeling Method.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

An Agent-Based Framework Supporting Trust Evaluation for Service Selection.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Elicit the Requirements on Software Dependability: A Knowledge-Based Approach.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

Performing Projection in Problem Frames Using Scenarios.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008
Building toward Capability Specifications of Web Services Based on an Environment Ontology.
IEEE Trans. Knowl. Data Eng., 2008

Evolving quantum circuits at the gate level with a hybrid quantum-inspired evolutionary algorithm.
Soft Comput., 2008

Web Services Composing by Multiagent Negotiation.
J. Systems Science & Complexity, 2008

A Priority-Based Negotiations Approach for Handling Inconsistencies in Multi-Perspective Software Requirements.
J. Systems Science & Complexity, 2008

Preface.
J. Systems Science & Complexity, 2008

Towards a service requirements modelling ontology based on agent knowledge and intentions.
IJAOSE, 2008

Special issue on applications and advances in problem frames.
Expert Systems, 2008

From knowledge based software engineering to knowware based software engineering.
Science in China Series F: Information Sciences, 2008

A Framework for Agent-Based Service-Oriented Modelling.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

Balancing Academic and Industrial Needs in RE Courses.
Proceedings of the Third International Workshop on Requirements Engineering Education and Training, 2008

NIIA: Nonparametric Iterative Imputation Algorithm.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Requirement Driven Service Agent Coalition Formation and Negotiation.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

A Scenario-Based Problem Decomposition.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

A Modeling Approach for Service-Oriented Application Based on Extensive Reuse.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008

3rd international workshop on advances and applications of problem frames.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Service-Oriented Modeling: An Extensive Reuse Method.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

An Agent-Based Trust Model for Service-Oriented Systems.
Proceedings of the Trust in Agent Societies, 2008

A Measurement-Driven Process Model for Managing Inconsistent Software Requirements.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007
Handling non-canonical software requirements based on Annotated Predicate Calculus.
Knowl. Inf. Syst., 2007

Web Service Retrieval based on Environment Ontology.
Proceedings of the WEBIST 2007, 2007

Trust Analysis of Web Services Based on a Trust Ontology.
Proceedings of the Knowledge Science, 2007

A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements.
Proceedings of the Knowledge Science, 2007

An Ontology of Problem Frames for Guiding Problem Frame Specification.
Proceedings of the Knowledge Science, 2007

Evolving Quantum Circuits for Temporal Averaging in Bulk Quantum Computation.
Proceedings of the Third International Conference on Natural Computation, 2007

Service-Oriented Modeling: An Ontology-based Approach.
Proceedings of ICEBE 2007, 2007

Requirement Engineering in Service-Oriented System Engineering.
Proceedings of ICEBE 2007, 2007

Requirement Driven Agent Collaboration Based on Functional Ontology and AMD.
Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Towards Controllable Requirements Engineering Processes based on Cybernetics.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Requirements driven agent collaboration.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Requirements driven agent collaboration.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006
Beyond Knowledge Engineering.
J. Comput. Sci. Technol., 2006

Revisiting the Meaning of Requirements.
J. Comput. Sci. Technol., 2006

Modeling and verifying Web services driven by requirements: An ontology-based approach.
Science in China Series F: Information Sciences, 2006

Integrating Goals and Problem Frames in Requirements Analysis.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Towards A Service Requirements Ontology on Knowledge and Intention.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Reasoning About Hybrid Probabilistic Knowledge Bases.
Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

On Constructing Environment Ontology for Semantic Web Services.
Proceedings of the Knowledge Science, 2006

An Approach for Specifying Capability ofWeb Services based on Environment Ontology.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Web Service Composition: An Approach Using Effect-Based Reasoning.
Proceedings of the Service-Oriented Computing, 2006

2nd international workshop on advances and applications of problem frames.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Environment Ontology-Based Capability Specification for Web Service Discovery.
Proceedings of the Formal Methods and Software Engineering, 2006

Web Service Retrieval: An Approach Based on Context Ontology.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005
FECT: A Modelling Framework for Automatically Composing Web Services.
Proceedings of the Advances in Web-Age Information Management, 2005

Ontology-Based Inconsistency Management of Software Requirements Specifications.
Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

A Framework for Reusing and Composing Software Components on Web.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

FECT: A Framework for Automatic Composition ofWeb Services.
Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

A Logical Approach for Testing Requirements.
Proceedings of the IASTED International Conference on Software Engineering, 2005

Measuring Inconsistency in Requirements Specifications.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Some Cognitive Aspects of a Turing Test for Children.
Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005

Inconsistency-Based Strategy for Clarifying Vague Software Requirements.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

Detecting of Requirements Inconsistency : An Ontology-Based Approach.
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2003
Automated Requirements Elicitation: Combining a Model-Driven Approach with Concept Reuse.
International Journal of Software Engineering and Knowledge Engineering, 2003

Automating application software generation.
Expert Systems, 2003

An experiment for showing some kind of artificial understanding.
Expert Systems, 2003

Automatically multi-paradigm requirements modeling and analyzing: An ontology-based approach.
Science in China Series F: Information Sciences, 2003

Domain Knowledge Representation: Using an Ontology Language.
Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

Involving End Users in Requirements Elicitation and Goal-Oriented Analysis.
Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002
Ontology-Based Semantic Cache in AOKB.
J. Comput. Sci. Technol., 2002

Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing.
J. Comput. Sci. Technol., 2002

Learning Fuzzy Decision Trees from Sequential and Incomplete Data.
Proceedings of the Intelligent Information Processing, 2002

1998
OSNET - A Language for Domain Modeling.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

1995
The structure and semantics of an object-oriented logic programming language: SCKE.
J. Comput. Sci. Technol., 1995

Requirement Specification in Pseudo-Natural Language in PROMIS.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1993
SCKE: Combining logic- with object-oriented paradigm.
J. Comput. Sci. Technol., 1993


  Loading...