Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
WMCSA
2016
IEEE
6 years 4 months ago
Using a Multi-Tasking VM for Mobile Applications
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...
Yin Yan, Chunyu Chen, Karthik Dantu, Steven Y. Ko,...
WMCSA
2016
IEEE
6 years 4 months ago
A First Look at Unstable Mobility Management in Cellular Networks
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...
Yuanjie Li, Jiaqi Xu, Chunyi Peng, Songwu Lu
WMCSA
2016
IEEE
6 years 4 months ago
VoLTE*: A Lightweight Voice Solution to 4G LTE Networks
Guan-Hua Tu, Chi-Yu Li, Chunyi Peng, Zengwen Yuan,...
WMCSA
2016
IEEE
6 years 4 months ago
Lighting Up the Internet of Things with DarkVLC
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,...
Zhao Tian, Kevin Wright, Xia Zhou
WMCSA
2016
IEEE
6 years 4 months ago
How to Safely Augment Reality: Challenges and Directions
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...
Kiron Lebeck, Tadayoshi Kohno, Franziska Roesner
SCP
2016
6 years 4 months ago
Improving static analyses of C programs with conditional predicates
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...
Sandrine Blazy, David Bühler, Boris Yakobowsk...
SCP
2016
6 years 4 months ago
Parameterized, concurrent session types for asynchronous multi-actor interactions
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...
Minas Charalambides, Peter Dinges, Gul A. Agha
SCP
2016
6 years 4 months ago
Randomised testing of a microprocessor model using SMT-solver state generation
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...
Brian Campbell, Ian Stark
SCN
2016
Springer
6 years 4 months ago
Anonymous communication in overlay networks
Jian Ren, Yun Li, Tingting Jiang, Tongtong Li
books