Previous
Verifying Data Flow Optimizations For Just-in-Time Compilation
White Papers This paper presents a time- and space efficient method for verifying the results of the large class of data flow optimizations. Annotations are often added to mobile code to reduce the optimization burden of just-in-time compilers.
[August 28, 2004, 3:00]
A Verifying Compiler For A Multi-Threaded Object-Oriented Language
White Papers This paper describes the program-verifier component of a verifying compiler for a core multi-threaded object-oriented language. The paper also builds a methodology for writing and verifying single- and multi-threaded code with object invariants...
[May 31, 2007, 1:00]
The Application Of Trial Methodologies For Measuring And Verifying GPRS KPIs In The Railway Environment
White Papers This paper highlights operational challenges and introduces strategies for measuring and verifying GPRS key performance indicators (KPIs) on railways, describes manual and automated field-testing concepts, and presents selected KPI results from a...
[November 10, 2005, 0:00]
Providing And Verifying Advanced IP Services In Hierarchical DiffServ Networks - The Case Of GEANT
White Papers However, the provisioning of such services in production networks has proved to be more difficult than initially expected, in defining, setting and verifying appropriate Service Level Agreements (SLAs).
[August 10, 2006, 1:00]
Verifying USB 2.0 Devices For Compliance
White Papers USB is enjoying broad adoption in the marketplace today. Over 1,000 devices have passed compliance testing. According to PC Data's April 2000 US retail sales data, USB peripherals are the best-selling products in several device categories.
[February 11, 2004, 4:36]
Princeton ECom: Verifying The Strength Of Its Security Systems
White Papers Princeton eCom is an organization that provides billing and payment services to over a thousand enterprise-level clients. The challenge for Princeton was to provide secure payment processing to over one thousand corporate clients.
[November 5, 2004, 23:00]
Liberty Alliance And Passport Still Poles Apart
News Representatives from the two major initiatives to build a common infrastructure for verifying identity on the Internet said on Tuesday that while a standard system is necessary, the sides may not be able to work together anytime soon.
[February 20, 2002, 9:06]
Windows Server 2003 Active Directory
White Papers This session covers verifying Active Directory functionality, diagnosing and troubleshooting replication, locating Active Directory database files, backing up and recovering system state data, and seizing FSMO roles.
[November 9, 2007, 9:13]
Microsoft Proposes Joint Anti-spam Fight
News George Webb, group manager of Microsoft's anti-spam technology and strategy team, said last Friday that it has been working with the people behind SPF, or Sender Policy Framework, a proposed standard for verifying the domain of an email sender and...
[May 24, 2004, 11:40]
Formal Verification For Time-Triggered Clock Synchronization
White Papers Verification of the central clock synchronization properties is achieved by linking the TTP model of the synchronization algorithm to a generic derivation of the properties from abstract assumptions, essentially establishing the TTP algorithm as a...
[September 9, 2003, 8:43]
PGP Personal For Windows 8.0 review
Reviews The PGP Mail application itself sports a floating toolbar interface that includes buttons for launching the PGP Keys program, encrypting and signing files, decrypting and verifying files and wiping files clean.
[January 22, 2003, 16:10]
When Three-factor Security Isn't Enough
News Who is verifying that the person is indeed you, and what are they basing that verification on? In my experience, that easily forged document is generally accepted by most individuals who are charged with verifying someone's identity.
[August 7, 2003, 11:50]
The Four Things Your Backup Strategy Is Missing
News On that note, it's good to have someone responsible for verifying that the backups run and a backup person who's responsible when that person is gone. Of course, even better than notification on success as well as failure is a checklist of daily...
[July 29, 2005, 16:20]
QuickSigner
Downloads This is a tool for quickly digitally signing or verifying text or files with Public-Key-Encryption with RSA encryption algorithm (RSAES-OAEP). Secure your data exchanges and transfers with digitally signed files.
[October 20, 2005, 3:33]
Data Abstraction And Information Hiding
White Papers This paper describes an approach for verifying programs in the presence of data abstraction and information hiding, which are key features of modern programming languages with objects and modules. The paper focuses on the property of modular...
[March 24, 2004, 2:36]
The Enigma Protector
Downloads The Enigma Protector is software protection tool that has following features: comfortable interface for creating and verifying of registration keys; registration manager; automatic mailer; special Enigma API; hardware locking of registration keys...
[June 3, 2008, 16:46]
A Cryptographic Checksum For Integrity Protection
White Papers This paper describes a cryptographic checksum technique for verifying the integrity of information in computer systems with no built-in protection. The technique is based on the use of repeated encryption using an RSA cryptosystem as a pseudo...
[March 8, 2004, 23:00]
Accurate Bandwidth Measurement In XDSL Service Networks
White Papers In xDSL service networks, accurate bandwidth measurement is essential for network management and traffic engineering, such as isolating line faults and verifying guaranteed quality of service specifications, where ISP and xDSL service providers...
[February 16, 2005, 2:00]
Link Exchange Manager
Downloads This program will help you manage your links by verifying that sites that should be linking to you actually are. Manage your reciprocal links by simply entering your Web site address, the Web sites that have linked to you, and how many links you...
[June 1, 2006, 5:01]
Expert Email Validator
Downloads Expert Email Validator gives you the possibility to check your e-mail addresses by verifying their syntax, domain and account availability, making your e-mail database more accurate and reliable. It can verify and clean up mailing list and avoiding...
[July 6, 2008, 15:01]
