formal verification; mobile computing; object-oriented programming; resource allocation; software metrics; software performance evaluation; software quality; context-aware mobile applications; formal model; linear correlation analysis; mathematical equations; mobil;
机译:MobiLine:用于移动和上下文感知应用程序领域的嵌套软件产品线
机译:管理在云环境中部署的上下文感知软件资源,以提高移动云服务的质量
机译:移动上下文感知系统:技术,资源和应用
机译:面向移动手持应用程序的上下文感知和资源驱动的自适应
机译:用于上下文感知应用程序开发的客户端服务器软件基础结构。
机译:跨平台移动应用中的动画:工具指标和性能的评估
机译:上下文感知移动应用程序的软件,性能和资源利用指标