Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 5 of 5

Full-Text Articles in Physical Sciences and Mathematics

A Location-Aware Architecture Supporting Intelligent Real-Time Mobile Applications, Sean J. Barbeau Jun 2012

A Location-Aware Architecture Supporting Intelligent Real-Time Mobile Applications, Sean J. Barbeau

USF Tampa Graduate Theses and Dissertations

This dissertation presents LAISYC, a modular location-aware architecture for intelligent real-time mobile applications that is fully-implementable by third party mobile app developers and supports high-precision and high-accuracy positioning systems such as GPS. LAISYC significantly improves device battery life, provides location data authenticity, ensures security of location data, and significantly reduces the amount of data transferred between the phone and server. The design, implementation, and evaluation of LAISYC using real mobile phones include the following modules: the GPS Auto-Sleep module saves battery energy when using GPS, maintaining acceptable movement tracking (approximately 89% accuracy) with an approximate average doubling of battery life. …


Check Image Processing: Webp Conversion And Micr Scan Android Application, Trevor Bliss Apr 2012

Check Image Processing: Webp Conversion And Micr Scan Android Application, Trevor Bliss

Computer Engineering

As more users favor smartphones over computers for simple tasks, small businesses are constantly exploring mobile options to present to their customers. This write-up documents an Android application designed for a small company, which allows users to send pictures of checks to the company’s servers for processing. The picture is taken with the devices built-in camera and is converted to Google’s new image format, WebP. The company’s server processes the check and returns the check’s MICR code as a response. This application leverages the Android NDK and JNI to use Google’s open source image conversion libraries as well as socket …


Zen Cart Shopper, Michael Mcmahon Mar 2012

Zen Cart Shopper, Michael Mcmahon

Computer Science and Software Engineering

Zen Cart is a popular e-commerce tool for building a shopping cart web site. A typical Zen Cart store is not well suited for the small touch screens commonly found on today’s smart phones. Zen Cart Shopper is a solution for Android systems which employs web scraping techniques to display a store’s content in a smart phone friendly interface. This report describes the design and implementation of the Zen Cart Shopper app for Android.


Development Techniques For Android Platform Mobile Device Application, Ivan Njunjic Jan 2012

Development Techniques For Android Platform Mobile Device Application, Ivan Njunjic

Master's Theses and Doctoral Dissertations

This thesis focuses on Android application development techniques needed to implement a mobile application portal that consists of features used at Eastern Michigan University. Since there is not a single source available to developers that explains such techniques, this thesis represents a unique manual for such development. Based on the similarity of features, mainly in terms of data nature and access, five techniques are defined in a step-by-step procedural manner. This is accomplished by outlining the development techniques and presenting them “in action” with coding examples from a fully developed demo application. As a result, the demo application demonstrates functional …


Deductive Formal Verification Of Embedded Systems, Zheng Lu Jan 2012

Deductive Formal Verification Of Embedded Systems, Zheng Lu

LSU Doctoral Dissertations

We combine static analysis techniques with model-based deductive verification using SMT solvers to provide a framework that, given an analysis aspect of the source code, automatically generates an analyzer capable of inferring information about that aspect.

The analyzer is generated by translating the collecting semantics of a program to a formula in first order logic over multiple underlying theories. We import the semantics of the API invocations as first order logic assertions. These assertions constitute the models used by the analyzer. Logical specification of the desired program behavior is incorporated as a first order logic formula. An SMT-LIB solver treats …