Search

The number of mobile applications downloaded recently from Google stores increase steadily. It is believed that mobile applications market revenues will grow fast and receive more attention from software developers. Even though, hardware technologies and operating systems have made a big contribution to improve the battery capacity, power consumption is one of the most important and crucial non-functional properties of mobile applications. Many approaches have been dedicated for analyzing and optimizing the power consumption at different levels. This paper proposes a method for analyzing energy leaks of Android application at the design phase. First, it introduces a formalization of an event-based power consumption model. After that, the paper presents a method to translate this model to Event-B notations. Based on the target model, it is able to check if the application leads to energy leaks or violates the power consumption constraints based on formal proofs. Finally, the motivating examples are shown for the illustration purpose. [ABSTRACT FROM AUTHOR]

Thanks to the availability of various mobile applications, lots of users shift from desktop environments, e.g., PCs and laptops, to mobile devices, e.g., smartphones and tablets. However, there are still some desktop applications without counterparts on mobile devices, such as some integrated development environments (e.g., eclipse) and automatic industry control systems. In this paper, we propose Modeap, a platform-independent mobile cloud service that can push all desktop applications developed for various operating systems from cloud servers to mobile devices. Modeap follows a design principle of complete detachment and regeneration of desktop user interface, i.e., the essential graphical primitives of the original desktop applications will be intercepted and then translated into standard web-based graphical primitives such that the interactions between users and remote cloud applications become possible via mobile web browsers. In this way, all desktop applications built upon the same set of graphical primitives can be used on mobile devices in great flexibility without installing any new software. We have developed a proof-of-concept prototype that provides Windows applications from cloud server to mobile web browsers. The results of extensive experiments show that the proposed framework can achieve our design goals with low latency and bandwidth consumption. [ABSTRACT FROM AUTHOR]

The selected papers focus on different topics covered under the umbrella of Smart City concept such as: Lightweight security mechanisms for IoT; Blockchain-based IoT security; Physical-layer security; Security and privacy for mobile devices; Cybersecurity for Cyber Physical Production Systems (CPPSs); among others. In the third article with the title "A Physical-Layer Key Distribution Mechanism for IoT Networks", the authors focus on constrained IoT networks and propose physical layer security as a lightweight approach for key distribution mechanisms. Although physical layer security has been widely studied as a lightweight approach to transmit confidential information, authors in this article propose physical layer security for symmetric key agreement between multiple entities. [Extracted from the article]