Honghao Gao
Orcid: 0000-0001-6861-9684
According to our database1,
Honghao Gao
authored at least 224 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Reliable Routing for V2X Networks: A Joint Perspective of Trust Prediction and Attack Resistance.
IEEE Internet Things J., November, 2024
Seventeen Years of the ACM Transactions on Multimedia Computing, Communications and Applications: A Bibliometric Overview.
ACM Trans. Multim. Comput. Commun. Appl., October, 2024
Internal Purity: A Differential Entropy-Based Internal Validation Index for Crisp and Fuzzy Clustering Validation.
IEEE Trans. Fuzzy Syst., October, 2024
Polygonal Approximation Learning for Convex Object Segmentation in Biomedical Images With Bounding Box Supervision.
IEEE J. Biomed. Health Informatics, August, 2024
Neural Collaborative Learning for User Preference Discovery From Biased Behavior Sequences.
IEEE Trans. Comput. Soc. Syst., August, 2024
Periodic Collaboration and Real-Time Dispatch Using an Actor-Critic Framework for UAV Movement in Mobile Edge Computing.
IEEE Internet Things J., June, 2024
FMGDN: Flexible Multi-Grained Dilation Network Empowered Multimedia Image Inpainting for Electronic Consumer.
IEEE Trans. Consumer Electron., May, 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
FedPIA: Parameter Importance-Based Optimized Federated Learning to Efficiently Process Non-IID Data on Consumer Electronic Devices.
IEEE Trans. Consumer Electron., February, 2024
Heterogeneous Data-Driven Failure Diagnosis for Microservice-Based Industrial Clouds Toward Consumer Digital Ecosystems.
IEEE Trans. Consumer Electron., February, 2024
cFedDT: Cross-Domain Federated Learning in Digital Twins for Metaverse Consumer Electronic Products.
IEEE Trans. Consumer Electron., February, 2024
MonoLI: Precise Monocular 3-D Object Detection for Next-Generation Consumer Electronics for Autonomous Electric Vehicles.
IEEE Trans. Consumer Electron., February, 2024
TBDB: Token Bucket-Based Dynamic Batching for Resource Scheduling Supporting Neural Network Inference in Intelligent Consumer Electronics.
IEEE Trans. Consumer Electron., 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
IEEE Trans. Netw. Sci. Eng., 2024
SGDM: An Adaptive Style-Guided Diffusion Model for Personalized Text to Image Generation.
IEEE Trans. Multim., 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
DPML: Prior-guided multitask learning for dental object recognition on limited panoramic radiograph dataset.
Expert Syst. Appl., 2024
MambaCapsule: Towards Transparent Cardiac Disease Diagnosis with Electrocardiography Using Mamba Capsule Network.
CoRR, 2024
A Just-in-time Software Defect Localization Method based on Code Graph Representation.
Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension, 2024
Proceedings of the IEEE International Conference on Web Services, 2024
Collect Fresh Data@Edge: with Freshness-Sensitive Server Placement & Traffic Management Strategies.
Proceedings of the IEEE International Conference on Web Services, 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
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
Computing, March, 2023
LBlockchainE: A Lightweight Blockchain for Edge IoT-Enabled Maritime Transportation Systems.
IEEE Trans. Intell. Transp. Syst., February, 2023
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
Neural Comput. Appl., 2023
OSTTD: Offloading of Splittable Tasks With Topological Dependence in Multi-Tier Computing Networks.
IEEE J. Sel. Areas Commun., 2023
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
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
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
IEEE Trans. Comput. Soc. Syst., 2022
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
Trans. Emerg. Telecommun. Technol., 2022
Special Issue on Adversarial AI to IoT Security and Privacy Protection: Attacks and Defenses.
Comput. J., 2022
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
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
ACM Trans. Multim. Comput. Commun. Appl., 2021
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
ACM Trans. Internet Techn., 2021
ACM Trans. Internet Techn., 2021
IEEE Trans. Netw. Serv. Manag., 2021
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
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
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
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
J. Ambient Intell. Smart Environ., 2021
Int. J. Softw. Informatics, 2021
Collaborative APIs recommendation for Artificial Intelligence of Things with information fusion.
Future Gener. Comput. Syst., 2021
Trans. Emerg. Telecommun. Technol., 2021
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
Comput. Networks, 2021
Comput. Intell., 2021
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
Wirel. Networks, 2020
Introduction to the Special Issue on Smart Communications and Networking for Future Video Surveillance.
ACM Trans. Multim. Comput. Commun. Appl., 2020
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
IEEE Netw., 2020
Mob. Networks Appl., 2020
Mob. Networks Appl., 2020
Traffic Volume Prediction Based on Multi-Sources GPS Trajectory Data by Temporal Convolutional Network.
Mob. Networks Appl., 2020
Mob. Networks Appl., 2020
Editorial: ACM/Springer Mobile Networks & Applications - Special Issue on Mobile Service Computing and Applications.
Mob. Networks Appl., 2020
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
J. Cloud Comput., 2020
SoProtector: Safeguard Privacy for Native SO Files in Evolving Mobile IoT Applications.
IEEE Internet Things J., 2020
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
Frontiers Comput. Sci., 2020
Com-DDPG: A Multiagent Reinforcement Learning-based Offloading Strategy for Mobile Edge Computing.
CoRR, 2020
Servicing delay sensitive pervasive communication through adaptable width channelization for supporting mobile edge computing.
Comput. Commun., 2020
Proceedings of the 2020 IEEE International Conference on Web Services, 2020
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2020
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
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
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
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
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
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
Proceedings of the 2018 IEEE International Conference on Web Services, 2018
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2018
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
Proceedings of the IEEE International Conference on Cognitive Computing, 2017
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2017
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
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2017
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
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
Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016
2015
计算机科学, 2015
A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking.
Int. J. Softw. Innov., 2015
Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015
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
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
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
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
Research on the dynamic reconfiguration of Web application using two-phase compatibility verification.
Int. J. Comput. Math., 2013
Proceedings of the 14th ACIS International Conference on Software Engineering, 2013
2012
Proceedings of the 13th ACIS International Conference on Software Engineering, 2012
Proceedings of the 13th ACIS International Conference on Software Engineering, 2012
2011
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011
Proceedings of the World Congress on Services, 2011
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011
2010
J. Digit. Content Technol. its Appl., 2010
Proceedings of the International Conference on E-Business and E-Government, 2010