Honghao Gao

Orcid: 0000-0001-6861-9684

According to our database1, Honghao Gao authored at least 204 papers between 2010 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
MACNS: A generic graph neural network integrated deep reinforcement learning based multi-agent collaborative navigation system for dynamic trajectory planning.
Inf. Fusion, May, 2024

A Mutually Supervised Graph Attention Network for Few-Shot Segmentation: The Perspective of Fully Utilizing Limited Samples.
IEEE Trans. Neural Networks Learn. Syst., April, 2024

Robust Searching-Based Gradient Collaborative Management in Intelligent Transportation System.
ACM Trans. Multim. Comput. Commun. Appl., February, 2024

Com-DDPG: Task Offloading Based on Multiagent Reinforcement Learning for Information-Communication-Enhanced Mobile Edge Computing in the Internet of Vehicles.
IEEE Trans. Veh. Technol., January, 2024

EPtask: Deep Reinforcement Learning Based Energy-Efficient and Priority-Aware Task Scheduling for Dynamic Vehicular Edge Computing.
IEEE Trans. Intell. Veh., January, 2024

FSOD4RSI: Few-Shot Object Detection for Remote Sensing Images via Features Aggregation and Scale Attention.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024

2023
Enhancing intelligent IoT services development by integrated multi-token code completion.
Comput. Commun., December, 2023

Applying Probabilistic Model Checking to the Behavior Guidance and Abnormality Detection for A-MCI Patients under Wireless Sensor Network.
ACM Trans. Sens. Networks, August, 2023

A Highly Compatible Verification Framework with Minimal Upgrades to Secure an Existing Edge Network.
ACM Trans. Internet Techn., August, 2023

CAMRL: A Joint Method of Channel Attention and Multidimensional Regression Loss for 3D Object Detection in Automated Vehicles.
IEEE Trans. Intell. Transp. Syst., August, 2023

Adversarial Learning-Based Sentiment Analysis for Socially Implemented IoMT Systems.
IEEE Trans. Comput. Soc. Syst., August, 2023

CariesNet: a deep learning approach for segmentation of multi-stage caries lesion from oral panoramic X-ray image.
Neural Comput. Appl., August, 2023

Guest Editorial: Machine learning applied to quality and security in software systems.
IET Softw., August, 2023

CMTSNN: A Deep Learning Model for Multiclassification of Abnormal and Encrypted Traffic of Internet of Things.
IEEE Internet Things J., July, 2023

SHAPE: A Simultaneous Header and Payload Encoding Model for Encrypted Traffic Classification.
IEEE Trans. Netw. Serv. Manag., June, 2023

Boosting and rectifying few-shot learning prototype network for skin lesion classification based on the internet of medical things.
Wirel. Networks, May, 2023

<i>WH</i><sup>2</sup><i>D</i><sup>2</sup><i>N</i><sup>2</sup>: Distributed AI-enabled OK-ASN Service for Web of Things.
ACM Trans. Asian Low Resour. Lang. Inf. Process., May, 2023

FGC: GCN-Based Federated Learning Approach for Trust Industrial Service Recommendation.
IEEE Trans. Ind. Informatics, March, 2023

A Prior-mask-guided Few-shot Learning for Skin Lesion Segmentation.
Computing, March, 2023

LBlockchainE: A Lightweight Blockchain for Edge IoT-Enabled Maritime Transportation Systems.
IEEE Trans. Intell. Transp. Syst., February, 2023

Dependence-Aware Edge Intelligent Function Offloading for 6G-Based IoV.
IEEE Trans. Intell. Transp. Syst., February, 2023

Guest Editorial Special Issue on Computational Intelligence to Edge AI for Ubiquitous IoT Systems.
IEEE Trans. Emerg. Top. Comput. Intell., February, 2023

FP-RCNN: A Real-Time 3D Target Detection Model based on Multiple Foreground Point Sampling for Autonomous Driving.
Mob. Networks Appl., February, 2023

Towards machine-learning-driven effective mashup recommendations from big data in mobile networks and the Internet-of-Things.
Digit. Commun. Networks, February, 2023

A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective.
ACM Trans. Multim. Comput. Commun. Appl., January, 2023

Integrated AHP-IOWA, POWA Framework for Ideal Cloud Provider Selection and Optimum Resource Management.
IEEE Trans. Serv. Comput., 2023

TSMAE: A Novel Anomaly Detection Approach for Internet of Things Time Series Data Using Memory-Augmented Autoencoder.
IEEE Trans. Netw. Sci. Eng., 2023

CMFTC: Cross Modality Fusion Efficient Multitask Encrypt Traffic Classification in IIoT Environment.
IEEE Trans. Netw. Sci. Eng., 2023

A Robust Shape-Aware Rib Fracture Detection and Segmentation Framework With Contrastive Learning.
IEEE Trans. Multim., 2023

PPO2: Location Privacy-Oriented Task Offloading to Edge Computing Using Reinforcement Learning for Intelligent Autonomous Transport Systems.
IEEE Trans. Intell. Transp. Syst., 2023

Real-Time Virtual Machine Scheduling in Industry IoT Network: A Reinforcement Learning Method.
IEEE Trans. Ind. Informatics, 2023

TLS-WGAN-GP: A Generative Adversarial Network Model for Data-Driven Fault Root Cause Location.
IEEE Trans. Consumer Electron., 2023

FS3DCIoT: A Few-Shot Incremental Learning Network for Skin Disease Differential Diagnosis in the Consumer IoT.
IEEE Trans. Consumer Electron., 2023

Joint Task Offloading and Dispatching for MEC With Rational Mobile Devices and Edge Nodes.
IEEE Trans. Cloud Comput., 2023

Guest Editorial Special Issue on Multi-Modal Biomedical Computing-Deep Transfer Learning.
IEEE ACM Trans. Comput. Biol. Bioinform., 2023

Complex nonlinear neural network prediction with IOWA layer.
Soft Comput., 2023

D-former: a U-shaped Dilated Transformer for 3D medical image segmentation.
Neural Comput. Appl., 2023

OSTTD: Offloading of Splittable Tasks With Topological Dependence in Multi-Tier Computing Networks.
IEEE J. Sel. Areas Commun., 2023

Cost-effective Service Deployment and Balanced Traffic Management on Edge.
Proceedings of the IEEE International Conference on Web Services, 2023

2022
TRG-DAtt: The Target Relational Graph and Double Attention Network Based Sentiment Analysis and Prediction for Supporting Decision Making.
ACM Trans. Manag. Inf. Syst., 2022

An Information Fusion Approach to Intelligent Traffic Signal Control Using the Joint Methods of Multiagent Reinforcement Learning and Artificial Intelligence of Things.
IEEE Trans. Intell. Transp. Syst., 2022

A Dynamic and Scalable User-Centric Route Planning Algorithm Based on Polychromatic Sets Theory.
IEEE Trans. Intell. Transp. Syst., 2022

A Hybrid Approach to Trust Node Assessment and Management for VANETs Cooperative Data Communication: Historical Interaction Perspective.
IEEE Trans. Intell. Transp. Syst., 2022

Discriminative Cervical Lesion Detection in Colposcopic Images With Global Class Activation and Local Bin Excitation.
IEEE J. Biomed. Health Informatics, 2022

Machine Learning-Driven APPs Recommendation for Energy Optimization in Green Communication and Networking for Connected and Autonomous Vehicles.
IEEE Trans. Green Commun. Netw., 2022

Cloud Risk Management With OWA-LSTM and Fuzzy Linguistic Decision Making.
IEEE Trans. Fuzzy Syst., 2022

Collaborative Learning-Based Industrial IoT API Recommendation for Software-Defined Devices: The Implicit Knowledge Discovery Perspective.
IEEE Trans. Emerg. Top. Comput. Intell., 2022

Exploiting User Preferences for Multiscenarios in Query-Less Search.
IEEE Trans. Comput. Soc. Syst., 2022

The Deep Features and Attention Mechanism-Based Method to Dish Healthcare Under Social IoT Systems: An Empirical Study With a Hand-Deep Local-Global Net.
IEEE Trans. Comput. Soc. Syst., 2022

The Joint Method of Triple Attention and Novel Loss Function for Entity Relation Extraction in Small Data-Driven Computational Social Systems.
IEEE Trans. Comput. Soc. Syst., 2022

A Blockchain-Based Mutual Authentication Scheme for Collaborative Edge Computing.
IEEE Trans. Comput. Soc. Syst., 2022

Assessing cloud QoS predictions using OWA in neural network methods.
Neural Comput. Appl., 2022

ChroNet: A multi-task learning based approach for prediction of multiple chronic diseases.
Multim. Tools Appl., 2022

Editorial: Intelligent Collaboration Under Internet of Things and Mobile Edge Computing.
Mob. Networks Appl., 2022

A new QoS prediction model using hybrid IOWA-ANFIS with fuzzy C-means, subtractive clustering and grid partitioning.
Inf. Sci., 2022

Guest editorial: Smart communications and networking: architecture, applications, and future challenges.
IET Commun., 2022

A healthcare-oriented mobile question-and-answering system for smart cities.
Trans. Emerg. Telecommun. Technol., 2022

Special issue on intelligent software engineering.
Expert Syst. J. Knowl. Eng., 2022

Special Issue on Adversarial AI to IoT Security and Privacy Protection: Attacks and Defenses.
Comput. J., 2022

Guest Editorial: Deep Learning in Open-Source Software Ecosystems.
Autom. Softw. Eng., 2022

Coalition Formation Game for Task Offloading in Edge Computing with Considering Individual Rationality and Collective Rationality of Users.
Proceedings of the IEEE International Conference on Communications, 2022

An Efficient Dynamic Multi-Sources To Single-Destination (DMS-SD) Algorithm In Smart City Navigation Using Adjacent Matrix.
Proceedings of the Human-Centered Cognitive Systems, 2022

2021
Preference discovery from wireless social media data in APIs recommendation.
Wirel. Networks, 2021

Transformation-based processing of typed resources for multimedia sources in the IoT environment.
Wirel. Networks, 2021

A Weakly Supervised Semantic Segmentation Network by Aggregating Seed Cues: The Multi-Object Proposal Generation Perspective.
ACM Trans. Multim. Comput. Commun. Appl., 2021

Hypomimia Recognition in Parkinson's Disease With Semantic Features.
ACM Trans. Multim. Comput. Commun. Appl., 2021

Leveraging Data Augmentation for Service QoS Prediction in Cyber-physical Systems.
ACM Trans. Internet Techn., 2021

Intelligent Traffic Signal Control Based on Reinforcement Learning with State Reduction for Smart Cities.
ACM Trans. Internet Techn., 2021

The Cloud-edge-based Dynamic Reconfiguration to Service Workflow for Mobile Ecommerce Environments: A QoS Prediction Perspective.
ACM Trans. Internet Techn., 2021

Incentive-Driven Computation Offloading in Blockchain-Enabled E-Commerce.
ACM Trans. Internet Techn., 2021

Unsupervised Derivation of Keyword Summary for Short Texts.
ACM Trans. Internet Techn., 2021

Real-Time Multiple-Workflow Scheduling in Cloud Environments.
IEEE Trans. Netw. Serv. Manag., 2021

Spectral-Based Directed Graph Network for Malware Detection.
IEEE Trans. Netw. Sci. Eng., 2021

V2VR: Reliable Hybrid-Network-Oriented V2V Data Transmission and Routing Considering RSUs and Connectivity Probability.
IEEE Trans. Intell. Transp. Syst., 2021

Guest Editorial Optimization of Electric Vehicle Networks and Heterogeneous Networking in Future Smart Cities.
IEEE Trans. Intell. Transp. Syst., 2021

A Deep Learning Approach for Colonoscopy Pathology WSI Analysis: Accurate Segmentation and Classification.
IEEE J. Biomed. Health Informatics, 2021

Personalized APIs Recommendation With Cognitive Knowledge Mining for Industrial Systems.
IEEE Trans. Ind. Informatics, 2021

A Low-Latency and Energy-Efficient Multimetric Routing Protocol Based on Network Connectivity in VANET Communication.
IEEE Trans. Green Commun. Netw., 2021

Energy-Efficient Scans by Weaving Indexes Into the Storage Layout in Computing Platforms for Internet of Things.
IEEE Trans. Green Commun. Netw., 2021

SSUR: An Approach to Optimizing Virtual Machine Allocation Strategy Based on User Requirements for Cloud Data Center.
IEEE Trans. Green Commun. Netw., 2021

A Partition-Based Partial Personalized Model for Points-of-Interest Recommendations.
IEEE Trans. Comput. Soc. Syst., 2021

A Multi-Scale Activity Transition Network for Data Translation in EEG Signals Decoding.
IEEE ACM Trans. Comput. Biol. Bioinform., 2021

A Transfer Learning Based Super-Resolution Microscopy for Biopsy Slice Images: The Joint Methods Perspective.
IEEE ACM Trans. Comput. Biol. Bioinform., 2021

Multi-modality fusion learning for the automatic diagnosis of optic neuropathy.
Pattern Recognit. Lett., 2021

The throughput optimization for wireless sensor networks adopting interference alignment and successive interference cancellation.
Peer-to-Peer Netw. Appl., 2021

Tiny FCOS: a Lightweight Anchor-Free Object Detection Algorithm for Mobile Scenarios.
Mob. Networks Appl., 2021

Artificial Intelligence in Collaborative Computing.
Mob. Networks Appl., 2021

SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata.
Mob. Networks Appl., 2021

Improved VGG model-based efficient traffic sign recognition for safe driving in 5G scenarios.
Int. J. Mach. Learn. Cybern., 2021

Location-aware computing to mobile services recommendation: Theory and practice.
J. Ambient Intell. Smart Environ., 2021

Blockchain-Enabled Cyber-Physical Systems: A Review.
IEEE Internet Things J., 2021

Automatic Generation of Large-Granularity Pull Request Description.
Int. J. Softw. Informatics, 2021

Collaborative APIs recommendation for Artificial Intelligence of Things with information fusion.
Future Gener. Comput. Syst., 2021

Integration of satellite-aerial-terrestrial networks.
Trans. Emerg. Telecommun. Technol., 2021

Edge computing: Enabling technologies, applications, and services.
Trans. Emerg. Telecommun. Technol., 2021

TSCRNN: A novel classification scheme of encrypted traffic based on flow spatiotemporal features for efficient management of IIoT.
Comput. Networks, 2021

Editorial: AI-based mobile multimedia computing for data-smart processing.
Comput. Networks, 2021

Sentiment classification with adversarial learning and attention mechanism.
Comput. Intell., 2021

Mobile app recommendation via heterogeneous graph neural network in edge computing.
Appl. Soft Comput., 2021

IEEE Access Special Section Editorial: Innovation and Application of Internet of Things and Emerging Technologies in Smart Sensing.
IEEE Access, 2021

Joint Location-Value Privacy Protection for Spatiotemporal Data Collection via Mobile Crowdsensing.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2021

2020
Special issue on recent advances in mobile service computing and applications.
Wirel. Networks, 2020

Introduction to the Special Issue on Smart Communications and Networking for Future Video Surveillance.
ACM Trans. Multim. Comput. Commun. Appl., 2020

BeCome: Blockchain-Enabled Computation Offloading for IoT in Mobile Edge Computing.
IEEE Trans. Ind. Informatics, 2020

A Secure Random Key Distribution Scheme Against Node Replication Attacks in Industrial Wireless Sensor Systems.
IEEE Trans. Ind. Informatics, 2020

Dynamical Resource Allocation in Edge for Trustable Internet-of-Things Systems: A Reinforcement Learning Method.
IEEE Trans. Ind. Informatics, 2020

Multi-Objective Data Placement for Workflow Management in Cloud Infrastructure Using NSGA-II.
IEEE Trans. Emerg. Top. Comput. Intell., 2020

QoS Prediction for Service Recommendation With Features Learning in Mobile Edge Computing Environment.
IEEE Trans. Cogn. Commun. Netw., 2020

Realizing the Potential of Internet of Things for Smart Tourism with 5G and AI.
IEEE Netw., 2020

Editorial: Collaborative Computing for Data-Driven Systems.
Mob. Networks Appl., 2020

Device-Free Indoor Multi-target Tracking in Mobile Environment.
Mob. Networks Appl., 2020

Traffic Volume Prediction Based on Multi-Sources GPS Trajectory Data by Temporal Convolutional Network.
Mob. Networks Appl., 2020

Cloud Marginal Resource Allocation: A Decision Support Model.
Mob. Networks Appl., 2020

Editorial: ACM/Springer Mobile Networks & Applications - Special Issue on Mobile Service Computing and Applications.
Mob. Networks Appl., 2020

Editorial: Mobile Recommendations for Location-Based Services and Social Networks.
Mob. Networks Appl., 2020

Editorial: ACM/Springer Mobile Networks & Applications - Special Issue on Mobile Computing and Software Engineering.
Mob. Networks Appl., 2020

Mining consuming Behaviors with Temporal Evolution for Personalized Recommendation in Mobile Marketing Apps.
Mob. Networks Appl., 2020

A Special Section on AI for Healthcare: Challenges, Opportunities, and Emerging Applications.
J. Medical Imaging Health Informatics, 2020

Categorizing Malware via A Word2Vec-based Temporal Convolutional Network Scheme.
J. Cloud Comput., 2020

SoProtector: Safeguard Privacy for Native SO Files in Evolving Mobile IoT Applications.
IEEE Internet Things J., 2020

Real-Time Fault Detection for IIoT Facilities Using GBRBM-Based DNN.
IEEE Internet Things J., 2020

Context-Aware QoS Prediction With Neural Collaborative Filtering for Internet-of-Things Services.
IEEE Internet Things J., 2020

Special Issue on AI-Driven Smart Networking and Communication for Personal Internet of Things: Part II.
Int. J. Wirel. Inf. Networks, 2020

Offloading decision methods for multiple users with structured tasks in edge computing for smart cities.
Future Gener. Comput. Syst., 2020

Entity-related paths modeling for knowledge base completion.
Frontiers Comput. Sci., 2020

Com-DDPG: A Multiagent Reinforcement Learning-based Offloading Strategy for Mobile Edge Computing.
CoRR, 2020

Guest editorial: Edge computing.
Comput. Sci. Inf. Syst., 2020

Energy aware edge computing: A survey.
Comput. Commun., 2020

Servicing delay sensitive pervasive communication through adaptable width channelization for supporting mobile edge computing.
Comput. Commun., 2020

Computing Power Allocation and Traffic Scheduling for Edge Service Provisioning.
Proceedings of the 2020 IEEE International Conference on Web Services, 2020

FocAnnot: Patch-Wise Active Learning for Intensive Cell Image Segmentation.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2020

A DQN-Based Approach for Online Service Placement in Mobile Edge Computing.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2020

An Efficient and Truthful Online Incentive Mechanism for a Social Crowdsensing Network.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2020

2019
New Retail Business Analysis and Modeling: A Taobao Case Study.
IEEE Trans. Comput. Soc. Syst., 2019

Location-Based Test Case Prioritization for Software Embedded in Mobile Devices Using the Law of Gravitation.
Mob. Inf. Syst., 2019

Consumers Team Detection Model Based on Trust for Multi-Level.
Mob. Inf. Syst., 2019

Special Issue on AI-Driven Smart Networking and Communication for Personal Internet of Things, Part I.
Int. J. Wirel. Inf. Networks, 2019

WAAC: An End-to-End Web API Automatic Calls Approach for Goal-Oriented Intelligent Services.
Int. J. Softw. Eng. Knowl. Eng., 2019

A novel approach to workload prediction using attention-based LSTM encoder-decoder network in cloud environment.
EURASIP J. Wirel. Commun. Netw., 2019

An IoT-based task scheduling optimization scheme considering the deadline and cost-aware scientific workflow for cloud computing.
EURASIP J. Wirel. Commun. Netw., 2019

A hierarchical recurrent approach to predict scene graphs from a visual-attention-oriented perspective.
Comput. Intell., 2019

Novel Financial Capital Flow Forecast Framework Using Time Series Theory and Deep Learning: A Case Study Analysis of Yu'e Bao Transaction Data.
IEEE Access, 2019

Personalization Recommendation Algorithm Based on Trust Correlation Degree and Matrix Factorization.
IEEE Access, 2019

An Edge Computing Platform for Intelligent Operational Monitoring in Internet Data Centers.
IEEE Access, 2019

Toward Computation Offloading in Edge Computing: A Survey.
IEEE Access, 2019

Prediction of Extubation Failure for Intensive Care Unit Patients Using Light Gradient Boosting Machine.
IEEE Access, 2019

Data-Intensive Application Deployment at Edge: A Deep Reinforcement Learning Approach.
Proceedings of the 2019 IEEE International Conference on Web Services, 2019

A Food Dish Image Generation Framework Based on Progressive Growing GANs.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2019

A Dynamic Planning Framework for QoS-Based Mobile Service Composition Under Cloud-Edge Hybrid Environments.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2019

Attention-Based Bilinear Joint Learning Framework for Entity Linking.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2019

2018
Processing Optimization of Typed Resources with Synchronized Storage and Computation Adaptation in Fog Computing.
Wirel. Commun. Mob. Comput., 2018

Applying Probabilistic Model Checking to Financial Production Risk Evaluation and Control: A Case Study of Alibaba's Yu'e Bao.
IEEE Trans. Comput. Soc. Syst., 2018

Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things.
Secur. Commun. Networks, 2018

Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective.
Int. J. Softw. Eng. Knowl. Eng., 2018

Applying improved particle swarm optimization for dynamic service composition focusing on quality of service evaluations under hybrid networks.
Int. J. Distributed Sens. Networks, 2018

Toward service selection for workflow reconfiguration: An interface-based computing solution.
Future Gener. Comput. Syst., 2018

A Novel Hybrid Collaborative Filtering Approach to Recommendation Using Reviews: The Product Attribute Perspective (S).
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

MeCo-TSM: Multi-Entity Complex Process-Oriented Service Modeling Method.
Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Extracting Business Execution Processes of API Services for Mashup Creation.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2018

Learning from High-Degree Entities for Knowledge Graph Modeling.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2018

The Cuckoo Search and Integer Linear Programming Based Approach to Time-Aware Test Case Prioritization Considering Execution Environment.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2018

2017
Probabilistic Model Checking-Based Service Selection Method for Business Process Modeling.
Int. J. Softw. Eng. Knowl. Eng., 2017

An Approach to Data Consistency Checking for the Dynamic Replacement of Service Process.
IEEE Access, 2017

Applying Probability Model to The Genetic Algorithm Based Cloud Rendering Task Scheduling.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Answering Who/When, What, How, Why through Constructing Data Graph, Information Graph, Knowledge Graph and Wisdom Graph.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

An Novel Approach to Evaluate the Reliability of Cloud Rendering System Using Probabilistic Model Checker PRISM: A Quantitative Computing Perspective.
Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2017

Service Pattern Evaluation: Studying Profitability from Perspective of Resource.
Proceedings of the IEEE International Conference on Cognitive Computing, 2017

A Load Balancing Method Based on Node Features in a Heterogeneous Hadoop Cluster.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2017

Towards Collaborative Typed Resources Manipulation in Health-Care Environments.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2017

Learning Planning and Recommendation Based on an Adaptive Architecture on Data Graph, Information Graph and Knowledge Graph.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2017

A 3D Registration Method Based on Indoor Positioning Through Networking.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2017

Model checking cloud rendering system for the QoS evaluation.
Proceedings of the 28th IEEE International Conference on Application-specific Systems, 2017

Research on the Safety Accidents Prediction for Smart Laboratory Based on Statistical Analysis.
Proceedings of the 4th Intl Conf on Applied Computing and Information Technology/3rd Intl Conf on Computational Science/Intelligence and Applied Informatics/1st Intl Conf on Big Data, 2017

2016
Towards a problem-value-constraint framework for maximising business value through minimising under design and over design.
Int. J. Serv. Technol. Manag., 2016

Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service.
Int. J. Softw. Eng. Knowl. Eng., 2016

The 2016 IEEE Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (FM-S&C 2016) Workshop Summary.
Proceedings of the IEEE World Congress on Services, 2016

Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking.
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

Applying Probabilistic Model Checking to Express Delivery Location Selection and Optimization.
Proceedings of the 13th IEEE International Conference on e-Business Engineering, 2016

Applying Probabilistic Model Checking to Service Discovery Framework.
Proceedings of the IEEE International Conference on Services Computing, 2016

Toward an Automated View Abstraction for Distributed Model-Driven Service Development.
Proceedings of the IEEE International Conference on Services Computing, 2016

An executable model and testing for Web software based on live sequence charts.
Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

2015
Web服务计算组合流程QoS验证 (Verification QoS of Web Services Compositional Processes).
计算机科学, 2015

A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking.
Int. J. Softw. Innov., 2015

Survivability prediction of web system based on log statistics.
Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

Test suite reduction for mutation testing based on formal concept analysis.
Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

IEEE Services Visionary Track on Formal Methods in Services and Cloud Computing (FM-S&C 2015) Workshop Summary.
Proceedings of the 2015 IEEE World Congress on Services, 2015

A Problem-Value-Constraint Framework for Minimizing Under Design and Over Design in Web Service Based System Development.
Proceedings of the International Conference on Service Science, 2015

Manifold-Learning Based API Recommendation for Mashup Creation.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model.
Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

Service Selection Using Service Clusters.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
A requirements description language pLSC for probabilistic branches and three-stage events.
Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

IEEE 2014 Fourth International Workshop on Formal Methods in Services and Cloud Computing (FM-S&C 2014) Workshop Summary.
Proceedings of the 2014 IEEE World Congress on Services, 2014

Service Reconfiguration Architecture Based on Probabilistic Modeling Checking.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014

2013
An algorithm on fairness verification of mobile sink routing in wireless sensor network.
Pers. Ubiquitous Comput., 2013

Spherical tiling by 12 congruent pentagons.
J. Comb. Theory, Ser. A, 2013

Research on the dynamic reconfiguration of Web application using two-phase compatibility verification.
Int. J. Comput. Math., 2013

A Quantitative Model-Based Selection of Web Service Reconfiguration.
Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

2012
Test Suite Reduction Using Weighted Set Covering Techniques.
Proceedings of the 13th ACIS International Conference on Software Engineering, 2012

An Approach to Modeling and Verifying Router-Based Network.
Proceedings of the 13th ACIS International Conference on Software Engineering, 2012

2011
Research on Web Service Composition Using Probabilistic Abstraction Refinement.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Probabilistic Timed Model Checking for Atomic Web Service.
Proceedings of the World Congress on Services, 2011

Generating Quantitative Test Cases for Probabilistic Timed Web Service Composition.
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010
Verifying Web Services Composition Based on Interface Automata Using SPIN.
J. Digit. Content Technol. its Appl., 2010

Research on Technology of Web Services Composition in Mobile Devices Based OWL-S.
Proceedings of the International Conference on E-Business and E-Government, 2010


  Loading...