Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 36 for “"verification system"”.
-
A segment-based speaker verification system using SUMMIT
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997.
-
VeriSMS: A message verification system for inclusive and trusted patient outreach
Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2025-05-01
-
Runtime verification of object lifetime specifications
… reports on the implementation of a runtime verification system for object lifetime specifications. This system is used to explore and evaluate the expressiveness object lifetime specifications. Object lifetime specifications are program annotations that indicate, in terms of program …
-
Verification of correctness properties of programs that read input files
… program points. It also presents a program verification system that verifies, for all possible input files and all possible input file contents, that the assertions hold in all program executions. The soundness of the verification system has been proved, based on the formal definition of the …
-
Mapping maintenance for data management
Despite the potential of data integration systems, their deployment in practice is still quite limited. Building such a system is an expensive endeavor, for which numerous semiautomatic tools have been developed. Once the system has been built and deployed, an equally daunting challenge is to …
-
Leto : verifying application-specific fault tolerance via first-class execution models
… execution. To this end I present Leto, a verification system that enables developers to verify their applications with respect to a first-class execution model specification. Namely, Leto enables software and platform developers to programmatically specify the execution semantics of the …
-
Fusion of fingerprint presentation attacks detection and matching: a real approach from the LivDet perspective
… is explicitly required for current personal verification systems in many security applications. As a matter of fact, the project of any biometric verification system cannot ignore the vulnerability to spoofing or presentation attacks (PAs), which must be addressed by effective countermeasures …
-
Verification of River Stage Forecasts
Little verification of hydrologic forecasts has been conducted to date, and therefore little is known about the skill of hydrologic forecasts. This dissertation presents a verification study of river stage forecasts with lead-times up to three days for sixteen locations in the United States for a …
-
Robust audio-visual person verification using Web-camera video
… the challenge of robust audio-visual person verification using data recorded in multiple environments with various lighting conditions, irregular visual backgrounds, and diverse background noise. Audio-visual person verification could prove to be very useful in both physical and logical …
-
Translating timed I/O automata specifications for theorem proving in PVs
… framework for specification and analysis of systems that involve discrete and continuous evolution. In order to employ an interactive theorem prover in deducing properties of a timed input/output automaton, its state-transition based description has to be translated to the language of the …
-
Location Verification for Spoofing Detection in Non-Terrestrial Networks
… the need for a flexible and robust location verification system (LVS) that can reliably detect malicious users. This paper proposes a single-satellite LVS based on round-trip time and angle-of-arrival measurements. We characterize several sources of uncertainty unique to the NTN scenario and …
-
Recognition and verification of unconstrained handwritten numerals
Despite the success of many recognition systems for handwritten numerals within constrained domains, the problem remains difficult when unconstrained inputs are involved. The gap between the state-of-the-art machine recognition reliability and high practical demand leads to this investigation of …
-
Preparation-free and comprehensive runtime verification tool for testing Java programs
Runtime verification is an effective and accurate technique for ensuring that an execution of a program conform to certain specifications at runtime. Although excessive runtime overhead, one of its main drawbacks, has been alleviated by many recent works, its usefulness seems to be limited by …
-
Modular data structure verification
… proving formulas that arise in such verification. I have implemented this approach with my colleagues in a verification system called Jahob. Jahob verifies properties of Java programs with dynamically allocated data structures. Developers write Jahob specifications in classical …
-
Foundational Verification of Running-Time Bounds for Interactive Programs
… has a rich history of practical application in verification of the correctness of software. Existing verification tooling operates at a wide range of rigor, from proving relatively weak properties via traditional static analysis to powerful theorem provers that can express very precise …
-
Verification of full functional correctness for imperative linked data structures
We present the verification of full functional correctness for a collection of imperative linked data structures implemented in Java. A key technique that makes this verification possible is a novel, integrated proof language that we have developed within the context of the Jahob program …
-
Personalized Voice Activated Grasping System for a Robotic Exoskeleton Glove
… accurate force sensing. A portable electronic system is designed based on the SEA to allow force measurement, force application, slip detection, cloud computing, and a power supply to provide over 2 hours of continuous usage. A voice-control-based HMI referred to as the integrated trigger-word …
-
Presence verification for summative e-assessments
… thesis introduces the concept of presence verification as an essential extension to the existing identity-authentication user security model. The presence security goal is aimed at ensuring that the correctly authenticated student at the start of a test is the same student throughout the …
Page 1 of 2