Advertisement
Promo

All content for

'verification'.

383 results. Displaying: 1-20



Previous

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

Next


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 Is it April 1st already?

[February 13, 2005, 15:06]

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]

Video icon

Video


Previous

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

Next


Skip Sub Navigation Links to CNET Brand Links

Help

Become part of the ZDNet community.

Newsletters