An Approach for Modeling and Analyzing Code Mobility

Abstract

Code mobility provides a flexible paradigm for building high performance mobile computing systems. Because code mobility can cause dynamic configuration of system structures in mobile computing systems, assuring design quality of the system is challenge. Formal specification and analysis provide a rigorous way to ensure system requirements are correctly… (More)
DOI: 10.1109/APSCC.2012.43

Topics

Cite this paper

@article{Ding2012AnAF, title={An Approach for Modeling and Analyzing Code Mobility}, author={Junhua Ding and Jidong Ge}, journal={2012 IEEE Asia-Pacific Services Computing Conference}, year={2012}, pages={109-116} }