FoCs takes properties written in the Sugar specification language and automatically translates them into Checkers, or monitors, which in turn are integrated into the chip simulation environment. These Checkers monitor the simulation results on a cycle-by-cycle basis for violation of the properties. Each Checker implements a state machine that enters and asserts an error state if the respective property fails to hold in a simulation run. This alphaWorks version is the first FoCs version that supports Sugar 2 (EDL flavor).

Have you ever asked yourself: What size does occupy this folder? Probably you tried to understand where free disk space is or prepared specified size folder for CD/DVD recording. Using ViewFolderSize Pro you will always know all your folders total size. Unbeatable combination of high speed performance, real-time size information updating and flexible customization options make View Folder Size Pro stand out of other competing software.

Simple tool provides code to cloak HTML email addresses to prevent harvesting by spam spiders.

Aardvark Map is a free tool that helps you to plot either information on to a Google Map so you can create a customised map for your website. The process is very simple and requires no technical knowledge. You can have a custom map created in minutes.

The Web browser is probably the most frequently used software today, and many tasks are highly repetitious. Internet Macros relieves the repetition of checking on the same sites every day, remembering passwords and filling out web forms. Web professional can use the software for functional testing and regression web testing of web applications. It can be used to automate web data extraction, for example online stock quotes or web store prices.

Recover deleted messages and mail from damaged folders and dbx files in Outlook Express. Searching across the several folders. A recovered message could be saved to email folder or text eml file. The program will scan the specified folders and try to find and restore damaged messages. If the option for restoring the folder structure is enabled, new folders will be created and recovered messages will be saved to these folders.

FREE FIREWALL PROTECTION!!! Zone Alarm is now giving users a free version to install on your computer. Unlike the corporate firewall environment. We suffer from a lack of good firewall protection at home. Now we have a solution. What is Zone Alarm? An Easy-to-use firewall blocks hackers and other unknown threats. Intrusion Blocking systematically identifies hackers and blocks access attempts. Stealth Mode automatically makes your computer invisible to anyone on the Internet. System Requirements: Windows 98SE/ME/2000 Pro/XP, 233 MHz Pentium or higher, 8MB of available hard disk space, Internet access. Minimum system RAM: 48MB (98SE/ME), 64MB (2000 Pro), 128MB (XP). This is the link to the free version. NOTE: you want to choose Zone Alarm, and Not Zone Alarm Pro, as the Standard version is the only free version. http://www.zonelabs.com/store/content/catalog/products/sku_list_za.jsp Link to download http://download.zonelabs.com/bin/free/1012_zl/zlsSetup_51_011.exe Make sure to read the terms of use http://www.zonelabs.com/store/content/company/aboutUs/legal.jsp

Looking enhancement your DotNetNuke website? XFlex is the STRETCHY way to make your website appealing to all your visitors. If they are blind as a bat, have lousy monitors to view, have lots of screen space they want to use.. you can now offer them plenty of customisation on your website in minutes. Let them experience your website with their preferences!! Features Include NO page refresh NO developer knowledge required FLEXIBLE placement in your website ADD page resizing on it's own ADD text resizing on it's own ADD your own images YES it works from a default installation YES it works from your own skin directory YES it's been tested in DNN 3 & 4 YES we are adding more features YES we are adding more themes YES you can modify the class elements YES there is a help file YES you are purchasing from a regular user Available in three versions – Xflex SkinObject only, XFlex Gold, with skin and icons, XFlex Platinum – includes extra skin, icons and source files.

Count Your Time collects and analyzes PC usage statistics during the specified time period. All statistics is shown to a user in a convenient and understandable form.

At times it can be impossible to keep supervision of internet activity which has been created throughout the day especially when lots of individuals these days know how to clear their suspicious history. With I-Spy you can sit back and let the application log every Internet explorer and Microsoft explorer action without the worry that the user will clear the system history. I-Spy can be run as a hidden or visible process and also has the ability to run in the Windows system tray without any unauthorized user accessing it if you decide to password protect it upon a fresh display. I-Spy does not only log http requests but https, ftp and file requests aswell. But wait, there is more. You can also log DNS errors which is excellent if you are a website administrator or personal web user and at the end of each usage a log file is created within the application directory giving exact details of internet requests which occured that day. An additional advantage of I-Spy is that the source is freely available upon purchasing.