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

Software Engineering Commons

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

1872 Full-Text Articles 2076 Authors 450600 Downloads 87 Institutions

All Articles in Software Engineering

Faceted Search

1872 full-text articles. Page 1 of 58.

Nonlocal Automated Comparative Static Analysis, Leigh Tesfatsion 2016 Iowa State University

Nonlocal Automated Comparative Static Analysis, Leigh Tesfatsion

Leigh Tesfatsion

This paper reviews work on the^ development of a program Nasa for the automated comparative static analysis of parametrized nonlinear systems over parameter intervals. Nasa incorporates a fast and efficient algorithm Feed for the automatic evaluation of higher-order partial derivatives, as well as an adaptive homotopy continuation algorithm for obtaining all required iiutial conditions. Applications are envisioned for fields such as economics where models tend to be complex and closed-form solutions are difficult to obtain...


Teaching Complex Theoretical Multi-Step Problems In Ict Networking Through 3d Printing And Augmented Reality, Michael Cowling, James Birt 2016 Central Queensland University

Teaching Complex Theoretical Multi-Step Problems In Ict Networking Through 3d Printing And Augmented Reality, Michael Cowling, James Birt

James Birt

This paper presents a pilot study rationale and research methodology using a mixed media visualisation (3D printing and Augmented Reality simulation) learning intervention to help students in an ICT degree represent theoretical complex multi-step problems without a corresponding real world physical analog model. This is important because these concepts are difficult to visualise without a corresponding mental model. The proposed intervention uses an augmented reality application programmed with free commercially available tools, tested through an action research methodology, to evaluate the effectiveness of the mixed media visualisation techniques to teach ICT students networking. Specifically, 3D models of network equipment will ...


Automatic Fracture Orientation Extraction From Sfm Point Clouds, Jon Kissi 2016 The University of Western Ontario

Automatic Fracture Orientation Extraction From Sfm Point Clouds, Jon Kissi

Electronic Thesis and Dissertation Repository

Geology seeks to understand the history of the Earth and its surface processes through charac- terisation of surface formations and rock units. Chief among the geologists’ tools are rock unit orientation measurements, such as Strike, Dip and Dip Direction. These allow an understanding of both surface and sub-structure on both the local and macro scale.

Although the way these techniques can be used to characterise geology are well understood, the need to collect these measurements by hand adds time and expense to the work of the geologist, precludes spontaneity in field work, and coverage is limited to where the geologist ...


Connecting Program Synthesis And Reachability: Automatic Program Repair Using Test-Input Generation, ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest 2016 University of Nebraska - Lincoln

Connecting Program Synthesis And Reachability: Automatic Program Repair Using Test-Input Generation, Thanhvu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest

CSE Technical reports

We prove that certain formulations of program synthesis and reachability are equivalent. Specifically, our constructive proof shows the reductions between the template-based synthesis problem, which generates a program in a pre-specified form, and the reachability problem, which decides the reachability of a program location. This establishes a link between the two research fields and allows for the transfer of techniques and results between them.

To demonstrate the equivalence, we develop a program repair prototype using reachability tools. We transform a buggy program and its required specification into a specific program containing a location reachable only when the original program can ...


Computer-Aided Design Of Algorithms Of Pulsed Control Of Arc Welding Process Based On Numerical Simulation, Oksana I. Shpigunova, Anatoliy A. Glazunov 2016 Tomsk State University

Computer-Aided Design Of Algorithms Of Pulsed Control Of Arc Welding Process Based On Numerical Simulation, Oksana I. Shpigunova, Anatoliy A. Glazunov

The 8th International Conference on Physical and Numerical Simulation of Materials Processing

No abstract provided.


Code Metrics For Predicting Risk Levels Of Android Applications, Akond A. Rahman 2016 North Carolina State University

Code Metrics For Predicting Risk Levels Of Android Applications, Akond A. Rahman

KSU Conference on Cybersecurity Education, Research and Practice

Android applications pose security and privacy risks for end-users. Early prediction of risk levels that are associated with Android applications can help Android developers is releasing less risky applications to end-users. Researchers have showed how code metrics can be used as early predictors of failure prone software components. Whether or not code metrics can be used to predict risk levels of Android applications requires systematic exploration. The goal of this paper is to aid Android application developers in assessing the risk associated with developed Android applications by identifying code metrics that can be used as predictors to predict two levels ...


Integrated Software Fingerprinting Via Neural-Network-Based Control Flow Obfuscation, Haoyu MA, Ruiqi LI, Xiaoxu YU, Chunfu JIA, Debin GAO 2016 Singapore Management University

Integrated Software Fingerprinting Via Neural-Network-Based Control Flow Obfuscation, Haoyu Ma, Ruiqi Li, Xiaoxu Yu, Chunfu Jia, Debin Gao

Research Collection School Of Information Systems

Dynamic software fingerprinting has been an important tool in fighting against software theft and pirating by embedding unique fingerprints into software copies. However, existing work uses methods from dynamic software watermarking as direct solutions in which secret marks are inside rather independent code modules attached to the software. This results in an intrinsic weakness against targeted collusive attacks since differences among software copies correspond directly to the fingerprint-related components. In this paper, we suggest a novel mode of dynamic fingerprinting called integrated fingerprinting, of which the goal is to ensure all fingerprinted software copies possess identical behaviors at semantic level ...


Hifocap: An Android App For Wearable Health Devices, Yoonsik Cheon, Rodrigo A. Romero 2016 University of Texas at El Paso

Hifocap: An Android App For Wearable Health Devices, Yoonsik Cheon, Rodrigo A. Romero

Departmental Technical Reports (CS)

Android is becoming a platform for mobile health-care devices and apps. However, there are many challenges in developing soft real-time, health-care apps for non-dedicated mobile devices such as smartphones and tablets. In this paper we share our experiences in developing the HifoCap app, a mobile app for receiving electroencephalogram (EEG) wave samples from a wearable device, visualizing the received EEG samples, and transmitting them to a cloud storage server. The app is network and data-intensive. We describe the challenges we faced while developing the HifoCap app---e.g., ensuring the soft real-time requirement in the presence of uncertainty on the Android ...


Hybrid Planning For Decision Making In Self-Adaptive Systems, Ashutosh Pandey, Gabriel A. Moreno, Javier Camara, David Garlan 2016 Carnegie Mellon University

Hybrid Planning For Decision Making In Self-Adaptive Systems, Ashutosh Pandey, Gabriel A. Moreno, Javier Camara, David Garlan

Gabriel A. Moreno

Run-time generation of adaptation plans is a powerful mechanism that helps a self-adaptive system to meet its goals in a dynamically changing environment. In the past, researchers have demonstrated successful use of various automated planning techniques to generate adaptation plans at run time. However, for a planning technique, there is often a trade-off between timeliness and optimality of the solution. For some self-adaptive systems, ideally, one would like to have a planning approach that is both quick and finds an optimal adaptation plan. To find the right balance between these conflicting requirements, this paper introduces a hybrid planning approach that ...


Agora: A Knowledge Marketplace For Machine Learning, Mauro Ribeiro 2016 The University of Western Ontario

Agora: A Knowledge Marketplace For Machine Learning, Mauro Ribeiro

Electronic Thesis and Dissertation Repository

More and more data are becoming part of people's lives. With the popularization of technologies like sensors, and the Internet of Things, data gathering is becoming possible and accessible for users. With these data in hand, users should be able to extract insights from them, and they want results as soon as possible. Average users have little or no experience in data analytics and machine learning and are not great observers who can collect enough data to build their own machine learning models. With large quantities of similar data being generated around the world and many machine learning models ...


Ifly: Code Development For An App To Support Automating Entomological Data Collection, Michael P. Cosentino, Trevor I. Stamper 2016 New Mexico State University

Ifly: Code Development For An App To Support Automating Entomological Data Collection, Michael P. Cosentino, Trevor I. Stamper

The Summer Undergraduate Research Fellowship (SURF) Symposium

We are developing a prototype entomological data-collection application called "iFly," which runs on a field-capable iPad device. In this phase, we tackled refining screens and introducing a database manager to streamline operations as info is entered, stored, retrieved and delivered. We used SQLite3 database in Apple's Xcode Integrated Development Environment (IDE). Xcode gives mixed programming results. Apple's iOS environment ensures functional and fairly error-free apps can be built. But the sophisticated Xcode IDE requires specialist developers and valuable project time is spent as new programmers learn key techniques. The iFly prototype was advanced with improved database integration; however ...


Passive Visual Analytics Of Social Media Data For Detection Of Unusual Events, Kush Rustagi, Junghoon Chae 2016 Purdue University

Passive Visual Analytics Of Social Media Data For Detection Of Unusual Events, Kush Rustagi, Junghoon Chae

The Summer Undergraduate Research Fellowship (SURF) Symposium

Now that social media sites have gained substantial traction, huge amounts of un-analyzed valuable data are being generated. Posts containing images and text have spatiotemporal data attached as well, having immense value for increasing situational awareness of local events, providing insights for investigations and understanding the extent of incidents, their severity, and consequences, as well as their time-evolving nature. However, the large volume of unstructured social media data hinders exploration and examination. To analyze such social media data, the S.M.A.R.T system provides the analyst with an interactive visual spatiotemporal analysis and spatial decision support environment that ...


Comon+: A Cooperative Context Monitoring System For Multi-Device Personal Sensing Environments, Youngki LEE, Seungwoo KANG, Chulhong MIN, JU Younghyun, Inseok HWANG, Junehwa Song SONG 2016 Singapore Management University

Comon+: A Cooperative Context Monitoring System For Multi-Device Personal Sensing Environments, Youngki Lee, Seungwoo Kang, Chulhong Min, Ju Younghyun, Inseok Hwang, Junehwa Song Song

Research Collection School Of Information Systems

Continuous mobile sensing applications are emerging. Despite their usefulness, their real-world adoption has been slow. Many users are turned away by the drastic battery drain caused by continuous sensing and processing. In this paper, we propose CoMon+, a novel cooperative context monitoring system, which addresses the energy problem through opportunistic cooperation among nearby users. For effective cooperation, we develop a benefit-aware negotiation method to maximize the energy benefit of context sharing. CoMon+ employs heuristics to detect cooperators who are likely to remain in the vicinity for a long period of time, and the negotiation method automatically devises a cooperation plan ...


Pdroid, Joe Larry Allen 2016 University of Tennessee, Knoxville

Pdroid, Joe Larry Allen

Masters Theses

When an end user attempts to download an app on the Google Play Store they receive two related items that can be used to assess the potential threats of an application, the list of permissions used by the application and the textual description of the application. However, this raises several concerns. First, applications tend to use more permissions than they need and end users are not tech-savvy enough to fully understand the security risks. Therefore, it is challenging to assess the threats of an application fully by only seeing the permissions. On the other hand, most textual descriptions do not ...


Improving The Efficiency Of Ci With Uber-Commits, Matias Waterloo 2016 University of Nebraska - Lincoln

Improving The Efficiency Of Ci With Uber-Commits, Matias Waterloo

Computer Science and Engineering: Theses, Dissertations, and Student Research

Continuous Integration (CI) is a software engineering practice where developers break their coding tasks into small changes that can be integrated with the shared code repository on a frequent basis. The primary objectives of CI are to avoid integration problems caused by large change sets and to provide prompt developer feedback so that if a problem is detected, it can be easily and quickly resolved. In this thesis, we argue that while keeping changes small and integrating often is a wise approach for developers, the CI server may be more efficient operating on a different scale. In our approach, the ...


Efficient Decision-Making Under Uncertainty For Proactive Self-Adaptation, Gabriel A. Moreno, Javier Camara, David Garlan, Bradley Schmerl 2016 Software Engineering Institute

Efficient Decision-Making Under Uncertainty For Proactive Self-Adaptation, Gabriel A. Moreno, Javier Camara, David Garlan, Bradley Schmerl

Gabriel A. Moreno

Proactive latency-aware adaptation is an approach for self-adaptive systems that improves over reactive adaptation by considering both the current and anticipated adaptation needs of the system, and taking into account the latency of adaptation tactics so that they can be started with the necessary lead time. Making an adaptation decision with these characteristics requires solving an optimization problem to select the adaptation path that maximizes an objective function over a finite look-ahead horizon. Since this is a problem of selecting adaptation actions in the context of the probabilistic behavior of the environment, Markov decision processes (MDP) are a suitable approach ...


Comparing The Fieldscout Greenindex+ Chlorophyll Sensing App To The Minolta Spad Meter, Jessica D. Pille, John E. Sawyer, Daniel W. Barker 2016 Iowa State University

Comparing The Fieldscout Greenindex+ Chlorophyll Sensing App To The Minolta Spad Meter, Jessica D. Pille, John E. Sawyer, Daniel W. Barker

John E. Sawyer

With the improvement of mobile computing, the company Spectrum Technologies, Inc. has developed a precision Ag App which adapts an iPod, iPad, or iPhone camera to select for specific wavelengths of light from a corn leaf (Zea mays L.) in comparison to accompanying board for light/color comparison. The App computes a Dark Green Color Index (DGCI), indicating leaf greenness, which relates to the amount of chlorophyll and thus, indirectly, leaf nitrogen (N) content. The question posed for this study is: How accurate and convenient is the App compared to a proven technology, the Minolta 502 Soil-Plant Analysis Development (SPAD ...


Ciliate Codon Translator Program Manual, Quentin D. Altemose 2016 Ursinus College

Ciliate Codon Translator Program Manual, Quentin D. Altemose

Mathematics Summer Fellows

Understanding the evolutionary history of organisms allows us to better comprehend selective pressures and their effects on larger populations. In our study, we focused on analyzing the DNA of ciliate groups, which are single celled protozoans characterized by the presence of cilia on their outer membrane. We utilized the DNA of the organisms to analyze the changes in population genotype over time. We tested existing evolutionary models (designed to represent natural genetic variation over time in populations) against our data to identify the model with the best fit and likelihood. From the DNA and the evolutionary model with the highest ...


Climbing Up Cloud Nine: Performance Enhancement Techniques For Cloud Computing Environments, Mohamed Abusharkh 2016 The University of Western Ontario

Climbing Up Cloud Nine: Performance Enhancement Techniques For Cloud Computing Environments, Mohamed Abusharkh

Electronic Thesis and Dissertation Repository

With the transformation of cloud computing technologies from an attractive trend to a business reality, the need is more pressing than ever for efficient cloud service management tools and techniques. As cloud technologies continue to mature, the service model, resource allocation methodologies, energy efficiency models and general service management schemes are not yet saturated. The burden of making this all tick perfectly falls on cloud providers. Surely, economy of scale revenues and leveraging existing infrastructure and giant workforce are there as positives, but it is far from straightforward operation from that point. Performance and service delivery will still depend on ...


Mhealth Support System For Researchers And Participants, Taskina Fayezeen 2016 Marquette University

Mhealth Support System For Researchers And Participants, Taskina Fayezeen

Master's Theses (2009 -)

With the proliferation of mobile technologies, there is a significant increase of research using mobile devices in the medical and public health area. Mobile technology has improved the efficiency of healthcare delivery effectively. Mobile Health or mHealth is an interdisciplinary research area which has been active for more than a decade. Much research has been conducted and many software research tools (mHealth Support System) have been developed. Despite the time length, there is a significant gap in the mHealth research area regarding software research tools. Individual research groups are developing their own software research tool though there is a significant ...


Digital Commons powered by bepress