Understanding How Reverse Engineers Make Sense Of Programs From Assembly Language Representations,
2012
Air Force Institute of Technology
Understanding How Reverse Engineers Make Sense Of Programs From Assembly Language Representations, Adam R. Bryant
Theses and Dissertations
This dissertation develops a theory of the conceptual and procedural aspects involved with how reverse engineers make sense of executable programs. Software reverse engineering is a complex set of tasks which require a person to understand the structure and functionality of a program from its assembly language representation, typically without having access to the program's source code. This dissertation describes the reverse engineering process as a type of sensemaking, in which a person combines reasoning and information foraging behaviors to develop a mental model of the program. The structure of knowledge elements used in making sense of executable programs are …
Losing The Lake: Development And Deployment Of An Educational Game,
2012
University of Nevada, Reno
Losing The Lake: Development And Deployment Of An Educational Game, Joseph M. Vesco, Katie Gilgen, Anne Paine, Marissa Owens, Michael Nussbaum, Gale M. Sinatra, Sajjad Ahmad, Kent J. Crippen, Sergiu Dascalu, Frederick C. Harris
Civil and Environmental Engineering and Construction Faculty Research
When asked what the top three issues of the Las Vegas region were, the reply was “water, water, water!" This was the result of a survey done a few years ago of Las Vegas Valley TV anchors. The reason for this response is that sustainability of the urban environments requires sufficient water resources as does population growth. With the advent of global climate change, this resource is in danger. Water flow and mountainous ice packs are impacted by this change in climate there by impacting the amount of water the the region. This is compounded over time as the population …
3-D Scene Reconstruction From Aerial Imagery,
2012
Air Force Institute of Technology
3-D Scene Reconstruction From Aerial Imagery, Jared M. Ekholm
Theses and Dissertations
3-D scene reconstructions derived from Structure from Motion (SfM) and Multi-View Stereo (MVS) techniques were analyzed to determine the optimal reconnaissance flight characteristics suitable for target reconstruction. In support of this goal, a preliminary study of a simple 3-D geometric object facilitated the analysis of convergence angles and number of camera frames within a controlled environment. Reconstruction accuracy measurements revealed at least 3 camera frames and a 6 convergence angle were required to achieve results reminiscent of the original structure. The central investigative effort sought the applicability of certain airborne reconnaissance flight profiles to reconstructing ground targets. The data sets …
Hoare-Style Verification Of Graph Programs,
2012
Singapore Management University
Hoare-Style Verification Of Graph Programs, Christopher M. Poskitt, Detlef Plump
Research Collection School Of Computing and Information Systems
GP (for Graph Programs) is an experimental nondeterministic programming language for solving problems on graphs and graph-like structures. The language is based on graph transformation rules, allowing visual programming at a high level of abstraction. In particular, GP frees programmers from dealing with low-level data structures. In this paper, we present a Hoare-style proof system for verifying the partial correctness of (a subset of) graph programs. The pre- and postconditions of the calculus are nested graph conditions with expressions, a formalism for specifying both structural graph properties and properties of labels. We show that our proof system is sound with …
Utility-Based Bandwidth Adaptation In Mission-Oriented Wireless Sensor Networks,
2012
Telcordia Technologies
Utility-Based Bandwidth Adaptation In Mission-Oriented Wireless Sensor Networks, Sharanya Eswaran, Archan Misra, Flavio Bergamaschi, Thomas La Porta
Research Collection School Of Computing and Information Systems
This paper develops a utility-based optimization framework for resource sharing by multiple competing missions in a mission-oriented wireless sensor network (WSN) environment. Prior work on network utility maximization (NUM) based optimization has focused on unicast flows with sender-based utilities in either wireline or wireless networks. In this work, we develop a generalized NUM model to consider three key new features observed in mission-centric WSN environments: i) the definition of the utility of an individual mission (receiver) as a joint function of data from multiple sensor sources ii) the consumption of each senders (sensor) data by multiple missions and iii) the …
Dynamic Lookahead Mechanism For Conserving Power In Multi-Player Mobile Games,
2012
Singapore Management University
Dynamic Lookahead Mechanism For Conserving Power In Multi-Player Mobile Games, Karthik Thirugnanam, Bhojan Anand, Jeena Sebastian, Pravein Kannan, Akhihebbal L. Ananda, Rajesh Krishna Balan, Mun Choon Chan
Research Collection School Of Computing and Information Systems
As the current generation of mobile smartphones become more powerful, they are being used to perform more resource intensive tasks making battery lifetime a major bottleneck. In this paper, we present a technique called dynamic AoV lookahead for reducing wireless interface power consumption up to 50% while playing a popular, yet resource intensive, mobile multiplayer games.
Human: Creating Memorable Fingerprints Of Mobile Users,
2012
Singapore Management University
Human: Creating Memorable Fingerprints Of Mobile Users, Gupta Payas, Kiat Wee Tan, Narayanasamy Ramasubbu, David Lo, Debin Gao, Rajesh Krishna Balan
Research Collection School Of Computing and Information Systems
In this paper, we present a new way of generating behavioral (not biometric) fingerprints from the cellphone usage data. In particular, we explore if the generated behavioral fingerprints are memorable enough to be remembered by end users. We built a system, called HuMan, that generates fingerprints from cellphone data. To test HuMan, we conducted an extensive user study that involved collecting about one month of continuous usage data (including calls, SMSes, application usage patterns etc.) from 44 Symbian and Android smartphone users. We evaluated the memorable fingerprints generated from this rich multi-context data by asking each user to answer various …
Improved Duplicate Bug Report Identification,
2012
Singapore Management University
Improved Duplicate Bug Report Identification, Yuan Tian, Chengnian Sun, David Lo
Research Collection School Of Computing and Information Systems
Bugs are prevalent in software systems. To improve the reliability of software systems, developers often allow end users to provide feedback on bugs that they encounter. Users could perform this by sending a bug report in a bug report management system like Bugzilla. This process however is uncoordinated and distributed, which means that many users could submit bug reports reporting the same problem. These are referred to as duplicate bug reports. The existence of many duplicate bug reports may cause much unnecessary manual efforts as often a triager would need to manually tag bug reports as being duplicates. Recently, there …
Scenario-Based And Value-Based Specification Mining: Better Together,
2012
Singapore Management University
Scenario-Based And Value-Based Specification Mining: Better Together, David Lo, Shahar Maoz
Research Collection School Of Computing and Information Systems
Specification mining takes execution traces as input and extracts likely program invariants, which can be used for comprehension, verification, and evolution related tasks. In this work we integrate scenario-based specification mining, which uses a data-mining algorithm to suggest ordering constraints in the form of live sequence charts, an inter-object, visual, modal, scenario-based specification language, with mining of value-based invariants, which detects likely invariants holding at specific program points. The key to the integration is a technique we call scenario-based slicing, running on top of the mining algorithms to distinguish the scenario-specific invariants from the general ones. The resulting suggested specifications …
Mobicon: A Mobile Context-Monitoring Platform,
2012
Singapore Management University
Mobicon: A Mobile Context-Monitoring Platform, Youngki Lee, S. S. Iyengar, Chulhong Min, Younghyun Ju, Taiwoo Park, Jinwon Lee, Yunseok Rhee, Junehwa Song
Research Collection School Of Computing and Information Systems
User context is defined by data generated through everyday physical activity in sensor-rich, resource-limited mobile environments.
Users’ Perception Of Open Source Usability: An Empirical Study,
2012
National University of Science and Technology - Pakistan
Users’ Perception Of Open Source Usability: An Empirical Study, Arif Raza, Luiz Fernando Capretz, Faheem Ahmed
Electrical and Computer Engineering Publications
The number of open source software (OSS) users has increased in recent years. No longer are they limited to technically adept software developers. Many believe that the OSS market share could increase tremendously provided OSS had systems that were easier to use. Although examples of good usable open source software exist, it is agreed that OSS can be made more usable. This study presents an empirical investigation to study the impact of some key factors on OSS usability from the end users’ point of view. The research model studies and establishes the relationship between the key usability factors from the …
The Social Network Of Software Engineering Research,
2012
Singapore Management University
The Social Network Of Software Engineering Research, Subhajit Datta, Nishant Kumar, Santonu Sarkar
Research Collection School Of Computing and Information Systems
The social network perspective has served as a useful framework for studying scientific research collaboration in different disciplines. Although collaboration in computer science research has received some attention, software engineering research collaboration has remained unexplored to a large extent. In this paper, we examine the collaboration networks based on co-authorship information of papers from ten software engineering publication venues over the 1976-2010 time period. We compare time variations of certain parameters of these networks with corresponding parameters of collaboration networks from other disciplines. We also explore whether software engineering collaboration networks manifest symptoms of the small-world phenomenon, conform to the …
Arivu: Making Networked Mobile Games Green: A Scalable Power-Aware Middleware,
2012
National University of Singapore
Arivu: Making Networked Mobile Games Green: A Scalable Power-Aware Middleware, Anand Bhojan, Ananda L. Akhihebbal L., Mun Choon Chan, Rajesh Krishna Balan
Research Collection School Of Computing and Information Systems
With the improved processing power, graphic quality and high-speed wireless connection in recent generations of mobile phones, it looks more attractive than ever to introduce networked games on these devices. However, these games consume higher levels of energy. While device features and application resource requirements are rapidly growing, the battery technologies are not growing at the same pace. Therefore, the main concern is the limitation of the battery power of such portable devices to support potentially long-hour of game play. In this paper we present ARIVU, a scalable power aware middleware that dynamically controls the energy consumption of wireless interface …
Programming In A Socially Networked World: The Evolution Of The Social Programmer,
2012
Singapore Management University
Programming In A Socially Networked World: The Evolution Of The Social Programmer, Christoph Treude, Fernando Figueira Filho, Brendan Cleary, Margaret-Anne Storey
Research Collection School Of Computing and Information Systems
Social media has changed how software developers collaborate, how they coordinate their work, and where they find information. Social media sites, such as the Question and Answer (Q&A) portal Stack Overflow, fill archives with millions of entries that contribute to what we know about software development, covering a wide range of topics. For today’s software developers, reusable code snippets, introductory usage examples, and pertinent libraries are often just a web search away. In this position paper, we discuss the opportunities and challenges for software developers that rely on web content curated by the crowd, and we envision the future of …
Towards Fine-Grained Radio-Based Indoor Location,
2012
Singapore Management University
Towards Fine-Grained Radio-Based Indoor Location, Jie Xiong, Kyle Jamieson
Research Collection School Of Computing and Information Systems
Location systems are key to a rich experience for mobile users. When they roam outdoors, mobiles can usually count on a clear GPS signal for an accurate location, but indoors, GPS usually fades, and so up until recently, mobiles have had to rely mainly on rather coarse-grained signal strength readings for location. What has changed this status quo is the recent trend of dramatically increasing numbers of antennas at the indoor AP, mainly to bolster capacity and coverage with multiple-input, multiple-output (MIMO) techniques. In the near future, the number of antennas at the access point will increase several-fold, to meet …
Work Item Tagging: Communicating Concerns In Collaborative Software Development,
2012
Singapore Management University
Work Item Tagging: Communicating Concerns In Collaborative Software Development, Christoph Treude, Margaret-Anne Storey
Research Collection School Of Computing and Information Systems
In collaborative software development projects, work items are used as a mechanism to coordinate tasks and track shared development work. In this paper, we explore how “tagging,” a lightweight social computing mechanism, is used to communicate matters of concern in the management of development tasks. We present the results from two empirical studies over 36 and 12 months, respectively, on how tagging has been adopted and what role it plays in the development processes of several professional development projects with more than 1,000 developers in total. Our research shows that the tagging mechanism was eagerly adopted by the teams, and …
Mitigating The True Cost Of Advertisement-Supported "Free" Mobile Applications,
2012
Singapore Management University
Mitigating The True Cost Of Advertisement-Supported "Free" Mobile Applications, Azeem J. Khan, Vigneshwaran Subbaraju, Archan Misra, Srinivasan Seshan
Research Collection School Of Computing and Information Systems
The dominant, "ad-supported free application" model for consumer-oriented mobile computing is seemingly imperiled by the growing global adoption of metered data pricing plans by mobile operators. In this paper, we explore the opportunities for addressing this emerging conflict by enabling more intelligent ad delivery to such mobile devices. One especially promising path is leveraging the increasing availability of heterogeneous wireless access technologies (e.g., WiFi, femtocells) that offer less restrictive and more energy-efficient transport substrates for such data traffic. To understand the possibilities that exist, we first profile the advertisement traffic characteristics for some of the most popular advertisement-supported consumer applications, …
Formal Modeling And Validation Of Stateflow Diagrams,
2012
Singapore Management University
Formal Modeling And Validation Of Stateflow Diagrams, Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng
Research Collection School Of Computing and Information Systems
Stateflow is an industrial tool for modeling and simulating control systems in model-based development. In this paper, we present our latest work on automatic verification of Stateflow using model-checking techniques. We propose an approach to systematically translate Stateflow diagrams to a formal modeling language called CSP# by precisely following Stateflow’s execution semantics, which is described by examples. A translator is developed inside the Process Analysis Toolkit (PAT) model checker to automate this process with the support of various Stateflow advanced modeling features. Formal analysis can be conducted on the transformed CSP# with PAT’s simulation and model-checking power. Using our approach, …
New Open Source Software For Building Molecular Dynamics Systems,
2012
University of Denver
New Open Source Software For Building Molecular Dynamics Systems, Bruce Michael Allen
Electronic Theses and Dissertations
The context of this work is the development of open source software to support researchers to quickly build systems of molecules for molecular dynamics (MD) simulations. The goal is achieved through the integration of three open source programs by judicious modifications and creation of new source code, which allows the creation of molecular models, MD cells and the LAMMPS geometry input files. The software changes work together supporting an easy and intuitive process for simulation system creation. Creation of multiple MD cells for research simulations becomes quicker and provides needed standardization to the simulation process. The researcher can select from …
A Global Positioning System On The Lunar Sphere Utilizing Cubesats,
2012
California State University, San Bernardino
A Global Positioning System On The Lunar Sphere Utilizing Cubesats, Armani Giann Batista
Theses Digitization Project
The purpose of this thesis was to research the viability and feasibility of a new Lunar GPS that would utilize the CubeSat platform, newly emerging technology, and the consideration of satellites without the large, currently employed, chemically atomic clocks.
