In this study, we propose AOBAKO, a testbed for context-aware applications, which focuses
on the testing of mobile applications using Bluetooth Low Energy (BLE) for indoor …

Broadcasts in Android facilitate inner-process and inter-process communications. Although
broadcasts enable high scalability and loose coupling in achieving collaboration among …

This thesis explores the use of assistive in-situ technologies for formal caregivers in nursing
homes. More specifically, focus is placed on improving context awareness and medication …

Because of the speed and memory efficiency of sorting, quicksort is often the best choice in
software development. However, in model checking with SPIN, it is difficult to implement …