Previous
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, 0:00]
Deductive Verification Of Distributed Groupware Systems
White Papers This paper presents the modelling and deductive verification of OT algorithms with algebraic specifications. Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc).
[December 12, 2005, 23:00]
Anti-Spam Using Sender Address Verification
White Papers This white paper describes how Sender Address Verification (SAV) provides 100% Spam protection without blocking legitimate email (i.e.with zero “false positive” errors). This paper also discusses server load reduction and storage cost savings...
[December 3, 2004, 23:00]
HIPAA Compliance: The Need For Independent Verification & Validation
White Papers A critical component to achieving successful results is independent software verification and validation. Healthcare organizations need to ensure that each system development and modernization project that they undertake as part of their efforts to...
[May 12, 2004, 0:00]
Biometric Speech Verification: Added Security For Your Speech Application
White Papers MCI provides the infrastructure and expertise needed to implement Speaker Verification with the flexibility to support a wide variety of business requirements. Using Speaker Verification, you can confirm the identity of the person speaking based on...
[October 26, 2006, 0:00]
Adaptive Decision Fusion For Multi-Sample Speaker Verification Over GSM Networks
White Papers The fusion algorithm is combined with feature transformation for speaker verification using GSM-transcoded speech. This paper presents a decision fusion algorithm that makes use of prior score statistics and the distribution of the recognition data.
[November 21, 2005, 23:00]
"Design Prediction & Early Verification Of OFDM Reference Radio"
White Papers System trade-off analysis must seamlessly integrate with circuit design tools, and extend to include functional verification of IC prototypes on the R&D bench using test instrumentation. A simulation "test bench" is created for verification of...
[March 20, 2005, 23:00]
Robust Speaker Verification From GSM-Transcoded Speech Based On Decision Fusion And Feature Transformation
White Papers In speaker verification, a claimant may produce two or more utterances. Typically, the scores of the speech patterns extracted from these utterances are averaged and the resulting mean score is compared with a decision threshold.
[November 17, 2005, 23:00]
Simulation, Verification And Automated Composition Of Web Services
White Papers This paper is the first attempt to provide a model-theoretic semantics as well as a distributed operational semantics that can be used for simulation, validation, verification, automated composition and enactment of DAML-S-described Web services.
[January 13, 2005, 23:00]
Cluster-Dependent Feature Transformation For Telephone-Based Speaker Verification
White Papers This paper presents a cluster-based feature transformation technique for telephone-based speaker verification when labels of the handset types are not available during the training phase. The technique combines a cluster selector with cluster...
[November 17, 2005, 23:00]
Formal Verification Of Firewall Policies
White Papers This paper proposes a firewall verification tool in this paper. Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. The quality of protection provided by a firewall directly...
[April 16, 2008, 0:00]
Practical Verification Of Embedded Software
White Papers Using a new verification algorithm called the compositional backward technique, the authors demonstrate that they can exhaustively verify even the largest industrial applications—comprising more than 1,000 components—in a few minutes on a standard...
[December 1, 2003, 23:00]
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 6, 2007, 23:00]
Fujitsu In Europe Adopts New SystemC Verification Methodology, Leveraging Cadence VCAD Engineering Services To Significantly Accelerate Ramp-Up
White Papers The company wanted to create leading-edge 32-bit and 16-bit microcontroller families for the automotive market and adopt a new functional verification methodology to speed the overall verification process and be portable across projects and...
[November 6, 2007, 23:00]
FPgen - A Test Generation Framework For Datapath Floating-Point Verification
White Papers FPgen is a new test generation framework targeted toward the verification of the Floating Point (FP) datapath, through the generation of test cases. This framework provides the capacity to define virtually any architectural FP coverage model...
[August 31, 2007, 0:00]
Hardware Router's Lookup Machine And Its Formal Verification
White Papers The design of the lookup machine is difficult to be proven correct by conventional methods, therefore model checking as a method of formal verification was employed and this case is explained in detail.
[March 14, 2005, 23:00]
Systematic Formal Verification For Fault-Tolerant Time-Triggered Algorithms
White Papers The second step is independent of the algorithm concerned and we prove its correctness; the proof has also been formalized and mechanically checked with the PVS verification system. Many critical real-time applications are implemented as time...
[September 9, 2003, 0:00]
Formal Verification For Time-Triggered Clock Synchronization
White Papers We describe the formal model extracted from the TTP specification and its formal verification, using the PVS system. Verification of the central clock synchronization properties is achieved by linking the TTP model of the synchronization algorithm...
[September 9, 2003, 0:00]
Formal Verification Of A Compiler Back-end Generic Checker Program
White Papers The PVS system is here used as a vehicle to formally represent and verify a generic checker routine (run-time result verification) used in compiler back-ends. This paper reports on a non-trivial case-study carried out in the context on the German...
[September 25, 2003, 0:00]
A Case Study On The Automated Verification Of Groupware Protocols
White Papers This paper reports on a fruitful combination of applying academic experience with formal modelling and verification techniques to an industrial case study. The goal was to investigate a priori, i.e.before implementation, the effects of adding a...
[December 7, 2005, 23:00]
