WMCSA
2016
IEEE
8 years 17 days 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 17 days 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 17 days ago
2016
IEEE
WMCSA
2016
IEEE
8 years 17 days 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 17 days 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 20 days 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 20 days 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 20 days 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...
SCN
2016
Springer
8 years 20 days ago
2016
Springer
