Sponsored White Papers, Webcasts, and Downloads
Additional Resources
- A C-Language Binding for PSL
- In recent years it has been seen an increase in the complexity of embedded system design and in the difficulties of their verification. As a result, engineers have been trying to verify the specifications at a higher level of abstraction. This paper presents an automated tool which is able to...
- Tags: C, Hardware, C-language, Idea, C/C++, Productivity, Programming Languages, Software Development, Software/Web Development
- White papers 2006-09-01
- Driver Hang Verification
- Driver Hang Verification is a feature of I/O Verification that measures how long it takes the driver to complete and to cancel I/O Request Packets IRPs originating in user-mode applications. It records an issue in the Driver Verifier log when a routine exceeds time limits that the users specify for...
- Tags: I/O, Microsoft Corp., Driver Hang Verification, Microsoft Windows, Operating Systems, Software
- White papers 2006-09-23
- A New Approach to System Verification: Lessons Learned From Other Industries
- System verification approaches for high-tech equipment have not scaled in step with increasing technical complexity. While software developers now enjoy Integrated Development Environments IDEs that offload mundane programming tasks, Quality Assurance QA teams still spend much of their time performing repetitive tasks such as configuring test beds, executing regression tests...
- Tags: Industry, Programming, Development Tools, Strategy, Software Development, Software/Web Development, Management
- White papers 2006-06-01
- Biometric Speech Verification: Added Security for your Speech Application
- 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 that person's voice biometric. Like a fingerprint, everyone has a unique voice. This technology...
- Tags: MCI Inc., Security, Voice, Telecommunications
- White papers 2005-08-01
- Object Oriented Verification Kernels for Secure Java Applications
- This paper presents an approach to the verification of large Java programs. The focus lies on programs that implement a distributed communicating system e.g. in an M-or E-Commerce scenario. When trying to verify such programs, thousands of Java classes with tens of thousands of lines of code would have to...
- Tags: Java Application, Reduction, Kernel, Object-oriented, Programming Languages, Java, Software Development, Software/Web Development
- White papers 2006-11-22
- Recipient Verification
- Hi folks, Could anybody tell me how to enable the Recipient Verification on Exchange 2000 server. Thanks for your help.
- Tags: tzutzasialbu@...
- Discussion threads 2007-02-05
- Embedded Speaker Verification Kit (zip)
- 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 Phone, Palm OS, Symbian OS.
- Tags: United Research Labs, Microsoft Windows CE, Microsoft Windows, Symbian OS, Handhelds, Palm OS, Pocket PC, Operating Systems, Smart Phones, Software, Hardware, Consumer Electronics, Personal Technology
- Software downloads 2005-11-03
- Language Support for Fast and Reliable Message-Based Communication in Singularity OS
- This paper reports on the language, verification, and run-time system features that make messages practical as the sole means of communication between processes in the Singularity operating system. This paper show that using advanced programming language and verification techniques, it is possible to provide and enforce strong system-wide invariants that...
- Tags: Operating System, Association For Computing Machinery, Language, Development Tools, Operating Systems, Software Development, Software/Web Development, Software
- White papers 2006-04-21
- annoying password verification
- I'm currently using yahoo small business email for my mail server and i used ms outlook to download my webmails to my PC's (POP3). I can send and recieved emails using my outlook but the network password verification keeps on poping out. i can send and recieved mail so i'm...
- Tags: E-mail, password, verification
- Discussion threads 2006-06-27
- Practical Integrity Measurement and Remote Verification for Linux Platform
- There are various problems in Trusted Computing adaptation in Common Off The Shelf COTS operating environment, like Linux. 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...
- Tags: IBM Corp., Linux, UNIX, Operating Systems, Open Source, Software
- White papers 2006-11-05
- Verifying Data Integrity in Peer-to-Peer Media Streaming
- The paper studies data integrity verification in peer-to-peer media streaming for content distribution. Challenges include the timing constraint of streaming as well as the untrustworthiness of peers. The paper shows the inadequacy of existing data integrity verification protocols, and proposes Block-Oriented Probabilistic Verification BOPV, an efficient protocol utilizing message digest...
- Tags: Purdue University, Data Integrity, P2P, Media, Protocol, Peer To Peer (P2P), Internet
- White papers 2008-01-01
- Keep DNS servers from contributing to a DDoS attack
- address verification"In my opinion, IP address verification is the answer, and the tools already exist to solve that problem. I know the Internet Engineering Task Force IETF is looking at the issue, but it needs to stop investigating and take action."! ! ! HALLELUJAH ! ! !And some time this...
- Tags: gmontany@..., distributed denial of service, DNS server, server
- Discussion threads 2007-03-26
- Syllable Lattice Based Re-Scoring for Speaker Verification
- 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. The forward algorithm is used to summarize this information in the syllable lattice instead of the...
- Tags: Algorithm, Performance, Lattice, Speaker Verification, Engineering, Performance Management, Human Resources, Workforce Management
- White papers 2006-04-19
- Antipiracy flub for Microsoft
- Buffer Overflow Problem w/ VerificationI went to download an updated beta from the microsoft site this morning and went through the verification process. It triggered my virus scan alerts due to a buffer overflow write attempt and then proceeded to crash IE. :-) I restarted the browser and...
- Tags: antipiracy, Microsoft Corp., rliechty@..., security, verification, windows
- Discussion threads 2005-08-01
- Service-Oriented Requirement Engineering and Verification
- This paper introduces a new development paradigm for business-oriented development that uses graphical and formal modeling techniques to make the development process transparent not only to technical but also business related project members. Various system development life cycle models have already introduced concepts to facilitate analysis, design and implementation of...
- Tags: Concept, Development Paradigm, Service-Oriented Architecture (SOA), Research & Development, Productivity, Web Services, Middleware, Enterprise Software, Software, Business Operations
- White papers 2004-12-02
- Singularity: Rethinking the Software Stack
- Every operating system embodies a collection of design decisions. Many of the decisions behind the most popular operating systems have remained unchanged, even as hardware and software have evolved. Operating systems form the foundation of almost every software stack, so inadequacies in present systems have a pervasive impact. This paper...
- Tags: Operating System, Tools & Techniques, Operating Systems, Management, Software
- White papers 2007-05-16
- Telecom Broadband: Digital Processor for SDH Radio Link
- A leading worldwide telecommunication network equipment manufacturer needed to design the main digital component of a radio link SDH system product. It was intended to implement a radio terminal providing regeneration and adaptation functionality, along with hitless switching capability. Accent's design services covered the FPGA implementation (from the Implementation Specification...
- Tags: Processor, Radio, Broadband, SDH, FPGA, Fiber Optics, Optical Networking, Telephony, Telecommunications, Networking
- Case studies
- A Verifying Compiler for a Multi-Threaded Object-Oriented Language
- This paper describes the program-verifier component of a verifying compiler for a core multi-threaded object-oriented language. The verifier takes as input a program written in the source language and generates, via a translation into an intermediate verification language, a set of verification conditions. The verification conditions are first-order logical formulas...
- Tags: Compiler, Language, Object-oriented, Verifier, Ooa/Ood/Oop, Development Tools, Software Development, Software/Web Development
- White papers 2007-01-16
- Pro Email Verifier (exe)
- Pro Email Verifier is a software that can check great quantities of e-mail addresses using owner techniques that guarantee optimum performance even in circumstances where the connection is not particularly fast. Technical features: Support for 6 languages (Italian, English, German, Spanish, French, and Chinese). Maximum simplicity of use. Simple and...
- Tags: File, Pro Email Verifier, E-mail, Tools & Techniques, Productivity, Online Communications, Management
- Software downloads 2007-06-22
- << Previous
- page 1 of 1
- Next >>
