WMCSA
2016
IEEE
8 years 6 months ago
2016
IEEE
This paper discusses the potential benifits of switching Android’s single VM per application runtime environment to a multi-tasking VM environment. A multi-tasking VM is a type...
WMCSA
2016
IEEE
8 years 6 months ago
2016
IEEE
Mobility management is a prominent feature in cellular networks. In this paper, we examine the (in)stability of mobility management. We disclose that handoff may never converge in...
WMCSA
2016
IEEE
8 years 6 months ago
2016
IEEE
WMCSA
2016
IEEE
8 years 6 months ago
2016
IEEE
Visible Light Communication (VLC) holds a great potential to solve the spectrum crunch problem and to provide scalable connectivity to zillions of mobile and IoT devices. However,...
WMCSA
2016
IEEE
8 years 6 months ago
2016
IEEE
Augmented reality (AR) technologies, such as those in headmounted displays like Microsoft HoloLens or in automotive windshields, are poised to change how people interact with thei...
SCP
2016
8 years 6 months ago
2016
Abstract. Static code analysis is increasingly used to guarantee the absence of undesirable behaviors in industrial programs. Designing sound analyses is a continuing trade-off be...
SCP
2016
8 years 6 months ago
2016
Session types have been proposed as a means of statically verifying implementations of communication protocols. Although prior work has been successful for some classes of protoco...
SCP
2016
8 years 6 months ago
2016
Abstract. We validate a HOL4 model of the ARM Cortex-M0 microcontroller core by testing the model’s behaviour on randomly chosen instructions against a real chip. The model and o...
SCP
2016
8 years 6 months ago
2016
SCN
2016
Springer
8 years 6 months ago
2016
Springer
