Formal Specification of Selected Android Core Applications and Library Functions
FREE-DOWNLOAD MAH Mobarhan – 2010
Formal Specification of Selected Android Core Applications and Library Functions
FREE-DOWNLOAD MAH Mobarhan – 2010
proof-of-concept on Google Android
FREE-DOWNLOAD F Uijtdewilligen – 2010 This thesis presents a framework, called the ARCA Framework, which combines the ap- plication support for augmented reality and context-awareness. The framework consists of software running on a mobile device, and a server application, called the Context Information Service