A model checking based approach to automatic test suite generation for testing web services and BPEL.
Conference Proceeding
Zhao, H., Sun, J., & Liu, X. (2012)
A model checking based approach to automatic test suite generation for testing web services and BPEL. In Proceedings of IEEE Asia-Pacific Services Computing Conference, 61-69. https://doi.org/10.1109/APSCC.2012.29
With the rapid increase of Web Service applications, the reliability of web service and service composition has drawn particular attention from researchers and industries. Man...
A refinement calculus for the development of real-time systems.
Conference Proceeding
Chen, Z., Cau, A., Zedan, H., Liu, X., & Yang, H. (1998)
A refinement calculus for the development of real-time systems. In 5th Asia Pacific Software Engineering Conference, APSEC '98, 61. https://doi.org/10.1109/APSEC.1998.733588
We present a calculus which can transfer specifications
to objects for the development of real-time systems. The
object model is based on a practical OO development
technique—...
Home automation: HMM based fuzzy rule engine for Ambient intelligent smart space
Conference Proceeding
Singh Jamnal, G., Liu, X., & Fan, L. (2017)
Home automation: HMM based fuzzy rule engine for Ambient intelligent smart space. In Proceedings of The 29th International Conference on Software Engineering and Knowledge Engineering
In this paper, we proposed a new type of decision making system to achieve the intelligent goal for automated smart environments. The artificial intelligence techniques, used ...
Cloud migration for SMEs in a Service Oriented Approach.
Conference Proceeding
Nussbaumer, N., & Liu, X. (2013)
Cloud migration for SMEs in a Service Oriented Approach. In 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops (COMPSACW),https://doi.org/10.1109/COMPSACW.2013.71
Cloud computing has gained immense momentum during recent years and has ultimately become a viable solutions not only for larger firms, but also for small and medium-sized ent...
A Self-organizing LSTM-Based Approach to PM2.5 Forecast
Conference Proceeding
Liu, X., Liu, Q., Zou, Y., & Wang, G. (2018)
A Self-organizing LSTM-Based Approach to PM2.5 Forecast. In Proceedings of the 4th International Conference on Cloud Computing and Security (ICCCS 2018), (683-693). https://doi.org/10.1007/978-3-030-00015-8_59
Nanjing has been listed as the one of the worst performers across China with respect to the high level of haze-fog, which impacts people's health greatly. For the severe condi...
Lightweight Software Product Line Based Privacy Protection Scheme for Pervasive Applications
Conference Proceeding
Jaroucheh, Z., Liu, X., Smith, S., & Zhao, H. (2011)
Lightweight Software Product Line Based Privacy Protection Scheme for Pervasive Applications. In 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops (COMPSACW),, 351-355. doi:10.1109/compsacw.2011.65
Protecting user's privacy is one of the main concerns for the deployment of pervasive computing systems in the real world. In pervasive environments, the user context informat...
Achieving flexible reuse through scenario-based deep component adaptation and generation.
Conference Proceeding
Wang, B. H. (., Liu, X., & Kerridge, J. (2003)
Achieving flexible reuse through scenario-based deep component adaptation and generation. In Software Engineering and Applications (SEA'03) (397
Mismatches between pre-qualified existing components and the particular reuse context in applications have been a major factor hindering component reusability. Component adapt...
Power Consuming Activity Recognition in Home Environment
Conference Proceeding
Liu, X., & Liu, Q. (2017)
Power Consuming Activity Recognition in Home Environment. In X. Sun, H. Chao, X. You, & E. Bertino (Eds.), Cloud Computing and Security. ICCCS 2017, (361-372). https://doi.org/10.1007/978-3-319-68505-2_31
This work proposed an activity recognition model which focus on the power con-suming activity in home environment, to help residents modify their behavior. We set the IoT syst...
CACA-UAN: A Context-Aware Communication Approach Based on the Underwater Acoustic Sensor Network
Conference Proceeding
Liu, Q., Chen, X., Liu, X., & Linge, N. (2016)
CACA-UAN: A Context-Aware Communication Approach Based on the Underwater Acoustic Sensor Network. In X. Sun, A. Liu, H. C. Chao, & E. Bertino (Eds.), Cloud Computing and Security. ICCCS 2016
Underwater acoustic sensor networks (UANs) have emerged as a promising technology which can be applied in many areas such as military and civil in recent years. Among these ap...
A Task Orientated Requirements Ontology for Cloud Computing Services
Conference Proceeding
Greenwell, R., Liu, X., Chalmers, K., & Pahl, C. (2016)
A Task Orientated Requirements Ontology for Cloud Computing Services. In Proceedings of the 6th International Conference on Cloud Computing and Services Science (CLOSER 2016), (121-128). https://doi.org/10.5220/0005752301210128
Requirements ontology offers a mechanism to map requirements for cloud computing services to cloud computing resources. Multiple stakeholders can capture and map knowledge in ...