Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (30)
- Computer Engineering (22)
- Databases and Information Systems (22)
- Programming Languages and Compilers (22)
- Graphics and Human Computer Interfaces (15)
-
- Numerical Analysis and Scientific Computing (15)
- Systems Architecture (13)
- Other Computer Sciences (12)
- Information Security (11)
- Theory and Algorithms (10)
- Artificial Intelligence and Robotics (9)
- Social and Behavioral Sciences (9)
- Electrical and Computer Engineering (8)
- Digital Communications and Networking (7)
- OS and Networks (7)
- Computer and Systems Architecture (5)
- Communication (4)
- Operations Research, Systems Engineering and Industrial Engineering (4)
- Public Affairs, Public Policy and Public Administration (4)
- Business (3)
- Mathematics (3)
- Art and Design (2)
- Arts and Humanities (2)
- Communication Technology and New Media (2)
- Electrical and Electronics (2)
- Environmental Sciences (2)
- Geometry and Topology (2)
- Institution
-
- Singapore Management University (97)
- California Polytechnic State University, San Luis Obispo (12)
- Western University (8)
- City University of New York (CUNY) (6)
- Governors State University (5)
-
- University of Dayton (5)
- Old Dominion University (4)
- Portland State University (4)
- St. John Fisher University (4)
- University of Texas at El Paso (4)
- California State University, San Bernardino (2)
- Nova Southeastern University (2)
- Purdue University (2)
- United Arab Emirates University (2)
- University of Minnesota Morris Digital Well (2)
- University of Nebraska - Lincoln (2)
- Andrews University (1)
- Ateneo de Manila University (1)
- Central Washington University (1)
- Claremont Colleges (1)
- Embry-Riddle Aeronautical University (1)
- Florida Institute of Technology (1)
- Gallaudet University (1)
- Georgia Southern University (1)
- James Madison University (1)
- Kennesaw State University (1)
- Marquette University (1)
- Montana Tech Library (1)
- University of Connecticut (1)
- University of Kentucky (1)
- Keyword
-
- Software engineering (7)
- Software (6)
- Android (3)
- Computer Science (3)
- Governance (3)
-
- Java (3)
- Natural language processing (3)
- Programming (3)
- Application (2)
- Aspect-Oriented programming (2)
- Bug report management (2)
- Classification (2)
- Code search (2)
- Collaboration (2)
- Cybersecurity (2)
- Data mining (2)
- Defect Prediction (2)
- Empirical study (2)
- Event Detection (2)
- Fault localization (2)
- Formal specification (2)
- Gesture recognition (2)
- Internet (2)
- Java 8 (2)
- Lambda expressions (2)
- Machine learning (2)
- Mobile (2)
- Mobile Application (2)
- Mobile computing (2)
- Natural Language Processing (2)
- Publication
-
- Research Collection School Of Computing and Information Systems (95)
- Electrical and Computer Engineering Publications (8)
- Publications and Research (6)
- All Capstone Projects (5)
- Computer Engineering (5)
-
- Computer Science Faculty Publications (5)
- Computer Science and Software Engineering (5)
- Computer Science Undergraduate (4)
- Departmental Technical Reports (CS) (4)
- Engineering Management & Systems Engineering Faculty Publications (3)
- CCAC Theses and Dissertations (2)
- Dissertations and Theses (2)
- Dissertations and Theses Collection (Open Access) (2)
- Electronic Theses, Projects, and Dissertations (2)
- Master's Theses (2)
- Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal (2)
- The Summer Undergraduate Research Fellowship (SURF) Symposium (2)
- Theses (2)
- All Master's Theses (1)
- CMC Senior Theses (1)
- Clear Language Summaries (1)
- College of Graduate Studies: Theses & Dissertations (1)
- Computer Science & Software Engineering (1)
- Computer Science Faculty Publications and Presentations (1)
- Department of Information Systems & Computer Science Faculty Publications (1)
- Dissertations (1934 -) (1)
- Dissertations, Theses and Capstone Projects (Full IR Collection) (1)
- Honors Scholar Theses (1)
- Honors Theses and Capstones (1)
- Masters Theses & Specialist Projects (1)
- Publication Type
Articles 151 - 179 of 179
Full-Text Articles in Software Engineering
Code Coverage And Test Suite Effectiveness: Empirical Study With Real Bugs In Large Systems, Pavneet Singh Kochhar, Ferdian Thung, David Lo
Code Coverage And Test Suite Effectiveness: Empirical Study With Real Bugs In Large Systems, Pavneet Singh Kochhar, Ferdian Thung, David Lo
Research Collection School Of Computing and Information Systems
During software maintenance, testing is a crucial activity to ensure the quality of program code as it evolves over time. With the increasing size and complexity of software, adequate software testing has become increasingly important. Code coverage is often used as a yardstick to gauge the comprehensiveness of test cases and the adequacy of testing. A test suite quality is often measured by the number of bugs it can find (aka. kill). Previous studies have analysed the quality of a test suite by its ability to kill mutants, i.e., artificially seeded faults. However, mutants do not necessarily represent real bugs. …
The Case For Smartwatch-Based Diet Monitoring, Sougata Sen, Vigneshwaran Subbaraju, Archan Misra, Rajesh Krishna Balan, Youngki Lee
The Case For Smartwatch-Based Diet Monitoring, Sougata Sen, Vigneshwaran Subbaraju, Archan Misra, Rajesh Krishna Balan, Youngki Lee
Research Collection School Of Computing and Information Systems
We explore the use of gesture recognition on a wrist-worn smartwatch as an enabler of an automated eating activity (and diet monitoring) system. We show, using small-scale user studies, how it is possible to use the accelerometer and gyroscope data from a smartwatch to accurately separate eating episodes from similar non-eating activities, and to additionally identify the mode of eating (i.e., using a spoon, bare hands or chopsticks). Additionally, we investigate the likelihood of automatically triggering the smartwatch's camera to capture clear images of the food being consumed, for possible offline analysis to identify what (and how much) the user …
Using Infrastructure-Provided Context Filters For Efficient Fine-Grained Activity Sensing, Vigneshwaran Subbaraju, Sougata Sen, Archan Misra, Satyadip Chakraborty, Rajesh Krishna Balan
Using Infrastructure-Provided Context Filters For Efficient Fine-Grained Activity Sensing, Vigneshwaran Subbaraju, Sougata Sen, Archan Misra, Satyadip Chakraborty, Rajesh Krishna Balan
Research Collection School Of Computing and Information Systems
While mobile and wearable sensing can capture unique insights into fine-grained activities (such as gestures and limb-based actions) at an individual level, their energy overheads are still prohibitive enough to prevent them from being executed continuously. In this paper, we explore practical alternatives to addressing this challenge-by exploring how cheap infrastructure sensors or information sources (e.g., BLE beacons) can be harnessed with such mobile/wearable sensors to provide an effective solution that reduces energy consumption without sacrificing accuracy. The key idea is that many fine-grained activities that we desire to capture are specific to certain location, movement or background context: infrastructure …
A Web-Based Temperature Monitoring System For The College Of Arts And Letters, Rigoberto Solorio
A Web-Based Temperature Monitoring System For The College Of Arts And Letters, Rigoberto Solorio
Electronic Theses, Projects, and Dissertations
In general, server rooms have restricted access requiring that staff possess access codes, keys, etc. Normally, only administrators are provided access to protect the physical hardware and the data stored in the servers. Servers also have firewalls to restrict outsiders from accessing them via the Internet. Servers also cost a lot of money. For this reason, server rooms also need to be protected against overheating. This will prolong the lifecycle of the units and can prevent data loss from hardware failure.
The California State University San Bernardino (CSUSB), Specifically the College of Arts and Letters server room has faced power …
Sensorless Sensing With Wifi, Zimu Zhou, Chenshu Wu, Zheng Yang, Yunhao Liu
Sensorless Sensing With Wifi, Zimu Zhou, Chenshu Wu, Zheng Yang, Yunhao Liu
Research Collection School Of Computing and Information Systems
Can WiFi signals be used for sensing purpose? The growing PHY layer capabilities of WiFi has made it possible to reuse WiFi signals for both communication and sensing. Sensing via WiFi would enable remote sensing without wearable sensors, simultaneous perception and data transmission without extra communication infrastructure, and contactless sensing in privacypreserving mode. Due to the popularity of WiFi devices and the ubiquitous deployment of WiFi networks, WiFi-based sensing networks, if fully connected, would potentially rank as one of the world’s largest wireless sensor networks. Yet the concept of wireless, sensorless and contactless sensing is no simple combination of WiFi …
Hole Detection And Shape-Free Representation And Double Landmarks Based Geographic Routing In Wireless Sensor Networks, Jianjun Yang, Zongming Fei, Ju Shen
Hole Detection And Shape-Free Representation And Double Landmarks Based Geographic Routing In Wireless Sensor Networks, Jianjun Yang, Zongming Fei, Ju Shen
Computer Science Faculty Publications
In wireless sensor networks, an important issue of geographic routing is “local minimum” problem, which is caused by a “hole” that blocks the greedy forwarding process. Existing geographic routing algorithms use perimeter routing strategies to find a long detour path when such a situation occurs. To avoid the long detour path, recent research focuses on detecting the hole in advance, then the nodes located on the boundary of the hole advertise the hole information to the nodes near the hole. Hence the long detour path can be avoided in future routing. We propose a heuristic hole detecting algorithm which identifies …
Will This Be Quick? A Case Study Of Bug Resolution Times Across Industrial Projects, Subhajit Datta, Prasanth Lade
Will This Be Quick? A Case Study Of Bug Resolution Times Across Industrial Projects, Subhajit Datta, Prasanth Lade
Research Collection School Of Computing and Information Systems
Resolution of problem tickets is a source of significant revenue in the worldwide software services industry. Due to the high volume of problem tickets in any large scale customer engagement, automated techniques are necessary to segregate related incoming tickets into groups. Existing techniques focus on this classification problem. In this paper, we present a case study built around the position that predicting the category of resolution times within a class of tickets and also the actual resolution times, is strongly beneficial to ticket resolution. We present an approach based on topic analysis to predict the category of resolution times of …
Mapping Legume Roots Can Determine Best Performing Crops, Frédérique C. Guinel
Mapping Legume Roots Can Determine Best Performing Crops, Frédérique C. Guinel
Clear Language Summaries
Legume plants have a mutually beneficial relationship with bacteria. These beneficial bacteria live in nodules found on plant roots. Until recently there was no way to systematically measure the roots the nodules are found on and to place accurately the nodules on these roots. The research team created software and a method to measure multiple root parameters which were not available previously. This allows different plant varieties to be compared with precise measurements of the root structure in order to figure out which plants will grow better.
Optimizing Pred(25) Is Np-Hard, Martine Ceberio, Olga Kosheleva, Vladik Kreinovich
Optimizing Pred(25) Is Np-Hard, Martine Ceberio, Olga Kosheleva, Vladik Kreinovich
Departmental Technical Reports (CS)
Usually, in data processing, to find the parameters of the models that best fits the data, people use the Least Squares method. One of the advantages of this method is that for linear models, it leads to an easy-to-solve system of linear equations. A limitation of this method is that even a single outlier can ruin the corresponding estimates; thus, more robust methods are needed. In particular, in software engineering, often, a more robust pred(25) method is used, in which we maximize the number of cases in which the model's prediction is within the 25% range of the observations. In …
A Generalized Service Replication Process In Distributed Environments, Hany F. Elyamany, Marwa F. Mohamed, Katarina Grolinger, Miriam Am Capretz
A Generalized Service Replication Process In Distributed Environments, Hany F. Elyamany, Marwa F. Mohamed, Katarina Grolinger, Miriam Am Capretz
Electrical and Computer Engineering Publications
Replication is one of the main techniques aiming to improve Web services’ (WS) quality of service (QoS) in distributed environments, including clouds and mobile devices. Service replication is a way of improving WS performance and availability by creating several copies or replicas of Web services which work in parallel or sequentially under defined circumstances. In this paper, a generalized replication process for distributed environments is discussed based on established replication studies. The generalized replication process consists of three main steps: sensing the environment characteristics, determining the replication strategy, and implementing the selected replication strategy. To demonstrate application of the generalized …
Energy Cost Forecasting For Event Venues, Katarina Grolinger, Andrea Zagar, Miriam Am Capretz, Luke Seewald
Energy Cost Forecasting For Event Venues, Katarina Grolinger, Andrea Zagar, Miriam Am Capretz, Luke Seewald
Electrical and Computer Engineering Publications
Electricity price, consumption, and demand forecasting has been a topic of research interest for a long time. The proliferation of smart meters has created new opportunities in energy prediction. This paper investigates energy cost forecasting in the context of entertainment event-organizing venues, which poses significant difficulty due to fluctuations in energy demand and wholesale electricity prices. The objective is to predict the overall cost of energy consumed during an entertainment event. Predictions are carried out separately for each event category and feature selection is used to select the most effective combination of event attributes for each category. Three machine learning …
Engineering Analytics: Research Into The Governance Structure Needed To Integrate The Dominant Design Methodologies, Teddy Steven Cotter
Engineering Analytics: Research Into The Governance Structure Needed To Integrate The Dominant Design Methodologies, Teddy Steven Cotter
Engineering Management & Systems Engineering Faculty Publications
In the ASEM-IAC 2014, Cotter (2014) explored the current state of engineering design, identified the dominate approaches to engineering design, discussed potential contributions from the new field of data analytics to engineering design, and proposed an Engineering Analytics framework that integrates the dominate engineering design approaches and data analytics within a human-intelligence/machine-intelligence (HI-MI) design architecture. This paper reports research applying ontological engineering to integrate the dominate engineering design methodologies into a systemic engineering design decision governance architecture.
Research Agenda Into Human-Intelligence/Machine-Intelligence Governance, Teddy Steven Cotter
Research Agenda Into Human-Intelligence/Machine-Intelligence Governance, Teddy Steven Cotter
Engineering Management & Systems Engineering Faculty Publications
Since the birth of modern artificial intelligence (AI) at the 1956 Dartmouth Conference, the AI community has pursued modeling and coding of human intelligence into AI reasoning processes (HI Þ MI). The Dartmouth Conference's fundamental assertion was that every aspect of human learning and intelligence could be so precisely described that it could be simulated in AI. With the exception of knowledge specific areas (such as IBM's Big Blue and a few others), sixty years later the AI community is not close to coding global human intelligence into AI. In parallel, the knowledge management (KM) community has pursued understanding of …
The Future Of Ios Development: Evaluating The Swift Programming Language, Garrett Wells
The Future Of Ios Development: Evaluating The Swift Programming Language, Garrett Wells
CMC Senior Theses
Swift is a new programming language developed by Apple for creating iOS and Mac OS X applications. Intended to eventually replace Objective-C as Apple’s language of choice, Swift needs to convince developers to switch over to the new language. Apple has promised that Swift will be faster than Objective-C, as well as offer more modern language features, be very safe, and be easy to learn and use. In this thesis I test these claims by creating an iOS application entirely in Swift as well as benchmarking two different algorithms. I find that while Swift is faster than Objective-C, it does …
Integrating Security Into The Undergraduate Software Engineering Curriculum, Robert Evans
Integrating Security Into The Undergraduate Software Engineering Curriculum, Robert Evans
UNF Graduate Theses and Dissertations
This research included a thorough examination of the existing software assurance or what is commonly called software security knowledge, methodologies and what information security technologies is currently being recommended by the information technology community. Finally it is demonstrated how this security knowledge could be incorporated into the curriculum for undergraduate software engineering.
Learning By Doing - Energy Systems Management, Nima Shahriari, Adrian V. Gheorghe
Learning By Doing - Energy Systems Management, Nima Shahriari, Adrian V. Gheorghe
Engineering Management & Systems Engineering Faculty Publications
Climate change concerns have confronted energy policy makers by unprecedented challenges in the 21st century. Revolution of renewable energy technologies, as well as more efficient energy systems, has been promising in the context of global warming. However, these technologies are not maturing and chaning. Consequently planning for development of these resources requires dealing with various multidisciplinary research questions such as financial feasibility of renewable energy projects. Nevertheless, there is considerable lack of education programs offering multidisciplinary approach for addressing the current energy challenges. Based on the 21st evolving energy landscape, an interdisciplinary graduate certificate course work was designed at Old …
Multi-User Multiple Input Multiple Output (Mimo) Communication With Distributed Antenna Systems In Wireless Networks, Karthikeyan Sundaresan, Mohammad Khojastepour, Sampath Rangarajan, Jie Xiong
Multi-User Multiple Input Multiple Output (Mimo) Communication With Distributed Antenna Systems In Wireless Networks, Karthikeyan Sundaresan, Mohammad Khojastepour, Sampath Rangarajan, Jie Xiong
Research Collection School Of Computing and Information Systems
A system and a method are provided. The method includes deploying a plurality of antennas of an access point or a base station as a distributed antenna system. The method further includes configuring the distributed antenna system for multi-user wireless transmissions by applying medium access techniques and power-balanced pre-coding at the access point or the base station. The method also includes providing device localization for devices communicating with the distributed antenna system by applying time-difference-of-arrival techniques to antenna pairs from among the plurality of antennas at the access point or the base station.
Consistency Checking Of Natural Language Temporal Requirements Using Answer-Set Programming, Wenbin Li
Consistency Checking Of Natural Language Temporal Requirements Using Answer-Set Programming, Wenbin Li
Theses and Dissertations--Computer Science
Successful software engineering practice requires high quality requirements. Inconsistency is one of the main requirement issues that may prevent software projects from being success. This is particularly onerous when the requirements concern temporal constraints. Manual checking whether temporal requirements are consistent is tedious and error prone when the number of requirements is large. This dissertation addresses the problem of identifying inconsistencies in temporal requirements expressed as natural language text. The goal of this research is to create an efficient, partially automated, approach for checking temporal consistency of natural language requirements and to minimize analysts' workload.
The key contributions of this …
Estimating Cost Adjustments Required To Accomplish Target Savings In Chronic Disease Management Interventions: A Simulation Study, Rafael Diaz, Joshua G. Behr, Bruce S. Britton
Estimating Cost Adjustments Required To Accomplish Target Savings In Chronic Disease Management Interventions: A Simulation Study, Rafael Diaz, Joshua G. Behr, Bruce S. Britton
VMASC Publications
Chronic diseases are persistent ailments that are not preventable or curable with medication or vaccination. Many of the leading chronic conditions in industrialized societies may be related to lifestyle choices. The prevalence of these chronic conditions significantly affects the health, suffering, and longevity of patients. This paper demonstrates the utility of system dynamics as an approach to model and simulate the behavior of key cost factors in the implementation of population health management interventions. The study uses modeling and simulation as an evaluative method to identify potential savings stemming from an intervention within a well-defined population group. The model is …
Using Time Series Models For Defect Prediction In Software Release Planning, James W. Tunnell
Using Time Series Models For Defect Prediction In Software Release Planning, James W. Tunnell
All Master's Theses
To produce a high-quality software release, sufficient time should be allowed for testing and fixing defects. Otherwise, there is a risk of slip in the development schedule and/or software quality. A time series model is used to predict the number of bugs created during development. The model depends on the previous numbers of bugs created. The model also depends, in an exogenous manner, on the previous numbers of new features resolved and improvements resolved. This model structure would allow hypothetical release plans to be compared by assessing their predicted impact on testing and defect- fixing time. The VARX time series …
Current Practices For Product Usability Testing In Web And Mobile Applications, Spencer W. Black
Current Practices For Product Usability Testing In Web And Mobile Applications, Spencer W. Black
Honors Theses and Capstones
Software usability testing is a key methodology that ensures applications are intuitive and easy to use for the target audience. Usability testing has direct benefits for companies as usability improvements often are fundamental to the success of a product. A standard usability test study includes the following five steps: obtain suitable participants, design test scripts, conduct usability sessions, interpret test outcomes, and produce recommendations. Due to the increasing importance for more usable applications, effective techniques to develop usable products, as well as technologies to improve usability testing, have been widely utilized. However, as companies are developing more cross-platform web and …
A Mathematical Framework Of Human Thought Process: Rectifying Software Construction Inefficiency And Identifying Characteristic Efficiencies Of Networked Systems Via Problem-Solution Cycle, Jonathan Sarbah-Yalley
A Mathematical Framework Of Human Thought Process: Rectifying Software Construction Inefficiency And Identifying Characteristic Efficiencies Of Networked Systems Via Problem-Solution Cycle, Jonathan Sarbah-Yalley
Master's Theses
Problem
The lack of a theory to explain human thought process latently affects the general perception of problem solving activities. This present study was to theorize human thought process (HTP) to ascertain in general the effect of problem solving inadequacy on efficiency.
Method
To theorize human thought process (HTP), basic human problem solving activities were investigated through the vein of problem-solution cycle (PSC). The scope of PSC investigation was focused on the inefficiency problem in software construction and latent characteristic efficiencies of a similar networked system. In order to analyze said PSC activities, three mathematical quotients and a messaging wavefunction …
Multimodal Code Search, Shaowei Wang
Multimodal Code Search, Shaowei Wang
Dissertations and Theses Collection (Open Access)
Today’s software is large and complex, consisting of millions of lines of code. New developers of a software project always face significant challenges in finding code related to their development or maintenance tasks (e.g., implementing features, fixing bugs and adding new features). In fact, research has shown that developers typically spend more time on locating and understanding code than modifying it. Thus, we can significantly reduce the cost of software development and maintenance by reducing the time to search and understand code relevant to a software development or maintenance task. In order to reduce the time of searching and understanding …
Low Effort Crowdsourcing: Leveraging Peripheral Attention For Crowd Work, Vaish Rajan, Peter Organisciak, Kotaro Hara, Jeffrey P. Bigham, Haoqi Zhang
Low Effort Crowdsourcing: Leveraging Peripheral Attention For Crowd Work, Vaish Rajan, Peter Organisciak, Kotaro Hara, Jeffrey P. Bigham, Haoqi Zhang
Research Collection School Of Computing and Information Systems
Crowdsourcing systems leverage short bursts of focusedattention from many contributors to achieve a goal. Byrequiring people’s full attention, existing crowdsourcingsystems fail to leverage people’s cognitive surplus in themany settings for which they may be distracted, performingor waiting to perform another task, or barely payingattention. In this paper, we study opportunities for loweffortcrowdsourcing that enable people to contribute toproblem solving in such settings. We discuss the designspace for low-effort crowdsourcing, and through a seriesof prototypes, demonstrate interaction techniques, mechanisms,and emerging principles for enabling low-effortcrowdsourcing.
Framing The Question, "Who Governs The Internet?", Robert J. Domanski
Framing The Question, "Who Governs The Internet?", Robert J. Domanski
Publications and Research
There remains a widespread perception among both the public and elements of academia that the Internet is “ungovernable”. However, this idea, as well as the notion that the Internet has become some type of cyber-libertarian utopia, is wholly inaccurate. Governments may certainly encounter tremendous difficulty in attempting to regulate the Internet, but numerous types of authority have nevertheless become pervasive. So who, then, governs the Internet? This book will contend that the Internet is, in fact, being governed, that it is being governed by specific and identifiable networks of policy actors, and that an argument can be made as to …
Improving Software Quality And Productivity Leveraging Mining Techniques: [Summary Of The Second Workshop On Software Mining, At Ase 2013], Ming Li, Hongyu Zhang, David Lo, Lucia Lucia
Improving Software Quality And Productivity Leveraging Mining Techniques: [Summary Of The Second Workshop On Software Mining, At Ase 2013], Ming Li, Hongyu Zhang, David Lo, Lucia Lucia
Research Collection School Of Computing and Information Systems
The second International Workshop on Software Mining (Soft-mine) was held on the 11th of November 2013. The workshop was held in conjunction with the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in Silicon Valley, California, USA. The workshop has facilitated researchers who are interested in mining various types of software-related data and in applying data mining techniques to support software engineering tasks. During the workshop, seven papers on software mining and behavior models, execution trace mining, and bug localization and fixing were presented. One of the papers received the best paper award. Furthermore, there were two invited talk …
Adaptive Duty Cycling In Sensor Networks With Energy Harvesting Using Continuous-Time Markov Chain And Fluid Models, Wai Hong Ronald Chan, Pengfei Zhang, Ido Nevat, Sai Ganesh Nagarajan, Alvin C. Valera, Hwee Xian Tan, Natarajan Gautam
Adaptive Duty Cycling In Sensor Networks With Energy Harvesting Using Continuous-Time Markov Chain And Fluid Models, Wai Hong Ronald Chan, Pengfei Zhang, Ido Nevat, Sai Ganesh Nagarajan, Alvin C. Valera, Hwee Xian Tan, Natarajan Gautam
Research Collection School Of Computing and Information Systems
Abstract:The dynamic and unpredictable nature of energy harvesting sources available for wireless sensor networks, and the time variation in network statistics like packet transmission rates and link qualities, necessitate the use of adaptive duty cycling techniques. Such adaptive control allows sensor nodes to achieve long-run energy neutrality, where energy supply and demand are balanced in a dynamic environment such that the nodes function continuously. In this paper, we develop a new framework enabling an adaptive duty cycling scheme for sensor networks that takes into account the node battery level, ambient energy that can be harvested, and application-level QoS requirements. We …
A Systematic Study On Explicit-State Non-Zenoness Checking For Timed Automata, Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li
A Systematic Study On Explicit-State Non-Zenoness Checking For Timed Automata, Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li
Research Collection School Of Computing and Information Systems
Zeno runs, where infinitely many actions occur within finite time, may arise in Timed Automata models. Zeno runs are not feasible in reality and must be pruned during system verification. Thus it is necessary to check whether a run is Zeno or not so as to avoid presenting Zeno runs as counterexamples during model checking. Existing approaches on non-Zenoness checking include either introducing an additional clock in the Timed Automata models or additional accepting states in the zone graphs. In addition, there are approaches proposed for alternative timed modeling languages, which could be generalized to Timed Automata. In this work, …
Testing Data Vault-Based Data Warehouse, Connard N. Williams
Testing Data Vault-Based Data Warehouse, Connard N. Williams
College of Graduate Studies: Theses & Dissertations
Data warehouse (DW) projects are undertakings that require integration of disparate sources of data, a well-defined mapping of the source data to the reconciled data, and effective Extract, Transform, and Load (ETL) processes. Owing to the complexity of data warehouse projects, great emphasis must be placed on an agile-based approach with properly developed and executed test plans throughout the various stages of designing, developing, and implementing the data warehouse to mitigate against budget overruns, missed deadlines, low customer satisfaction, and outright project failures. Yet, there are often attempts to test the data warehouse exactly like traditional back-end databases and legacy …