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]
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]
Avinux: Towards Automatic Verification of Linux Device Drivers
White Papers Avinux supports a verification process for Linux that includes specification annotation in SLICx (an extension of the SLIC language), automatic data environment creation, source code transformation and simplification, and the invocation of the...
[February 4, 2009, 23: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]
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]
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]
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]
Design and Verification of a PLL Based Clock and Data Recovery Circuit
White Papers In this paper, the design and verification of a Clock and Data Recovery circuit (CDR) is presented. The circuit is designed and verified at 90-nm digital CMOS platform of ST Microelectronics and complies with the requirements of Bellcore GR-253...
[October 22, 2008, 1:01]
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]
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]
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]
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]
A Load Balancing Mechanism With Verification
White Papers This paper investigates the problem of designing load balancing mechanisms with verification for heterogeneous distributed systems. It derives a compensation and bonus type mechanism that solves the load balancing problem in distributed systems in...
[July 10, 2008, 1:01]
Practical Integrity Measurement and Remote Verification for Linux Platform
White Papers Although a TPM security chip is beginning to spread widely, retrofitting a COTS component with Transitive Trust and a remote platform integrity verification still does not work well, especially the verification performed by a third party.
[April 3, 2007, 1:00]
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]
Improved User-Experience, Ad-Revenue, and Brand Image With Automated Verification and Validation of All Websites for Australia's No.1 Interactive Media Company
White Papers Ninemsn is Australia's number-one interactive media company with annual revenue of about AUD 100 million. The proposed automated validation tool was innovative, and therefore its architecture and design was challenging.
[March 28, 2008, 0:02]
Microsoft Technology Enables Online Unified Identity Verification Services for 3 Million Citizens and Residents of Kuwait
White Papers The Kuwait Authority for Civil Information (PACI) required a Web-based authentication gateway to verify the identity of citizens online. It is to be used by both public sector organizations including banks and telecommunications providers through a...
[December 19, 2007, 0:01]
