CANDEL: Product Line Based Dynamic Context Management for Pervasive Applications
Conference Proceeding
Jaroucheh, Z., Liu, X., & Smith, S. (2010)
CANDEL: Product Line Based Dynamic Context Management for Pervasive Applications. In CICIS'10 Proceedings, (209-216). https://doi.org/10.1109/cisis.2010.21
In a pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic ...
Formal methods for the re-engineering of computing systems.
Conference Proceeding
Liu, X., Yang, H., & Zedan, H. (1997)
Formal methods for the re-engineering of computing systems. In COMPSAC '97-21st International Computer Software and Applications Conference, 409-414. https://doi.org/10.1109/CMPSAC.1997.625024
This paper presents a short review of formal methods and their use in the re-engineering of computing systems. Five classes of formal notations and theories, namely state/mode...
A Loosely-coupled Semantic Model for Efficient Cloud Service Search and Retrieval.
Conference Proceeding
Fang, D., Liu, X., & Romdhani, I. (2015)
A Loosely-coupled Semantic Model for Efficient Cloud Service Search and Retrieval. In W. Zimmerman, Y. W. Lee, & C. Reich (Eds.), Cloud Computing 2014: the Fifth International Conference on Cloud Computing, Grids and Virtualization, 6-11
As cloud services propagate along with the rapid development of cloud computing, issues raised in service selection and retrieval processes become increasingly critical. While...
An Energy-Efficiency Routing Scheme Based on Clusters with a Mobile Sink for WSNs
Conference Proceeding
Liu, X., & Liu, Q. (2017)
An Energy-Efficiency Routing Scheme Based on Clusters with a Mobile Sink for WSNs. In X. Sun, H. C. Chao, X. You, & E. Bertino (Eds.), Cloud Computing and Security (ICCCS 2017), (450-459). https://doi.org/10.1007/978-3-319-68505-2_39
With the development of microelectronic devices and the radio, the application of WSN is more popular and can be applied in the various areas, which has attracted scholars. Ho...
Evolution for the sustainability of Internetware.
Conference Proceeding
Fang, D., Liu, X., Liu, L., & Yang, H. (2012)
Evolution for the sustainability of Internetware. In Proceedings of Internetware'12. https://doi.org/10.1145/2430475.2430492
Along with the green attentions and efforts on energy efficiency of computer hardware and embedded systems, software relevant sustainability issues are becoming increasingly f...
An aspect oriented model for software energy efficiency in decentralised servers.
Conference Proceeding
Chinenyeze, S., Liu, X., & Al-Dubai, A. (2014)
An aspect oriented model for software energy efficiency in decentralised servers. In ict4s-14https://doi.org/10.2991/ict4s-14.2014.14
Green software is currently gaining interests with the increasing impact of IT in energy consumption. Green-ness in software however, can be achieved at various stages of the ...
A design framework for system re-engineering.
Conference Proceeding
Liu, X., Chen, Z., Yang, H., Zedan, H., & Chu, W. (1997)
A design framework for system re-engineering. In APSEC'97/ICSC'97 - Fourth Asia-Pacific Software Engineering and International Computer Science Conference, 342-352. https://doi.org/10.1109/APSEC.1997.640191
We discuss the current situation of formal methods and their use in the re-engineering of computing systems, especially real time systems. Based on the analysis result, a solu...
Achieving smooth component integration with generative aspects and component adaptation.
Conference Proceeding
Feng, Y., Liu, X., & Kerridge, J. (2006)
Achieving smooth component integration with generative aspects and component adaptation. In M. Morisio (Ed.), Re-Use of Off-the-shelf Components: 9th International Conference on Software Reuse, 260-272. https://doi.org/10.1007/11763864_19
Due to the availability of components and the diversity of target applications, mismatches between pre-qualified existing components and the particular reuse context in applic...