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

Computer Sciences Commons™

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

Software Engineering

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 2641 - 2670 of 4315

Full-Text Articles in Computer Sciences

Srcmx: A Gui Application For Srcml, Brian Kovacs Jan 2016

Srcmx: A Gui Application For Srcml, Brian Kovacs

Williams Honors College, Honors Research Projects

srcMX is a GUI application that utilizes the srcML command-line tool to convert and display source code using the srcML format. The goal is for srcMX to promote the manipulation and exploration of source code using srcML. I also hope that the user-friendly nature inherent to GUI applications allows srcMX to introduce a larger audience to the many features offered by srcML. The application is written in C++ using the Qt and Qt Quick frameworks.

Go to article

Evaluating And Improving The Efficiency Of Software And Algorithms For Sequence Data Analysis, Hugh L. Eaves Jan 2016

Evaluating And Improving The Efficiency Of Software And Algorithms For Sequence Data Analysis, Hugh L. Eaves

Theses and Dissertations

With the ever-growing size of sequence data sets, data processing and analysis are an increasingly large portion of the time and money spent on nucleic acid sequencing projects. Correspondingly, the performance of the software and algorithms used to perform that analysis has a direct effect on the time and expense involved. Although the analytical methods are widely varied, certain types of software and algorithms are applicable to a number of areas. Targeting improvements to these common elements has the potential for wide reaching rewards. This dissertation research consisted of several projects to characterize and improve upon the efficiency of several …

Go to article

Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi Khatchadourian Jan 2016

Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi Khatchadourian

Publications and Research

Modern Java languages introduce several new features that offer significant improvements over older Java technology. In this article we consider the new enum construct, which provides language support for enumerated types. Prior to recent Java languages, programmers needed to employ various patterns (e.g., the weak enum pattern) to compensate for the absence of enumerated types in Java. Unfortunately, these compensation patterns lack several highly-desirable properties of the enum construct, most notably, type safety. We present a novel fully-automated approach for transforming legacy Java code to use the new enumeration construct. This semantics-preserving approach increases type safety, produces code that is …

Go to article

Sutm System Api At Unlv: Small Uas Traffic Management System Api, Monetta Angelique Shaw, Ju-Yeon Jo, Yoohwan Kim Jan 2016

Sutm System Api At Unlv: Small Uas Traffic Management System Api, Monetta Angelique Shaw, Ju-Yeon Jo, Yoohwan Kim

Computer Science Faculty Research

This file contains the set of APIs for small unmanned aircraft systems (UAS) Traffic Management (sUTM). The sUTM server hosts a web service that allows any software or device that can use the Internet to utilize the server’s sUAS traffic management (sUTM) functions through these application programming interfaces (API). This library was developed as part of the MS thesis by Monetta Shaw in Spring 2016, "A web based solution for small unmanned aircraft systems (sUAS) traffic management". The summary of the library and its usage instructions are described in the thesis.

Go to article

Powerforecaster: Predicting Power Impact Of Mobile Sensing Applications At Pre-Installation Time, Chulhong Min, Youngki Lee, Chungkuk Yoo, Seungwoo Kang, Inseok Hwang, Junehwa Song Jan 2016

Powerforecaster: Predicting Power Impact Of Mobile Sensing Applications At Pre-Installation Time, Chulhong Min, Youngki Lee, Chungkuk Yoo, Seungwoo Kang, Inseok Hwang, Junehwa Song

Research Collection School Of Computing and Information Systems

Today's smartphone application (hereinafter 'app') markets miss a key piece of information, power consumption of apps. This causes a severe problem for continuous sensing apps as they consume significant power without users' awareness. Users have no choice but to repeatedly install one app after another and experience their power use. To break such an exhaustive cycle, we propose PowerForecaster, a system that provides users with power use of sensing apps at pre-installation time. Such advanced power estimation is extremely challenging since the power cost of a sensing app largely varies with users' physical activities and phone use patterns. We observe …

Go to article

Insights From Machine-Learned Diet Success Prediction, Ingmar Weber, Palakorn Achananuparp Jan 2016

Insights From Machine-Learned Diet Success Prediction, Ingmar Weber, Palakorn Achananuparp

Research Collection School Of Computing and Information Systems

To support people trying to lose weight and stay healthy, more and more fitness apps have sprung up including the ability to track both calories intake and expenditure. Users of such apps are part of a wider “quantified self“ movement and many opt-in to publicly share their logged data. In this paper, we use public food diaries of more than 4,000 long-term active MyFitnessPal users to study the characteristics of a (un-)successful diet. Concretely, we train a machine learning model to predict repeatedly being over or under self-set daily calories goals and then look at which features contribute to the …

Go to article

Regular Symmetry Patterns, Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun Jan 2016

Regular Symmetry Patterns, Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun

Research Collection School Of Computing and Information Systems

Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework for capturing symmetry patterns in parameterised systems (i.e. an infinite family of finite-state systems): two regular word transducers to represent, respectively, parameterised systems and symmetry patterns. The framework subsumes various types of “symmetry relations” ranging from weaker notions (e.g. simulation preorders) to the strongest notion (i.e. isomorphisms). Our framework enjoys two algorithmic properties: (1) symmetry verification: given a transducer, we can automatically check whether it is a symmetry pattern of …

Go to article

Demo: Smartwatch Based Food Diary And Eating Analytics, Sougata Sen, Vigneshwaran Subbaraju, Archan Misra, Youngki Lee, Rajesh Krishna Balan Jan 2016

Demo: Smartwatch Based Food Diary And Eating Analytics, Sougata Sen, Vigneshwaran Subbaraju, Archan Misra, Youngki Lee, Rajesh Krishna Balan

Research Collection School Of Computing and Information Systems

Monitoring an individual’s daily dietary intake can provide various insights regarding the health of the individual. Applications such as My Fitness Pal exists, which allows individuals to monitor all items that the individual consumed. However, manual monitoring can be labour intensive. To overcome this limitation, wrist worn sensor based eating habit monitoring has been studied by various researchers. These systems can detect eating gesture, but they cannot determine what is being eaten. We have built a system which can (i) detect eating gesture using the smartwatch's inertial sensors (ii) use the smartwatch's camera to capture images of food consumed at …

Go to article

Demo: Towards Immersive And Interactive Gym Exercises, Fazlay Rabbi, Taiwoo Park, Biyi Fang, Mi Zhang, Youngki Lee, Rajiv Ranganathan Jan 2016

Demo: Towards Immersive And Interactive Gym Exercises, Fazlay Rabbi, Taiwoo Park, Biyi Fang, Mi Zhang, Youngki Lee, Rajiv Ranganathan

Research Collection School Of Computing and Information Systems

We demonstrate JARVIS, a novel virtual coaching system based on virtual reality (VR) and Internet of Things (IoT) technologies. It creates a truly immersive gym exercising experience for machine-based strength training and guides users in a highly interactive manner. With these unique advantages, we believe that JARVIS has a potential to revolutionize personal fitness experiences.

Go to article

Elderly Medication Adherence With The Internet Of Things, Xiaoping Toh, Hwee Xian Tan, Hwee-Pink Tan, Hwee-Pink Tan Jan 2016

Elderly Medication Adherence With The Internet Of Things, Xiaoping Toh, Hwee Xian Tan, Hwee-Pink Tan, Hwee-Pink Tan

Research Collection School Of Computing and Information Systems

With the growth in elderly population in Singapore, healthcare expenditure and prevalence of age-related illnesses are expected to increase. Non-adherence among the elderly is a common issue that leads to adverse health complications, particularly among those with chronic conditions. However, existing studies typically focus on identifying predictors of medication adherence, and provide neither user-friendly nor actionable solutions that can be easily adopted by the elderly. In this paper, we use the Internet of Things to monitor medication adherence and detect changes in medication consumption patterns among the elderly, thus enabling timely interventions by caregivers to take place. Sensor-enabled medication boxes …

Go to article

Press: Personalized Event Scheduling Recommender System (Demonstration), Hoong Chuin Lau, Aldy Gunawan, Pradeep Varakantham, Wenjie Wang Jan 2016

Press: Personalized Event Scheduling Recommender System (Demonstration), Hoong Chuin Lau, Aldy Gunawan, Pradeep Varakantham, Wenjie Wang

Research Collection School Of Computing and Information Systems

This paper presents a personalized event scheduling recom-mender system, PRESS, for a large conference setting with multiple parallel tracks. PRESS is a mobile application that gathers personalized information from a user and recommends talks/demos to be attend. The input from a user include a list of keyword preferences and (optionally) preferred talks. We use the MALLET topic model package to analyze the set of conference papers and classify them based on automatically identified topics. We propose an algorithm to generate a list of recommended papers based on the user keywords and the MALLET topics. An optimization model is then applied …

Go to article

Users Acceptance Of Health Behavioral Change Support Systems, Mohammad Al-Ramahi, Insu Park, Jun Liu Jan 2016

Users Acceptance Of Health Behavioral Change Support Systems, Mohammad Al-Ramahi, Insu Park, Jun Liu

Research & Publications

Behavioral Change Support Systems (BCSSs) is a socio-technical information systems with psychological and behavioral outcomes aim to change users’ behavior and lifestyle. The promising outcomes of BCSSs make them especially useful in certain areas such as healthcare, where these systems could be leveraged to motivate people toward healthy behavior and then help them to achieve their goals better. However, health BCSSs cannot help facilitate self-monitoring and self-management or even improve patients’ health outcomes when patients do not accept the technology first. In this article, we extend the existing literature of users’ acceptance of health BCSSs by introducing new variables that …

Go to article

Interactively Cutting And Constraining Vertices In Meshes Using Augmented Matrices, Yu-Hong Yeung, Jessica Crouch, Alex Pothen Jan 2016

Interactively Cutting And Constraining Vertices In Meshes Using Augmented Matrices, Yu-Hong Yeung, Jessica Crouch, Alex Pothen

Computer Science Faculty Publications

We present a finite-element solution method that is well suited for interactive simulations of cutting meshes in the regime of linear elastic models. Our approach features fast updates to the solution of the stiffness system of equations to account for real-time changes in mesh connectivity and boundary conditions. Updates are accomplished by augmenting the stiffness matrix to keep it consistent with changes to the underlying model, without refactoring the matrix at each step of cutting. The initial stiffness matrix and its Cholesky factors are used to implicitly form and solve a Schur complement system using an iterative solver. As changes …

Go to article

Salient Pairwise Spatio-Temporal Interest Points For Real-Time Activity Recognition, Mengyuan Liu, Hong Liu, Qianru Sun, Tianwei Zhang, Runwei Ding Jan 2016

Salient Pairwise Spatio-Temporal Interest Points For Real-Time Activity Recognition, Mengyuan Liu, Hong Liu, Qianru Sun, Tianwei Zhang, Runwei Ding

Research Collection School Of Computing and Information Systems

Real-time Human action classification in complex scenes has applications in various domains such as visual surveillance, video retrieval and human robot interaction. While, the task is challenging due to computation efficiency, cluttered backgrounds and intro-variability among same type of actions. Spatio-temporal interest point (STIP) based methods have shown promising results to tackle human action classification in complex scenes efficiently. However, the state-of-the-art works typically utilize bag-of-visual words (BoVW) model which only focuses on the word distribution of STIPs and ignore the distinctive character of word structure. In this paper, the distribution of STIPs is organized into a salient directed graph, …

Go to article

Demo: Profiling Power Utilization Behaviours Of Smartwatch Applications, Joseph Joo Keng Chan, Lingxiao Jiang, Rajesh Krishna Balan, Youngki Lee, Archan Misra Jan 2016

Demo: Profiling Power Utilization Behaviours Of Smartwatch Applications, Joseph Joo Keng Chan, Lingxiao Jiang, Rajesh Krishna Balan, Youngki Lee, Archan Misra

Research Collection School Of Computing and Information Systems

Smartwatches complement the main mobile phone and are able to profile user-activity as well as provide links, updates and notifications with work or personal utilities (e.g. Email, Social Media, Messaging etc.). Although very promising, smartwatches are still limited by low battery life. This is due to the small size of the battery as well as the need to continuously perform sensing. Battery drain issues by apps as well as the system are a common complaint by users. Improved tools for power analysis and profiling of smartwatch apps can help both developers (by providing a platform for pre-release analysis) and users …

Go to article

Demo: Sensing Gamers' Emotions Using Physiological Sensors, Sinh Huynh, Rajesh Krishna Balan, Youngki Lee Jan 2016

Demo: Sensing Gamers' Emotions Using Physiological Sensors, Sinh Huynh, Rajesh Krishna Balan, Youngki Lee

Research Collection School Of Computing and Information Systems

Understanding emotions of gamers can benefit game designers in various ways. How gamers feel while they playing a game can be treated as valuable user feedback to improve the development process of that game. Sensing player emotions also enables game designers to create adaptive game that can adjust itself to provide best gaming experience based on player emotions. However, how to effectively evaluate emotions of gamers is still an open research challenge. Two common techniques to evaluate emotional state are using self-assessments such as questionnaires or interviews, and to recognize expressed emotions by analyzing videos or images of facial expression, …

Go to article

Demo: Sound Localization Using Smartphone, Amit Sharma, Youngki Lee Jan 2016

Demo: Sound Localization Using Smartphone, Amit Sharma, Youngki Lee

Research Collection School Of Computing and Information Systems

Smartphones based sound direction estimation can be helpful in many situations. For example, a deaf person in a meeting room can look at the smartphone to find out which direction the speaker is in and then he can look in appropriate direction to read lips/gestures of the speaker. Many smartphones today come with two built-in microphones located at physically different positions. This difference in position can cause time difference of arrival (TDOA) of sound on both microphones. Value of TDOA for two microphones may vary depending on the location of sound source with respect to the smartphone. This time difference …

Go to article

Ambiguityvis: Visualization Of Ambiguity In Graph Layouts, Yong Wang, Qiaomu Shen, Zhiguang Zhou, Min Zhu, Sixiao Yang, Qu Huamin Jan 2016

Ambiguityvis: Visualization Of Ambiguity In Graph Layouts, Yong Wang, Qiaomu Shen, Zhiguang Zhou, Min Zhu, Sixiao Yang, Qu Huamin

Research Collection School Of Computing and Information Systems

Node-link diagrams provide an intuitive way to explore networks and have inspired a large number of automated graph layout strategies that optimize aesthetic criteria. However, any particular drawing approach cannot fully satisfy all these criteria simultaneously, producing drawings with visual ambiguities that can impede the understanding of network structure. To bring attention to these potentially problematic areas present in the drawing. this paper presents a technique that highlights common types of visual ambiguities: ambiguous spatial relationships between nodes and edges, visual overlap between community structures, and ambiguity in edge bundling and metanodes. Metrics, including newly proposed metrics for abnormal edge …

Go to article

Synergizing Specification Miners Through Model Fissions And Fusions, Le Bui Tien Duy, Le Dinh Xuan Bach, David Lo, Ivan Beschastnikh Jan 2016

Synergizing Specification Miners Through Model Fissions And Fusions, Le Bui Tien Duy, Le Dinh Xuan Bach, David Lo, Ivan Beschastnikh

Research Collection School Of Computing and Information Systems

Software systems are often developed and released without formal specifications. For those systems that are formally specified, developers have to continuously maintain and update the specifications or have them fall out of date. To deal with the absence of formal specifications, researchers have proposed techniques to infer the missing specifications of an implementation in a variety of forms, such as finite state automaton (FSA). Despite the progress in this area, the efficacy of the proposed specification miners needs to improve if these miners are to be adopted. We propose SpecForge, a new specification mining approach that synergizes many existing specification …

Go to article

Communication Patterns And Strategies In Software Development Communities Of Practice, Shreya Kumar Jan 2016

Communication Patterns And Strategies In Software Development Communities Of Practice, Shreya Kumar

Dissertations, Master's Theses and Master's Reports

Some of the greatest challenges in the relatively new field of software development lie in the decidedly old technology of communication between humans. Software projects require sophisticated and varied communication skills because software developers work in a world of incomplete, imperfect information where teams evolve rapidly in response to evolving requirements and changing collaborators. While prescriptive models for software process such as Agile suggest ways of doing, in reality these codified practices must adapt to the complexities of a real workplace. Patterns, rather than rules of behavior within software process are more suitable to the varied and mutable nature of …

Go to article

On The Limits And Practice Of Automatically Designing Self-Stabilization, Alex Klinkhamer Jan 2016

On The Limits And Practice Of Automatically Designing Self-Stabilization, Alex Klinkhamer

Dissertations, Master's Theses and Master's Reports

A protocol is said to be self-stabilizing when the distributed system executing it is guaranteed to recover from any fault that does not cause permanent damage. Designing such protocols is hard since they must recover from all possible states, therefore we investigate how feasible it is to synthesize them automatically. We show that synthesizing stabilization on a fixed topology is NP-complete in the number of system states. When a solution is found, we further show that verifying its correctness on a general topology (with any number of processes) is undecidable, even for very simple unidirectional rings. Despite these negative results, …

Go to article

All Your Sessions Are Belong To Us: Investigating Authenticator Leakage Through Backup Channels On Android, Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo Dec 2015

All Your Sessions Are Belong To Us: Investigating Authenticator Leakage Through Backup Channels On Android, Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo

Research Collection School Of Computing and Information Systems

Security of authentication protocols heavily relies on the confidentiality of credentials (or authenticators) like passwords and session IDs. However, unlike browser-based web applications for which highly evolved browsers manage the authenticators, Android apps have to construct their own management. We find that most apps simply locate their authenticators into the persistent storage and entrust underlying Android OS for mediation. Consequently, these authenticators can be leaked through compromised backup channels. In this work, we conduct the first systematic investigation on this previously overlooked attack vector. We find that nearly all backup apps on Google Play inadvertently expose backup data to any …

Go to article

Gpu Accelerated On-The-Fly Reachability Checking, Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin Dec 2015

Gpu Accelerated On-The-Fly Reachability Checking, Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin

Research Collection School Of Computing and Information Systems

Model checking suffers from the infamous state space explosion problem. In this paper, we propose an approach, named GPURC, to utilize the Graphics Processing Units (GPUs) to speed up the reachability verification. The key idea is to achieve a dynamic load balancing so that the many cores in GPUs are fully utilized during the state space exploration.To this end, we firstly construct a compact data encoding of the input transition systems to reduce the memory cost and fit the calculation in GPUs. To support a large number of concurrent components, we propose a multi-integer encoding with conflict-release accessing approach. We …

Go to article

Predicting Energy Demand Peak Using M5 Model Trees, Sara S. Abdelkader, Katarina Grolinger, Miriam Am Capretz Dec 2015

Predicting Energy Demand Peak Using M5 Model Trees, Sara S. Abdelkader, Katarina Grolinger, Miriam Am Capretz

Electrical and Computer Engineering Publications

Predicting energy demand peak is a key factor for reducing energy demand and electricity bills for commercial customers. Features influencing energy demand are many and complex, such as occupant behaviours and temperature. Feature selection can decrease prediction model complexity without sacrificing performance. In this paper, features were selected based on their multiple linear regression correlation coefficients. This paper discusses the capabilities of M5 model trees in energy demand prediction for commercial buildings. M5 model trees are similar to regression trees; however they are more suitable for continuous prediction problems. The M5 model tree prediction was developed based on a selected …

Go to article

Battle Bot Ai – Patriot Bot, James Johnston Dec 2015

Battle Bot Ai – Patriot Bot, James Johnston

Computer Engineering

An entry in the the 'Battle Block AI' competition hosted by 'The AI Games'.

Go to article

Energy Forecasting For Event Venues: Big Data And Prediction Accuracy, Katarina Grolinger, Alexandra L'Heureux, Miriam Am Capretz, Luke Seewald Dec 2015

Energy Forecasting For Event Venues: Big Data And Prediction Accuracy, Katarina Grolinger, Alexandra L'Heureux, Miriam Am Capretz, Luke Seewald

Electrical and Computer Engineering Publications

Advances in sensor technologies and the proliferation of smart meters have resulted in an explosion of energy-related data sets. These Big Data have created opportunities for development of new energy services and a promise of better energy management and conservation. Sensor-based energy forecasting has been researched in the context of office buildings, schools, and residential buildings. This paper investigates sensor-based forecasting in the context of event-organizing venues, which present an especially difficult scenario due to large variations in consumption caused by the hosted events. Moreover, the significance of the data set size, specifically the impact of temporal granularity, on energy …

Go to article

Students' Perspectives Of Mobile Learning Platforms: An Empirical Study, Muasaad Alrasheedi, Luiz Fernando Capretz, Arif Raza Dec 2015

Students' Perspectives Of Mobile Learning Platforms: An Empirical Study, Muasaad Alrasheedi, Luiz Fernando Capretz, Arif Raza

Electrical and Computer Engineering Publications

Educational institutions are becoming involved in adopting technological innovations like th e mobile learning (m-Learning) platform for education. Mobile technologies are the next frontier as infrast ructure for m-Learning because they can provide high-quality learning capab ilities to satisfy the rising student demand for mobility and flexibility due to the ubiquitous nature of mobile tec hnology (smartphones) and the va st opportunities it offers, there ar e indications that smartphones could lead the next generation for learning platforms. Researchers have examin ed the idea from several angles and produced a copious amount of literature devoted to explaining the interrelationships of …

Go to article

Management's Perspective On Critical Success Factors Affecting Mobile Learning In Higher Education Institutions - An Empirical Study, Muasaad Alrasheedi, Luiz Fernando Capretz, Arif Raza Dec 2015

Management's Perspective On Critical Success Factors Affecting Mobile Learning In Higher Education Institutions - An Empirical Study, Muasaad Alrasheedi, Luiz Fernando Capretz, Arif Raza

Electrical and Computer Engineering Publications

Mobile learning (m-Learning) is considered to be one of the fastest growing learning platforms. The immense interest in m-Learning is attributed to the incredible rate of growth of mobile technology and its proliferation into every aspect of modern life. Despite this, m-Learning has not experienced a similar adoption rate in the education sector, chiefly higher education. Researchers have attempted to explain this anomaly by conducting several studies in the area. However, mostly the research in m-Learning is examined from the perspective of the students and educators. In this research, it is contended that there is a third important stakeholder group …

Go to article

Toward Unification Of Explicit And Implicit Invocation-Style Programming, Yoonsik Cheon Dec 2015

Toward Unification Of Explicit And Implicit Invocation-Style Programming, Yoonsik Cheon

Departmental Technical Reports (CS)

Subprograms like procedures and methods can be invoked explicitly or implicitly; in implicit invocation, an event implicitly causes the invocation of subprograms that are registered an interest in the event. Mixing these two styles is common in programming and often unavoidable in developing such software as GUI applications and event-based control systems. However, it isn't also uncommon for the mixed use to complicate programming logic and thus produce unclean code, code that is hard to read and understand. We show, through a small but realistic example, that the problem is not much on mixing two different styles itself but more …

Go to article

A Systematic Derivation Of Loop Specifications Using Patterns, Aditi Barua, Yoonsik Cheon Dec 2015

A Systematic Derivation Of Loop Specifications Using Patterns, Aditi Barua, Yoonsik Cheon

Departmental Technical Reports (CS)

Any non-trivial program contains loop control structures such as while, for and do statements. A formal correctness proof of code containing loop control structures is typically performed using an induction-based technique, and oftentimes the most challenging step of an inductive proof is formulating a correct induction hypothesis. An incorrectly-formulated induction hypothesis will surely lead to a failure of the proof. In this paper we propose a systematic approach for formulating and driving specifications of loop control structures for formal analysis and verification of programs. We explain our approach using while loops and a functional program verification technique in which a …

Go to article

First Prev Next Last