Internetware
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Singapore

9789811025457, 9789811025464

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications

Internetware ◽

10.1007/978-981-10-2546-4_18 ◽

2016 ◽

pp. 389-438 ◽

Cited By ~ 1

Author(s):

Hong Mei ◽

Jian Lü

Keyword(s):

Smartphone Applications ◽

Automated Diagnosis

Download Full-text

rCOS: A Refinement Calculus of Internetware Systems

Internetware ◽

10.1007/978-981-10-2546-4_14 ◽

2016 ◽

pp. 301-333

Author(s):

Hong Mei ◽

Jian Lü

Keyword(s):

Refinement Calculus

Download Full-text

On Requirements Model Driven Adaption and Evolution of Internetware

Internetware ◽

10.1007/978-981-10-2546-4_5 ◽

2016 ◽

pp. 93-112

Author(s):

Hong Mei ◽

Jian Lü

Keyword(s):

Model Driven

Download Full-text

On Self-adaptation Model for Internetware

Internetware ◽

10.1007/978-981-10-2546-4_4 ◽

2016 ◽

pp. 71-91

Author(s):

Hong Mei ◽

Jian Lü

Keyword(s):

Self Adaptation ◽

Adaptation Model

Download Full-text

Technical Framework for Internetware: An Architecture Centric Approach

Internetware ◽

10.1007/978-981-10-2546-4_2 ◽

2016 ◽

pp. 19-30 ◽

Cited By ~ 1

Author(s):

Hong Mei ◽

Jian Lü

Keyword(s):

Technical Framework

Download Full-text

Conclusion and Future Outlook

Internetware ◽

10.1007/978-981-10-2546-4_19 ◽

2016 ◽

pp. 441-442

Author(s):

Hong Mei ◽

Jian Lü

Keyword(s):

Future Outlook

Download Full-text

Golden Age: On Multi-source Software Update Propagation in Pervasive Networking Environments

Internetware ◽

10.1007/978-981-10-2546-4_17 ◽

2016 ◽

pp. 373-388

Author(s):

Hong Mei ◽

Jian Lü

Keyword(s):

Golden Age ◽

Software Update ◽

Update Propagation

Download Full-text

Toward Capability Specification of Internetware Entity Based on Environment Ontology

Internetware ◽

10.1007/978-981-10-2546-4_12 ◽

2016 ◽

pp. 257-278

Author(s):

Hong Mei ◽

Jian Lü

Download Full-text

Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments

Internetware ◽

10.1007/978-981-10-2546-4_10 ◽

2016 ◽

pp. 211-230

Author(s):

Hong Mei ◽

Jian Lü

Keyword(s):

Pervasive Computing ◽

Runtime Detection ◽

Computing Environments

Download Full-text

Specification and Monitoring of Data-Centric Temporal Properties for Service-Based Internetware Systems

Internetware ◽

10.1007/978-981-10-2546-4_9 ◽

2016 ◽

pp. 185-209

Author(s):

Hong Mei ◽

Jian Lü

Keyword(s):

Temporal Properties

Download Full-text