Search
Now showing items 21-30 of 220
SPIN Model Checker for MACT
(North Dakota State University, 2013)
The SPIN (Simple PROMELA Interpreter) model checker is a verification system used to check high-level models of concurrent systems and improve the overall system’s performance. The SPIN model checker takes the PROMELA model ...
Automatic Conceptual Feedback on Software Tests
(North Dakota State University, 2017)
Students in introductory programming courses face many challenges. While the educators try their best to assist students with these challenges by adopting different approaches, majority of them end up overlooking the ...
A User Interface Prototype of Test Support As-A-Service
(North Dakota State University, 2012)
Cloud computing provides software as a service over the internet. With the increasing popularity of cloud applications, the development of error-free cloud-based applications that function reliably is necessary. Software ...
Document Management System
(North Dakota State University, 2012)
The debate of using paper documents over computer documents has been a long topic of interest, there has been a lot of research done on the topic. Also, experiments have been done to evaluate the performance of users working ...
Evaluating Sliding Window Multi-Scalar Analysis Importance on Land Use Classification from Satellite Remote Sensing Data
(North Dakota State University, 2019)
Implications of artificial intelligence around the intersection of agricultural technology and satellite remote sensing are only beginning to emerge. One of the application areas in the agriculture sector that can leverage ...
Evaluation of Software Testing Coverage Tools: An Empirical Study
(North Dakota State University, 2013)
Code coverage is one of the most important aspects of software testing, which helps software engineers to understand which portion of code has been executed using test suite throughout the software testing process. Automatic ...
Finding Hidden Relationships between Medical Concepts by Leveraging Metamap and Text Mining Techniques
(North Dakota State University, 2017)
A lot of efforts have been made in order to make new discoveries in the biomedical filed. However, those valuable information may be hidden in text without applying appropriate text mining techniques. In this paper, I ...
Processing Geographic Information Systems Data for Data Mining
(North Dakota State University, 2013)
Spatial data, including image data, are typically downloaded into GIS systems for processing purposes. The GIS data are optimized for establishing spatial relationships among objects. Spatial data can be produced rapidly ...
K-Anonymization Implementation Using Apache Spark
(North Dakota State University, 2019)
This experiment attempts on data which can reveal a person’s identity to anonymize with k-1 anonymity principle. "Given person-specific field-structured data, produce a release of the data with scientific guarantees that ...
ISO Analyzer and Reporting System
(North Dakota State University, 2013)
This paper describes the development of a GUI-based application program called the ISO Analyzer and Reporting System. The Independent System Operator (ISO) Analyzer and Reporting System facilitates the study of electricity ...