Previous
Verification and Correction of UML Models
White Papers Providing this verification of UML models is only one step on the way to making modeling software an even more valuable and powerful tool. Modeling is a complex process which is quite hard to do in a structured and controlled way.
[November 29, 2008, 23:00]
UML/OCL Verification in Practice
White Papers There is an emerging need for verification techniques usable in practice, i.e.able to find and notify defects in real-life models without requiring a strong verification background or extensive model annotations.
[November 29, 2008, 23:00]
Combining Face and Iris Biometrics for Identity Verification
White Papers Besides improving verification performance, the fusion of these two biometrics has several other advantages. Face and iris identification have been employed in various biometric applications. Two different strategies have been used for fusing iris...
[March 16, 2009, 2:28]
Privacy-Preserving Verification of Aggregate Queries on Outsourced Databases
White Papers They present a solution for integrity verification of database aggregate queries, such as SUM and MAX. It is often desirable to be able to guarantee the integrity of historical data, ensuring that any subsequent modifications to the data can be...
[November 7, 2007, 0:00]
Distributed, Multi-Threaded Verification of Java Programs
White Papers Extended Static Checking (ESC) is a fully automated formal verification technique and is generally quite efficient, as far as verification tools go, but it is still orders of magnitude slower than simple compilation.
[January 16, 2009, 0:00]
Syllable Lattice Based Re-Scoring for Speaker Verification
White Papers The Gaussian mixture based GMM-UBM approaches have shown good performance in speaker verification without using contextual information. This paper exploits the information provided in the arcs of a decoded syllable lattice for speaker verification.
[July 19, 2007, 1:00]
Service-Oriented Requirement Engineering and Verification
White Papers The development paradigm defines a three-layered concept with verification measures and uses the Service-Oriented Architecture concept as the technical design principle for coordinating distributed business capabilities.
[March 29, 2007, 1:00]
Microsoft Technology Enables PACI's Online Single Sign on Unified Verification Gateway Service "ePin" for State of Kuwait
White Papers It also improves citizen, resident and business experience by enabling a single unified verification process to start e-government or e business online transactions. Kuwait's Public Authority for Civil Information (PACI) released a Web service...
[August 13, 2007, 8:09]
Balancing Security & Profit: How Identity Verification Solutions Benefit Ecommerce
White Papers Advanced identity and age verification solutions exist that allow businesses to quickly verify legitimate customers and keep business moving while still preventing fraud. This paper reviews the emerging trends in the identity verification market...
[November 14, 2009, 0:21]
Embedded Speaker Verification Kit
Downloads Embedded Windows CE Speaker Verification Developers Kit is your compact security solution for Development of Speaker Verification Systems at Electronics Embedded level. The design is based on ISIP ASR and is Ported to Windows CE, Pocket PC, Smart...
[June 25, 2009, 15:17]
Meeting DO-178B Software Verification Guidelines With Coverity Integrity Center
White Papers Many of the guidelines in the Software Verification and Software Lifecycle Data section of this standard can be supported with the use of the Coverity Integrity Center, a software analysis solution used to find critical defects throughout the...
[June 27, 2009, 1:21]
Object Oriented Verification Kernels for Secure Java Applications
White Papers This paper presents an approach to the verification of large Java programs. The reduction is achieved by extracting a verification kernel from the program, which is sufficient for proving the correctness of the relevant part.
[June 23, 2007, 1:00]
ATLANTIDES: An Architecture for Alert Verification in Network Intrusion Detection Systems
White Papers This paper presents an architecture1 designed for alert verification (i.e.to reduce false positives) in network intrusion-detection systems. The technique in this paper is based on a systematic (and automatic) anomaly-based analysis of the system...
[June 12, 2008, 1:01]
Age verification scanner launched
Talkback Are there any pictures of the scanner?
[February 16, 2005, 1:28]
Age verification scanner launched
Talkback I was wondering when the scanner will be out for public sale. I would like to see a picture of it if anyone has seen one online.thank you
[February 16, 2005, 1:15]
Improving Verification, Validation, and Test of the Linux Kernel: The Linux Stabilization Project
White Papers Small projects tend to have virtually no testing performed by anyone other than the author of the program. Larger projects depend upon a community of users to find and fix problems through use rather than disciplined test methods.
[April 4, 2007, 1:00]
BizTalk Server 2004 System Verification Tool
Downloads Tool for Small Business Server customers to verify they have all necessary software and patches to enable installation of BizTalk Server 2004. This version is the first release on CNET Download.com.
[September 6, 2007, 12:10]
Advanced Firmware Verification Using a Code Simulator for the IBM System z9
White Papers The methods for simulating host firmware of the IBM System z9 facilitated rapid development from first power-on of the system to achieving a platform with a functional operating system. Hundreds of code bugs were eliminated before the code was run...
[March 7, 2007, 0:00]
A Trust Infrastructure for ePassports: Building Reliable, Timely and Cost-Effective Trust Links for Electronic Travel Document Verification
White Papers Citizens, no matter in what part of the world, seek a certain level of trust from their government when it comes to the protection of their personal identities and information. Whether it's driver's or professional licenses, birth certificates...
[May 14, 2009, 1:17]
