Internetware

1. Internetware: A shift of software paradigm.- 2. Technical Framework for Internetware: An Architecture Centric Approach.- 3. On environment-driven software model for Internetware.- 4. A Software Architecture Centric Self-adaptation Approach for Internetware.- 5. Requirements Model Driven Adaption and Evolution of Internetware.- 6. Runtime Recovery and Manipulation of Software Architecture of Component-based Systems.- 7. Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach.- 8. Low-disruptive Dynamic Updating of Internetware Applications.- 9. Specification and Monitoring of Data-centric Temporal Properties for Service-based Internetware systems.- 10. Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments.- 11. A Software Architecture Centric Engineering Approach for Internetware.- 12. Toward Capability Specification of Internetware Entity Based on Environment Ontology.- 13. Feature-driven requirement dependency analysis and high-level software design.- 14. rCOS: A Refinement Calculus of Internetware Systems.- 15. Refactoring Android Java Code for On-Demand Computation Offloading.- 16. Towards Architecture-based Management of Platforms in Cloud.- 17. Golden Age: On Multi-Source Software Update Propagation in Pervasive Networking Environments.- 18. GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications.

Prof. Hong Mei received his Bachelor's degree and Master's degree in Computer Science from Nanjing University of Aeronautics & Astronautics (NUAA) in 1984 and 1987, respectively, and a PhD in Computer Science from Shanghai Jiao Tong University in 1992. From 1987 to 1989, he worked at NUAA as a research assistant. In 1992, he joined Peking University (PKU) as a post-doctoral research fellow. From 1994 to present, he has worked at the Department of Computer Science and Technology and the School of Electronics Engineering and Computer Science in PKU, becoming an associate professor in 1994 and full professor in 1997. In 2005, he became a "Chang Jiang Scholars Program" professor of the Ministry of Education. In 2011, he was elected as a member of the Chinese Academy of Sciences. In 2013, he was elected as a Fellow of the World Academy of Sciences for the advancement of science in developing countries. In 2014, he was named an IEEE Fellow. He served as Dean of the School of Electronics Engineering and Computer Science at PKU from 2006-2014, and is currently the Director of the Key Laboratory of High Confidence Software Technologies of Ministry of Education (MOE) at PKU. He acted as the Chief Scientist for two projects sponsored by the National Basic Research Program of China (973 Program), i.e., "Research on theory and methodology of agent-based middleware on Internet Platform" (2002-2008) and "Research on the trustworthiness, quality-of-service, development methodologies, and runtime mechanisms of the network-based complex software systems" (2009-2013), respectively, where he was responsible for coordinating more than 100 scientists and researchers. His current research interests include software engineering and system software. In the past years, Prof. Mei has received numerous awards for his contributions to research and education.
Jian L ü is a Full Professor and the Executive Vice President of Nanjing University, China. He received his