Computer Sciences Commons^™

Using Statistical Methods To Determine Geolocation Via Twitter, Christopher M. Wright

Masters Theses & Specialist Projects

With the ever expanding usage of social media websites such as Twitter, it is possible to use statistical inquires to form a geographic location of a person using solely the content of their tweets. According to a study done in 2010, Zhiyuan Cheng, was able to detect a location of a Twitter user within 100 miles of their actual location 51% of the time. While this may seem like an already significant find, this study was done while Twitter was still finding its ground to stand on. In 2010, Twitter had 75 million unique users registered, as of March 2013, …

Development Of Etsu Student Life Android Application, Tyler L. Cox

Undergraduate Honors Theses

In this thesis, the author gives a description his journey creating and developing a Student Life Application for East Tennessee State University. This thesis will document his process with development as well as reflect on the struggles and victories in creation of this application.

Regionalization Of An Asset Storage And Distribution Service, Cameron Dunn, Nathaniel Morrison

Computer Engineering

The existing service we work on, Asset Services, is comprised of multiple independent services which work together to provide an easy interface for internal clients to allow end users to upload their own content, and then distribute that content to both internal and external clients, with a firewall between the service and most external clients. Although Asset Services handles millions of requests a day from all over the globe, all requests and data were sent through a single data center. The objective of this project was to create new endpoints for end users to upload and download assets to/from. By …

A Framework For Constructing Serious Games, Taylor Glen Yust

Graduate Theses and Dissertations

Communicating ideas and knowledge through serious games is a trend that is currently gaining in popularity. However, at present, there is a distinct lack of a game development methodology that takes a critical approach to transforming information into gameplay. This thesis presents a framework that can be followed to construct compelling serious games that are effective at transferring knowledge to the player. This is accomplished through an analysis of atomic knowledge items and their relationships to one another, followed by a meaningful and synergetic implementation of these ideas at a foundational mechanics level.

This thesis also describes the development of …

Porting The Embedded Xinu Operating System To The Raspberry Pi, Eric Biggers

Mathematics, Statistics, and Computer Science Honors Projects

This thesis presents a port of a lightweight instructional operating system called Embedded Xinu to the Raspberry Pi. The Raspberry Pi, an inexpensive credit-card-sized computer, has attracted a large community of hobbyists, researchers, and educators since its release in 2012. However, the system-level software running on the Raspberry Pi has been restricted to two ends of a spectrum: complex modern operating systems such as Linux at one end, and very simple hobbyist operating systems or simple “bare-metal” programs at the other end. This project bridges this gap by porting the Embedded Xinu operating system to the Raspberry Pi. Although simple …

Variable Bounds Analysis Of A Climate Model Using Software Verification Techniques, Peter Revesz, Robert Woodward

School of Computing: Conference and Workshop Papers

Software verification techniques often use some approximation method that identifies the limits of the possible range of values that variables in a computer program can take during execution. Current climate models are complex computer programs that are typically iterated time-step by time-step to predict the next value of the climate-related variables. Because these iterative methods are necessarily computed only for a fixed number of iterations, they are unable to answer many long-range questions that may be posed regarding climate change, for example, whether there are natural fluctuations or whether a tipping point is reached after which there is no return …

Distributed Gui Testing Of Ios Applications With Hadoopunit, Krissada Dechokul

Theses and Dissertations

Smartphones have become an important medium of communication for millions of people. They have come to expect high-quality mobile applications, which have increased the importance of software testing in modern software development. While software testing can ensure the quality of a system under test (SUT), it has suffered from lengthy execution time, especially for system-level GUI testing. In general, system-level GUI testing can be time-consuming because it requires walking through every user interface element and every possible variation that users could experience through the GUI of the application. In addition, this type of testing exercises the SUT from the outside …

A Self-Adaptive Framework For Failure Avoidance In Configurable Software, Jacob Swanson

School of Computing: Dissertations, Theses, and Student Research

Many software systems today are highly-configurable, meaning the user can customize their instance of the application, adding and removing features as needed. However, this configurability makes it harder to ensure that faults will not escape testing and manifest as failures in the field. This is because many failures are configuration-dependent; they will appear under certain combinations of features configurations, but not others. Once faults are found and reported in the field, there can be a long lag time (days, weeks or even months) until patches are created and released to fix them. In the meantime, users will continue to use …

How Many Eyeballs Does A Bug Need? An Empirical Validation Of Linus' Law, Subhajit Datta, Proshanta Sarkar, Sutirtha Das, Sonu Sreshtha, Prasanth Lade, Subhashis Majumder

Research Collection School Of Computing and Information Systems

Linus’ Law reflects on a key characteristic of open source software development: developers’ tendency to closely work together in the bug resolution process. In this paper we empirically examine Linus’ Law using a data-set of 1,000+ Android bugs, owned by 70+ developers. Our results indicate that encouraging developers to work closely with one another has nuanced implications; while one form of contact may help reduce bug resolution time, another form can have quite the opposite effect. We present statistically significant evidence in support of our results and discuss their relevance at the individual and organizational levels.

Handling Location Uncertainty In Event Driven Experimentation, Kartik Muralidharan, Srinivasan Seshan, Narayan Ramasubbu, Rajesh Krishna Balan

Research Collection School Of Computing and Information Systems

The wide spread use of smart phones has ushered in a wave of context-based advertising services that operate on pre-defined user events. A prime example is Location Based Advertising. What is missing though, is the ability to experiment with these services under varying event conditions with real users using their regular phones in real-world environments. Such experiments provide greater insight into user needs for and responsiveness towards context-based advertising applications. However, these event-driven experiments rely on data that arrive from sources such as mobile sensors which have inherent uncertainties associated with them. This effects the interpretation of the outcome of …

Tapjacking Threats And Mitigation Techniques For Android Applications, Vanessa Cooper

Dissertations, Theses and Capstone Projects (Full IR Collection)

With the increased dependency on web applications through mobile devices, malicious attack techniques have now shifted from traditional web applications running on desktop or laptop (allowing mouse click- based interactions) to mobile applications running on mobile devices (allowing touch-based interactions). Clickjacking is a type of malicious attack originating in web applications, where victims are lured to click on seemingly benign objects in web pages. However, when clicked, unintended actions are performed without the user’s knowledge. In particular, it is shown that users are lured to touch an object of an application triggering unintended actions not actually intended by victims. This …

First Step Mental Health App, Joshua Martin, James Faraday, Mackenzie Lopez

Undergraduate Research Symposium

The goal of this project is to create a tool that provides students at Minnesota State University, Mankato with mental health information through a freely available smartphone application (App). Our approach uses a software engineering design process that focuses on who our customers are, what resources are available, and how we can best connect the two to improve student lives. We identified the stakeholders involved and worked with campus mental health professionals to help shape our App. While there is a broad range of mental health topics, we have focused on materials related to depression. The first process gives the …

Applications Of Gamification: Overcoming A Digital Disconnect, Adrienne Carroll

Senior Seminars

The universally accepted definition of gamification is the use of game design elements in non-game contexts. A non-game context refers to any context with an expected use other than simple entertainment (Giannetto et al., 2013, p.197). Gamification is a relatively new term, coined in the early 2000's, which did not gain popular recognition until 2010. The application of gamification is far-reaching, with the potential to revolutionize traditional corporate and educational strategies. The key goal of gamification is user-engagement, which is a factor that many current approaches overlook. It aims to change not only the involvement of users, but to change …

Major Advancements In Personal Computing, Brandon Brooks

Senior Seminars

This research essay expounds on the history and the journey of the Personal Computer. You will read about some of the most important items that the author felt contributed to the advancement of the PC over the years. The dates of the information ranges from the late 1960s up until the last year or so. The author talks about hardware components and software components, but the bulk of the material in this paper explains the history of each major milestone and what contributed to making it better, or more useful than the last. Each sub-topic will bring us closer to …

Writing Self-Testing Java Classes With Selftest, Yoonsik Cheon

Departmental Technical Reports (CS)

This document provides a tutorial introduction to Java annotations called SelfTest. The SelfTest annotations allow one to annotate Java classes with test data, and the SelfTest annotation processor generates executable JUnit test classes from annotated Java classes by translating test cases to executable JUnit tests. The SelfTest annotations not only automate unit testing of Java classes significantly but also provides a step toward writing self-testing Java classes by embedding test data in source code for both compile and runtime processing.

[Sabbatical Report], Huanjing Wang

Sabbatical Reports

My sabbatical leave was conducted during Spring semester 2014. The leave was successful because it strengthened my research in data mining and software engineering domains and resulted four full-paper publications in peer-reviewed international conferences and one journal paper (to be submitted to a peer-reviewed journal). The purpose of my sabbatical was to complete two main projects: (1) Investigate the stability and defect prediction model performance of feature selection techniques together on real-world software metrics data and (2) Design a novel, robust, and efficient metric selection method for imbalanced data.

Automatic Objects Removal For Scene Completion, Jianjun Yang, Yin Wang, Honggang Wang, Kun Hua, Wei Wang, Ju Shen

Computer Science Faculty Publications

With the explosive growth of Web-based cameras and mobile devices, billions of photographs are uploaded to the Internet. We can trivially collect a huge number of photo streams for various goals, such as 3D scene reconstruction and other big data applications. However, this is not an easy task due to the fact the retrieved photos are neither aligned nor calibrated. Furthermore, with the occlusion of unexpected foreground objects like people, vehicles, it is even more challenging to find feature correspondences and reconstruct realistic scenes. In this paper, we propose a structure-based image completion algorithm for object removal that produces visually …

3d Visualization Architecture For Building Applications Leveraging An Existing Validated Toolkit, David A. Polyak

Master's Theses (2009 -)

The diagnostic radiology space and healthcare in general is a slow adopter of new software technologies and patterns. Despite the widespread embrace of mobile technology in recent years, altering the manner in which societies in developed countries live and communicate, diagnostic radiology has not unanimously adopted mobile technology for remote diagnostic review. Desktop applications in the diagnostic radiology space commonly leverage a validated toolkit. Such toolkits not only simplify desktop application development but minimize the scope of application validation. For these reasons, such a toolkit is an important piece of a company’s software portfolio. This thesis investigated an approach for …

The Role Of App Development And Mobile Computing In Motivating The Secondary Mathematics Classroom, Jennifer Lee Marquez

Theses and Dissertations - UTB/UTPA

An increasing amount of high school students are interested in developing their own mobile application. Incorporating mobile development into the classroom can increase student engagement in the fields of science, technology, engineering, and mathematics. In this paper I present a study done with a group of sophomore level students who created their own mathematics apps with no programming experience. The aim of this study is to assess the knowledge gained and motivational appeal of secondary mathematics students taught basic state of Texas exam concepts with the use of the proposed mobile development labs. Students in this study used algebraic and …

Automated Mentor Assignment In Blended Learning Environments, Chris Boesch, Kevin Steppe

Research Collection School Of Computing and Information Systems

In this paper we discuss the addition of automatic assignment of mentors during inclass lab work to an existing online platform for programing practice. SingPath is an web based tool for users to practice programming in several software languages. The platform started as a tool to provide students with online feedback on solutions to programming problems and expanded over time to support different of blended learning needs for a variety of classes and classroom settings. The SingPath platform supports traditional self-directed learning mechanisms such as badges and completion metrics as well as features for use in classrooms, such as tournaments. …

Cimloc: A Crowdsourcing Indoor Digital Map Construction System For Localization, Xiuming Zhang, Yunye Jin, Hwee Xian Tan, Wee-Seng Soh

Research Collection School Of Computing and Information Systems

Indoor maps, as crucial prerequisites for many indoor localization and navigation systems, are sometimes inaccessible. The absence of an indoor map database and the high cost of manually constructing an indoor map produce a need for an inexpensive and efficient way to dynamically construct indoor maps. The ubiquity of sensor-equipped mobile devices enables us to crowdsource user trajectories, out of which indoor digital maps can be automatically constructed at low costs. Similar to other crowdsourced data, the collected user trajectories are often noisy and of low fidelity, which poses a challenge to the accurate map construction. To alleviate this problem, …

Where Am I? : Studying Users’ Indoor Navigation Location Needs, Kartik Muralidharan, Archan Misra, Rajesh Krishna Balan

Research Collection School Of Computing and Information Systems

Location has emerged as the single-most important context whilst building pervasive mobile applications. Several mobile applications have appeared that use location to provide a host of services such as location-specific advertising as well as navigation. As a result, the key challenge of positioning techniques has been to provide the most precise location of the user (device) and much effort has been put in computing this fine grained location in indoor environments. This is under the assumption that highly accurate location is crucial for all indoor services. To understand the location accuracy, that should prove sufficient, for users to navigate to …

A Trust-Aware System For Personalized User Recommendations In Social Networks, Magdalini Eirinaki, Malamati Louta, Iraklis Varlamis

Faculty Publications

Social network analysis has recently gained a lot of interest because of the advent and the increasing popularity of social media, such as blogs, social networking applications, microblogging, or customer review sites. In this environment, trust is becoming an essential quality among user interactions and the recommendation for useful content and trustful users is crucial for all the members of the network. In this paper, we introduce a framework for handling trust in social networks, which is based on a reputation mechanism that captures the implicit and explicit connections between the network members, analyzes the semantics and dynamics of these …

Are Timed Automata Bad For A Specification Language? Language Inclusion Checking For Timed Automata, Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li

Research Collection School Of Computing and Information Systems

Given a timed automaton P modeling an implementation and a timed automaton S as a specification, language inclusion checking is to decide whether the language of P is a subset of that of S. It is known that this problem is undecidable and “this result is an obstacle in using timed automata as a specification language” [2]. This undecidability result, however, does not imply that all timed automata are bad for specification. In this work, we propose a zone-based semi-algorithm for language inclusion checking, which implements simulation reduction based on Anti-Chain and LU-simulation. Though it is not guaranteed to terminate, …

Profit-Maximizing Incentive For Participatory Sensing, Tie Luo, Hwee-Pink Tan, Lirong Xia

Research Collection School Of Computing and Information Systems

We design an incentive mechanism based on all-pay auctions for participatory sensing. The organizer (principal) aims to attract a high amount of contribution from participating users (agents) while at the same time lowering his payout, which we formulate as a profit-maximization problem. We use a contribution-dependent prize function in an environment that is specifically tailored to participatory sensing, namely incomplete information (with information asymmetry), risk-averse agents, and stochastic population. We derive the optimal prize function that induces the maximum profit for the principal, while satisfying strict individual rationality (i.e., strictly have incentive to participate at equilibrium) for both risk-neutral and …

Machine Learning In Wireless Sensor Networks: Algorithms, Strategies, And Applications, Mohammad Abu Alsheikh, Shaowei Lin, Dusit Niyato, Hwee-Pink Tan

Research Collection School Of Computing and Information Systems

Wireless sensor networks (WSNs) monitor dynamic environments that change rapidly over time. This dynamic behavior is either caused by external factors or initiated by the system designers themselves. To adapt to such conditions, sensor networks often adopt machine learning techniques to eliminate the need for unnecessary redesign. Machine learning also inspires many practical solutions that maximize resource utilization and prolong the lifespan of the network. In this paper, we present an extensive literature review over the period 2002-2013 of machine learning methods that were used to address common issues in WSNs. The advantages and disadvantages of each proposed algorithm are …

Teaching Analysis Of Software Designs Using Dependency Graph, Kevin Steppe

Research Collection School Of Computing and Information Systems

We present the use of a new type of dependency graph to aid students in analyzing the modifiability of software designs. Though a variety of software design concepts, such as information hiding, separation of concerns and patterns are taught to undergraduate students, they often have difficulty applying these concepts to the analysis of designs and particularly to comparing designs, perhaps due to the subjective nature of these concepts. Our new technique complements design structure matrix and ‘uses’ techniques to handle asymmetric dependency impacts and provide a deterministic approach to comparing alternative designs. A major goal of this technique was for …

Semantic Privacy Policies For Service Description And Discovery In Service-Oriented Architecture, Diego Z. Garcia, Miriam A M Capretz, M. Beatriz F. Toledo

Electrical and Computer Engineering Publications

Privacy preservation in Service-Oriented Architecture (SOA) is an open problem. This paper focuses on the areas of service description and discovery. The problems in these areas are that currently it is not possible to describe how a service provider deals with information received from a service consumer as well as discover a service that satisfies the privacy preferences of a consumer. There is currently no framework which offers a solution that supports a rich description of privacy policies and their integration in the process of service discovery. Thus, the main goal of this paper is to propose a privacy preservation …

Clonepedia: Summarizing Code Clones By Common Syntactic Context For Software Maintenance, Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Jun Sun, Wenyun Zhao, Jin Song Dong

Research Collection School Of Computing and Information Systems

Code clones have to be made explicit and be managed in software maintenance. Researchers have developed many clone detection tools to detect and analyze code clones in software systems. These tools report code clones as similar code fragments in source files. However, clone-related maintenance tasks (e.g., refactorings) often involve a group of code clones appearing in larger syntactic context (e.g., code clones in sibling classes or code clones calling similar methods). Given a list of low-level code-fragment clones, developers have to manually summarize from bottom up low-level code clones that are relevant to the syntactic context of a maintenance task. …

Extending Ocl To Better Express Uml Qualified Associations, Alla Dove, Aditi Barua, Yoonsik Cheon

Departmental Technical Reports (CS)

A qualified association in the Unified Modeling Language (UML) is an association that allows one to restrict the objects referred in an association using a key called a qualifier. A qualified association can appear in a constraint written in the Object Constraint Language (OCL) to specify a precise UML model. However, the OCL notation fails to provide appropriate support for expressing certain types of constraints written using qualified associations. In this paper we first describe a deficiency of OCL in expressing qualified associations and then propose a small extension to OCL to make it more expressive. The key idea of …