Zhi Jin

IEEE J. Biomed. Health Informatics, 2021

Dual-Stream Multi-Path Recursive Residual Network for JPEG Image Compression Artifacts Reduction.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., 2021

A general model compression method for image restoration network.

[BibT_eX]

[DOI]

Jie Xiao

Huanrong Zhang

Signal Process. Image Commun., 2021

Multi-Scale Image Super-Resolution Via a Single Extendable Deep Network.

[BibT_eX]

[DOI]

Huanrong Zhang

Jie Xiao

IEEE J. Sel. Top. Signal Process., 2021

Activity Diagram Synthesis Using Labelled Graphs and the Genetic Algorithm.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2021

Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2021

A wideband InP Gilbert-cell mixer using capacitive degeneration and current bleeding technique.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2021

A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Massive Self-Assembly in Grid Environments.

[BibT_eX]

[DOI]

CoRR, 2021

Design of 35-dB 0.03-to-2.7 GHz Two-Stage Broadband Power Amplifier With 37.2 dBm Psat Using Modular Technology.

[BibT_eX]

[DOI]

IEEE Access, 2021

SmartCommit: a graph-based interactive assistant for activity-oriented commits.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Hey! Preparing Humans to do Tasks in Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Environment-Driven Abstraction Identification for Requirements-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Environment Model based Requirements Consistency Verification: An Example.

[BibT_eX]

[DOI]

Qianqian Liu

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

An RE'21 Workshop on Environment-Driven Requirements Engineering (EnviRE'21).

[BibT_eX]

[DOI]

Nan Niu

Yijun Yu

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Smart3E: Enabling End Users to Express Their Needs for Smart Homes.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Learning to Synthesize and Remove Rain Unsupervisedly.

[BibT_eX]

[DOI]

Yinhe Qi

Meng Pan

Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021

Integrating Tree Path in Transformer for Code Representation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

When Face Completion Meets Irregular Holes: An Attributes Guided Deep Inpainting Network.

[BibT_eX]

[DOI]

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

EditSum: A Retrieve-and-Edit Framework for Source Code Summarization.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Software Services Engineering Manifesto - A Cross-Cutting Declaration.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Web Services, 2021

SemFSR: An Unsupervised Face SR with Semantic Features for Multiple Degradations.

[BibT_eX]

[DOI]

Haoran Qi

Huanrong Zhang

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Cross-language Code Coupling Detection: A Preliminary Study on Android Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

Seeing Health with Eyes: Feature Combination for Image-Based Human BMI Estimation.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Multimedia and Expo, 2021

Degradation Reconstruction Loss: A Perceptual-Oriented Super-Resolution Framework for Multi-downsampling Degradations.

[BibT_eX]

[DOI]

Proceedings of the Image and Graphics - 11th International Conference, 2021

Fast Adaptation to External Agents via Meta Imitation Counterfactual Regret Advantage.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

A Meta Reinforcement Learning-based Approach for Self-Adaptive System.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Modular Tree Network for Source Code Representation Learning.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

A Flexible Deep CNN Framework for Image Restoration.

[BibT_eX]

[DOI]

IEEE Trans. Multim., 2020

Empirical study of Data Completeness in Electronic Health Records in China.

[BibT_eX]

[DOI]

Pac. Asia J. Assoc. Inf. Syst., 2020

Modeling programs hierarchically with stack-augmented LSTM.

[BibT_eX]

[DOI]

Fang Liu

Lu Zhang

J. Syst. Softw., 2020

Early validation of cyber-physical space systems via multi-concerns integration.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Detection and recognition method of monocular vision traffic safety information for intelligent vehicles.

[BibT_eX]

[DOI]

Dong-Yuan Ge

J. Intell. Fuzzy Syst., 2020

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2020

Video salient object detection via spatiotemporal attention neural networks.

[BibT_eX]

[DOI]

Neurocomputing, 2020

A broadband high bandwidth utilization ECL static frequency divider in InP DHBT process.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2020

Towards a fictional collective programming scenario: an approach based on the EIF loop.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

Deep code comment generation with hybrid lexical and syntactical information.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

Learning to Represent Programs with Heterogeneous Graphs.

[BibT_eX]

[DOI]

CoRR, 2020

Towards Full-line Code Completion with Neural Language Models.

[BibT_eX]

[DOI]

CoRR, 2020

Detecting Code Clones with Graph Neural Networkand Flow-Augmented Abstract Syntax Tree.

[BibT_eX]

[DOI]

CoRR, 2020

Detecting Code Clones with Graph Neural Network and Flow-Augmented Abstract Syntax Tree.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

A Lightweight Fault Localization Approach based on XGBoost.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Towards Lighter and Faster: Learning Wavelets Progressively for Image Super-Resolution.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Retrieve and Refine: Exemplar-based Neural Comment Generation.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Multi-task Learning based Pre-trained Language Model for Code Completion.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

A Self-Attentional Neural Architecture for Code Completion with Multi-Task Learning.

[BibT_eX]

[DOI]

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

How do companies collaborate in open source ecosystems?: an empirical study of OpenStack.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Privacy-Aware UAV Flights through Self-Configuring Motion Planning.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

IEEE 2020 World Congress on Services Message from the Program Chairs in Chief.

[BibT_eX]

[DOI]

Ernesto Damiani

Proceedings of the 2020 IEEE International Conference on Edge Computing, 2020

NTIRE 2020 Challenge on Perceptual Extreme Super-Resolution: Methods and Results.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

Clustering-based Optimization for Side Window Filtering.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2020

Generating Adversarial Examples for Holding Robustness of Source Code Processing Models.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Toward Better Summarizing Bug Reports With Crowdsourcing Elicited Attributes.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2019

Smart Contract-Based Negotiation for Adaptive QoS-Aware Service Composition.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2019

Joint Texture/Depth Power Allocation for 3-D Video SoftCast.

[BibT_eX]

[DOI]

IEEE Trans. Multim., 2019

Weakly Supervised Salient Object Detection With Spatiotemporal Cascade Neural Networks.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., 2019

Robust Plane Detection Using Depth Information From a Consumer Depth Camera.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., 2019

IntelliMerge: a refactoring-aware software merging technique.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2019

A five-octave broadband LNA MMIC using bandwidth enhancement and noise reduction technique.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2019

A 30 MHz-3 GHz watt-level stacked-FET linear power amplifier.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2019

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

[BibT_eX]

[DOI]

IEEE Access, 2019

Fault Severity Classification and Size Estimation for Ball Bearings Based on Vibration Mechanism.

[BibT_eX]

[DOI]

IEEE Access, 2019

Forward and backward traceability: Requirements and challenges (Keynote).

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Environment-Centric Safety Requirements for Autonomous Unmanned Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Environment-Centric Self-Adaptivity for Autonomous Systems in Smart Spaces.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

RE4CPS: Requirements Engineering for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

POET: Privacy on the Edge with Bidirectional Data Transformations.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications, 2019

Code Generation as a Dual Task of Code Summarization.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Modelling and analysing resilient cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

An Efficient Quality Enhancement Solution for Stereo Images.

[BibT_eX]

[DOI]

Proceedings of the Image and Graphics - 10th International Conference, 2019

RIDNet: Recursive Information Distillation Network for Color Image Denoising.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision Workshops, 2019

Why Do Neural Dialog Systems Generate Short and Meaningless Replies? a Comparison between Dialog and Translation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2019

NV-DNN: Towards Fault-Tolerant DNN Systems with N-Version Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

Bidirectional Transformations for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Adaptive Software Systems, 2019

2018

Tree-Based Convolutional Neural Networks - Principles and Applications

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2018

1-30 GHz ultra-wideband low noise amplifier with on-chip temperature-compensation circuit.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2018

Solving Pictorial Jigsaw Puzzle by Stigmergy-inspired Internet-based Human Collective Intelligence.

[BibT_eX]

[DOI]

CoRR, 2018

Towards Better Summarizing Bug Reports with Crowdsourcing Elicited Attributes.

[BibT_eX]

[DOI]

CoRR, 2018

Compression of phase-only holograms with JPEG standard and deep learning.

[BibT_eX]

[DOI]

CoRR, 2018

Multi-Scale Spatiotemporal Conv-LSTM Network for Video Saliency Detection.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Conference on Multimedia Retrieval, 2018

Deep code comment generation.

[BibT_eX]

[DOI]

Proceedings of the 26th Conference on Program Comprehension, 2018

Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Summarizing Source Code with Transferred API Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Companies' domination in FLOSS development: an empirical study of OpenStack.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

QoS-aware service composition using blockchain-based smart contracts.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

On early statistical requirements validation of cyber-physical space systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Kai Cui

Proceedings of the 2018 IEEE International Conference on Image Processing, 2018

Information Fusion based Quality Enhancement for 3D Stereo Images Using CNN.

[BibT_eX]

[DOI]

Proceedings of the 26th European Signal Processing Conference, 2018

Towards Neural Speaker Modeling in Multi-Party Conversation: The Task, Dataset, and Models.

[BibT_eX]

[DOI]

Zhao Meng

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Learning high-dimensional multimedia data.

[BibT_eX]

[DOI]

Xiaofeng Zhu

Rongrong Ji

Multim. Syst., 2017

Two-step gate-recess process combining selective wet-etching and digital wet-etching for InAlAs/InGaAs InP-based HEMTs.

[BibT_eX]

[DOI]

Frontiers Inf. Technol. Electron. Eng., 2017

Requirements-Driven Dynamic Adaptation to Mitigate Runtime Uncertainties for Self-Adaptive Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Review on Requirements Modeling and Analysis for Self-Adaptive Systems: A Ten-Year Perspective.

[BibT_eX]

[DOI]

CoRR, 2017

A Thematic Study of Requirements Modeling and Analysis for Self-Adaptive Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Modeling Uncertainty and Evolving Self-Adaptive Software: A Fuzzy Theory Based Requirements Engineering Approach.

[BibT_eX]

[DOI]

CoRR, 2017

Achieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach.

[BibT_eX]

[DOI]

CoRR, 2017

A Model-Based Fuzzy Control Approach to Achieving Adaptation with Contextual Uncertainties.

[BibT_eX]

[DOI]

CoRR, 2017

A CNN cascade for quality enhancement of compressed depth images.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Visual Communications and Image Processing, 2017

Learning to Infer API Mappings from API Documents.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2017

Improved Knowledge Base Completion by the Path-Augmented TransR Model.

[BibT_eX]

[DOI]

Wenhao Huang

Proceedings of the Knowledge Science, Engineering and Management, 2017

Learning Sparse Overcomplete Word Vectors Without Intermediate Dense Representations.

[BibT_eX]

[DOI]

Yunchuan Chen

Proceedings of the Knowledge Science, Engineering and Management, 2017

Coupling Distributed and Symbolic Execution for Natural Language Queries.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Machine Learning, 2017

Multi-modal metric learning for vehicle re-identification in traffic surveillance environment.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Image Processing, 2017

Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

A Reinforcement Learning-Based Framework for the Generation and Evolution of Adaptation Rules.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Hierarchical RNN with Static Sentence-Level Attention for Text-Based Speaker Change Detection.

[BibT_eX]

[DOI]

Zhao Meng

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Eliciting Activity Requirements from Crowd Using Genetic Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering for Internet of Things, 2017

2016

Virtual-View-Assisted Video Super-Resolution and Enhancement.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., 2016

Proving inequalities and solving global optimization problems via simplified CAD projection.

[BibT_eX]

[DOI]

Jingjun Han

Bican Xia

J. Symb. Comput., 2016

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

[BibT_eX]

[DOI]

Olusola John Adeniran

Int. J. Secur. Softw. Eng., 2016

Capturing Requirements from Expected Interactions Between Software and Its Interactive Environment: An Ontology Based Approach.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2016

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

[BibT_eX]

[DOI]

Int. J. Embed. Syst., 2016

Multiview video plus depth transmission via virtual-view-assisted complementary down/upsampling.

[BibT_eX]

[DOI]

EURASIP J. Image Video Process., 2016

Preface.

[BibT_eX]

[DOI]

Zhenjiang Hu

Gang Yin

Sci. China Inf. Sci., 2016

Petri net based test case generation for evolved specification.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2016

Context-Aware Tree-Based Convolutional Neural Networks for Natural Language Inference.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2016

Learning Embeddings of API Tokens to Facilitate Deep Learning Based Program Processing.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2016

How Transferable are Neural Networks in NLP Applications?

[BibT_eX]

[DOI]

Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, 2016

Improved relation classification by deep recurrent neural networks with data augmentation.

[BibT_eX]

[DOI]

Proceedings of the COLING 2016, 2016

Sequence to Backward and Forward Sequences: A Content-Introducing Approach to Generative Short-Text Conversation.

[BibT_eX]

[DOI]

Proceedings of the COLING 2016, 2016

Distilling Word Embeddings: An Encoding Approach.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016

Integrating Goal Model into Rule-Based Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Natural Language Inference by Tree-Based Convolution and Heuristic Matching.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

Compressing Neural Language Models by Sparse Word Representations.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

Convolutional Neural Networks over Tree Structures for Programming Language Processing.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Stigmergy-Based Construction of Internetware Artifacts.

[BibT_eX]

[DOI]

IEEE Softw., 2015

互联网环境中基于环境激发效应的协同式概念建模 (Stigmergy-based Collaborative Conceptual Modeling in Web Environment).

[BibT_eX]

[DOI]

计算机科学, 2015

Classifying Relations via Long Short Term Memory Networks along Shortest Dependency Path.

[BibT_eX]

[DOI]

CoRR, 2015

Backbone Language Modeling for Constrained Natural Language Generation.

[BibT_eX]

[DOI]

CoRR, 2015

Tree-based Convolution: A New Neural Architecture for Sentence Modeling.

[BibT_eX]

[DOI]

CoRR, 2015

On End-to-End Program Generation from User Intention by Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2015

Recognizing Entailment and Contradiction by Tree-based Convolution.

[BibT_eX]

[DOI]

CoRR, 2015

Distilling Word Embeddings: An Encoding Approach.

[BibT_eX]

[DOI]

CoRR, 2015

Goal model driven alternative selection: a quantitative approach.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Model-Driven Requirements Engineering Workshop, 2015

Super-Resolution of Depth Map Exploiting Planar Surfaces.

[BibT_eX]

[DOI]

Tammam Tillo

Fei Cheng

Proceedings of the Advances in Multimedia Information Processing - PCM 2015, 2015

Building Program Vector Representations for Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2015

A Feature-Driven Approach to Automated Class Diagram Construction.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

DelayDroid: Reducing Tail-Time Energy by Refactoring Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Quality enhancement of quality-asymmetric multiview plus depth video by using virtual view.

[BibT_eX]

[DOI]

Tammam Tillo

Lei Luo

Proceedings of the 2015 IEEE International Conference on Multimedia & Expo Workshops, 2015

Classifying Relations via Long Short Term Memory Networks along Shortest Dependency Paths.

[BibT_eX]

[DOI]

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

A Comparative Study on Regularization Strategies for Embedding-based Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

Discriminative Neural Sentence Modeling by Tree-Based Convolution.

[BibT_eX]

[DOI]

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

Transforming Code with Compositional Mappings for API-Library Switching.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Zili Zhang

Int. J. Softw. Eng. Knowl. Eng., 2014

Towards ontological approach to eliciting risk-based security requirements.

[BibT_eX]

[DOI]

Int. J. Inf. Comput. Secur., 2014

Building Program Vector Representations for Deep Learning.

[BibT_eX]

[DOI]

CoRR, 2014

TBCNN: A Tree-Based Convolutional Neural Network for Programming Language Processing.

[BibT_eX]

[DOI]

CoRR, 2014

Implementation decision making for internetware driven by quality requirements.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2014

Eliciting dependability requirements: a control cases based approach.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2014

A 4-GS/s 8-bit two-channel time-interleaved folding and interpolating ADC.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2014

TDL: a transformation description language from feature model to use case for automated use case derivation.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Line Conference, 2014

A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

Verification Based on Hyponymy Hierarchical Characteristics for Web-Based Hyponymy Discovery.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2014

User preference based autonomic generation of self-adaptive rules.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

Planar surfaces detection on depth map using patch based approach.

[BibT_eX]

[DOI]

Tammam Tillo

Fei Cheng

Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014

Modeling and Specifying Parametric Adaptation Mechanism for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering, 2014

2013

Ontology patterns for service-oriented software development.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2013

Measuring the significance of inconsistency in the Viewpoints framework.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

From inconsistency handling to non-canonical requirements management: A logical perspective.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2013

Feature-oriented stigmergy-based collaborative requirements modeling: an exploratory approach for requirements elicitation and evolution based on web-enabled collective intelligence.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2013

3-D video depth map quantization based on Lloyd's algorithm.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Safe and Secure Software Reuse, 2013

MCT: a tool for commenting programs by multimedia comments.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Finding Optimal Solution for Satisficing Non-functional Requirements via 0-1 Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Analyzing Early Requirements of Cyber-physical Systems through Structure and Goal Modeling.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Measuring the blame of each formula for inconsistent prioritized knowledge bases.

[BibT_eX]

[DOI]

J. Log. Comput., 2012

Towards an Ontological Approach to Information System Security and Safety Requirement Modeling and Reuse.

[BibT_eX]

[DOI]

A. T. Akinwale

Inf. Secur. J. A Glob. Perspect., 2012

Measuring Software Requirements Evolution Caused by Inconsistency.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2012

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

[BibT_eX]

[DOI]

Int. J. Knowl. Syst. Sci., 2012

Proving inequalities and solving global optimization problems via simplified CAD projection

[BibT_eX]

[DOI]

Jingjun Han

CoRR, 2012

CoFM: An environment for collaborative feature modeling.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Mining binary constraints in the construction of feature models.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

An approach for selecting implementation strategies of non-functional requirements.

[BibT_eX]

[DOI]

Bin Yin

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Service discovery for internet of things: a context-awareness perspective.

[BibT_eX]

[DOI]

Qiang Wei

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.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Automated Reasoning with Goal Tree Models for Software Quality Requirements.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Extending the Problem Frames Approach for Capturing Non-functional Requirements.

[BibT_eX]

[DOI]

Bin Yin

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.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2011

A general framework for measuring inconsistency through minimal inconsistent sets.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2011

Missing data imputation by utilizing information within incomplete instances.

[BibT_eX]

[DOI]

Xiaofeng Zhu

J. Syst. Softw., 2011

Managing Software Requirements Changes Based on Negotiation-Style Revision.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2011

A Unified Use-Misuse Case Model for Capturing and Analysing Safety and Security Requirements.

[BibT_eX]

[DOI]

A. T. Akinwale

Int. J. Inf. Secur. Priv., 2011

A Syntax-based approach to measuring the degree of inconsistency for belief bases.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2011

An Automatic Reasoning Mechanism for NFR Goal Models.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Enhancing Use Cases with Subjective Risk Assessment.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

A process algebra for environment-based specification of web services.

[BibT_eX]

[DOI]

Lixing Li

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Unifying domain ontology with agent-oriented modeling of services.

[BibT_eX]

[DOI]

Hong Zhu

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.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

rΣ: Automated reasoning tool for non-functional requirement goal models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2011

An Engineerable Ontology Based Approach for Requirements Elicitation in Process Centered Problem Domain.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2011

Agent-Oriented Requirements Analysis from Scenarios.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Top Productivity through Software Reuse, 2011

Characterizing the Implementation of Software Non-functional Requirements from Probabilistic Perspective.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Modeling Timing Requirements in Problem Frames Using CCSL.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Specifying and Composing Web Services with an Environment Ontology-Based Approach.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2010

Summary queries for frequent itemsets mining.

[BibT_eX]

[DOI]

Jingli Lu

J. Syst. Softw., 2010

Handling over-fitting in test cost-sensitive decision tree learning by feature selection, smoothing and pruning.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

An Agent Based Framework for Internetware Computing.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2010

Preface.

[BibT_eX]

[DOI]

Dimitris Karagiannis

Int. J. Softw. Informatics, 2010

Preface.

[BibT_eX]

[DOI]

Xuandong Li

Int. J. Softw. Informatics, 2010

Capability description and discovery of Internetware entity.

[BibT_eX]

[DOI]

Hongyan Liu

Sci. China Inf. Sci., 2010

Elicitation of Dependability Requirements: A HAZOP-based Approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Bin Yin

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Knowledge Merging under Multiple Attributes.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2010

iMashup: assisting end-user programming for the service-oriented web.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Modeling in agent oriented internetware framework.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

A problem-driven collaborative approach to eliciting requirements of internetwares.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Semantic Approach for Service Oriented Requirements Modeling.

[BibT_eX]

[DOI]

Bin Zhao

Guangjun Cai

Proceedings of the Intelligent Information Processing V, 2010

From Use Case Model to Service Model: An Environment Ontology Based Approach.

[BibT_eX]

[DOI]

Bin Zhao

Guangjun Cai

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Missing Data Analysis: A Kernel-Based Multi-Imputation Approach.

[BibT_eX]

[DOI]

Trans. Comput. Sci., 2009

Internetware Computing: Issues and Perspective.

[BibT_eX]

[DOI]

Wei-Tek Tsai

Xiaoying Bai

Int. J. Softw. Informatics, 2009

Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

A decremental algorithm of frequent itemset maintenance for mining updated databases.

[BibT_eX]

[DOI]

Jilian Zhang

Expert Syst. Appl., 2009

Mining globally interesting patterns from multiple databases using kernel estimation.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2009

Mining class-bridge rules based on rough sets.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2009

Strategies for complex data cube queries.

[BibT_eX]

[DOI]

Rifeng Wang

Appl. Intell., 2009

A Trust Measurement Mechanism for Service Agents.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence, 2009

A Use Case Based Approach to Feature Models' Construction.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Qi Zhang

Proceedings of the Knowledge Science, 2009

Aggregation of autonomous Internetware entities.

[BibT_eX]

[DOI]

Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Requirement Driven Service Agent Collaboration and QoS Based Negotiation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Huiying Xu

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.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Elicit the Requirements on Software Dependability: A Knowledge-Based Approach.

[BibT_eX]

[DOI]

Chun Liu

Yue Wang

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

Performing Projection in Problem Frames Using Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

Building toward Capability Specifications of Web Services Based on an Environment Ontology.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2008

Evolving quantum circuits at the gate level with a hybrid quantum-inspired evolutionary algorithm.

[BibT_eX]

[DOI]

Shengchao Ding

Qing Yang

Soft Comput., 2008

Web Services Composing by Multiagent Negotiation.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2008

A Priority-Based Negotiations Approach for Handling Inconsistencies in Multi-Perspective Software Requirements.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2008

Preface.

[BibT_eX]

[DOI]

Hanqin Zhang

J. Syst. Sci. Complex., 2008

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

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2008

Special issue on applications and advances in problem frames.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2008

From knowledge based software engineering to knowware based software engineering.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2008

A Framework for Agent-Based Service-Oriented Modelling.

[BibT_eX]

[DOI]

Hong Zhu

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

Balancing Academic and Industrial Needs in RE Courses.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Requirements Engineering Education and Training, 2008

NIIA: Nonparametric Iterative Imputation Algorithm.

[BibT_eX]

[DOI]

Xiaofeng Zhu

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Requirement Driven Service Agent Coalition Formation and Negotiation.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

A Scenario-Based Problem Decomposition.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

A Modeling Approach for Service-Oriented Application Based on Extensive Reuse.

[BibT_eX]

[DOI]

Bin Zhao

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.

[BibT_eX]

[DOI]

Proceedings of the High Confidence Software Reuse in Large Systems, 2008

3rd international workshop on advances and applications of problem frames.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

An ontology-guided process for developing problem frame specification: an example.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

A method for web service description by using problem frames approach.

[BibT_eX]

[DOI]

Guangjun Cai

Zhijing Feng

Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

Service-Oriented Modeling: An Extensive Reuse Method.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

An Agent-Based Trust Model for Service-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Trust in Agent Societies, 2008

A Measurement-Driven Process Model for Managing Inconsistent Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

Handling non-canonical software requirements based on Annotated Predicate Calculus.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2007

Web Service Retrieval based on Environment Ontology.

[BibT_eX]

Proceedings of the WEBIST 2007, 2007

Trust Analysis of Web Services Based on a Trust Ontology.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2007

A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2007

An Ontology of Problem Frames for Guiding Problem Frame Specification.

[BibT_eX]

[DOI]

Lijun Yi

Proceedings of the Knowledge Science, 2007

Evolving Quantum Circuits for Temporal Averaging in Bulk Quantum Computation.

[BibT_eX]

[DOI]

Shengchao Ding

Qing Yang

Proceedings of the Third International Conference on Natural Computation, 2007

Service-Oriented Modeling: An Ontology-based Approach.

[BibT_eX]

[DOI]

Proceedings of ICEBE 2007, 2007

Requirement Engineering in Service-Oriented System Engineering.

[BibT_eX]

[DOI]

Proceedings of ICEBE 2007, 2007

Requirement Driven Agent Collaboration Based on Functional Ontology and AMD.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Towards Controllable Requirements Engineering Processes based on Cybernetics.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Requirements driven agent collaboration.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Beyond Knowledge Engineering.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

Revisiting the Meaning of Requirements.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

Modeling and verifying Web services driven by requirements: An ontology-based approach.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2006

Integrating Goals and Problem Frames in Requirements Analysis.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Towards A Service Requirements Ontology on Knowledge and Intention.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Reasoning About Hybrid Probabilistic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

On Constructing Environment Ontology for Semantic Web Services.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2006

An Approach for Specifying Capability ofWeb Services based on Environment Ontology.

[BibT_eX]

[DOI]

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

Web Service Composition: An Approach Using Effect-Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2006

Towards automatic problem decomposition: an ontology-based approach.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

2nd international workshop on advances and applications of problem frames.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Environment Ontology-Based Capability Specification for Web Service Discovery.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

Web Service Retrieval: An Approach Based on Context Ontology.

[BibT_eX]

[DOI]

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

2005

FECT: A Modelling Framework for Automatically Composing Web Services.

[BibT_eX]

[DOI]

Proceedings of the Advances in Web-Age Information Management, 2005

Ontology-Based Inconsistency Management of Software Requirements Specifications.

[BibT_eX]

[DOI]

Xuefeng Zhu

Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

A Framework for Reusing and Composing Software Components on Web.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Xuefeng Zhu

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

FECT: A Framework for Automatic Composition ofWeb Services.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

A Logical Approach for Testing Requirements.

[BibT_eX]

Proceedings of the IASTED International Conference on Software Engineering, 2005

Measuring Inconsistency in Requirements Specifications.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Some Cognitive Aspects of a Turing Test for Children.

[BibT_eX]

[DOI]

Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005

Inconsistency-Based Strategy for Clarifying Vague Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

Detecting of Requirements Inconsistency : An Ontology-Based Approach.

[BibT_eX]

[DOI]

Xuefeng Zhu

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.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2003

Automating application software generation.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2003

An experiment for showing some kind of artificial understanding.

[BibT_eX]

[DOI]

David A. Bell

Expert Syst. J. Knowl. Eng., 2003

Automatically multi-paradigm requirements modeling and analyzing: An ontology-based approach.

[BibT_eX]

[DOI]

David A. Bell

Sci. China Ser. F Inf. Sci., 2003

Domain Knowledge Representation: Using an Ontology Language.

[BibT_eX]

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

Involving End Users in Requirements Elicitation and Goal-Oriented Analysis.

[BibT_eX]

David A. Bell

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002

Ontology-Based Semantic Cache in AOKB.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2002

Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2002

Learning Fuzzy Decision Trees from Sequential and Incomplete Data.

[BibT_eX]

G. Chen

Proceedings of the Intelligent Information Processing, 2002

1998

OSNET - A Language for Domain Modeling.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

1997

An Order-Based Composition Semantics for the Inheritance in Logic-Based Object-Oriented Paradigm.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997

1995

The structure and semantics of an object-oriented logic programming language: SCKE.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1995

Requirement Specification in Pseudo-Natural Language in PROMIS.

[BibT_eX]

[DOI]

Ronglin Wan

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

1993

SCKE: Combining logic- with object-oriented paradigm.

[BibT_eX]

[DOI]