| Bultan,_Tevfik University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking. |
| Top_Icons Free icons for Windows and Mac. The best original icons of cartoons, sports, animals and system. |
| The_Synchronous_Programming_Language_Signal__A_Tutorial For this declarative language, for realtime uses: reactive, embedded systems. Synchronous languages are opposite to the asynchronous types, as in C, Ada. Five chapters. Paper, PDF format. |
| The_xPine_Email_System A graphical (X11) interface for the Unix version of Pine. Still under test. |
| Dane-Elec Manufactures and markets memory products for servers, workstations, personal computers, laptops, and portables. |
| AceBIT__WinSurvey Software package for creating, publishing and analyzing custom web surveys. |
| Megaprime Offers ISO/IEC 17799 compliant information security policy and management systems, security architectures, secure applications and networks. |
| Translation_Tools Most of the tools on this page work in conjunction with TRADOS translation software. |
| RegExplorer A visual regular expression explorer, it allows for writing regular expressions and visually see the matches. Uses the KDE/Qt Libraries for the user interface. [QPL] |
| Replacements_co_za A list of open source software to replace various proprietary software. |
| AdventNet_Inc_ WAN monitoring, LAN monitoring, network, systems and applications management solutions. |
| RFC_1425 SMTP Service Extensions. J. Klensin, WG Chair, N. Freed, Editor, M. Rose, E. Stefferud, D. Crocker. February 1993. |
| Metallica\'s_new_album_is_Napster-proof Metallica released their long awaited "Download This" CD, and the band declared it Napster-proof. [BBspot] (June 2, 2000) |
| SIGPLAN__Programming_Languages ACM special interest group that explores the implementation and efficient use of programming languages. |
| ONJava_com__Flawed_Understanding_of_JDO_Leads_to_FUD In this scathing response to Don Bales' recent critique of Java Data Objects, David Jordan offers proof that JDO does not regard SQL as a bad thing, yields shorter and simpler code, and is vendor-neut |
| HMSL__Hierarchical_Music_Specification_Language Object oriented set of extensions to Forth, for experimental music composition and performance. For any Macintosh, and 1 Meg RAM. |
| Linear_Scan_Register_Allocation_in_the_HiPE_compiler_ Erik Johansson and Konstantinos Sagonas. Precented at the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel. |
| FrontPagePortal_com Features webmaster tips, links, discussions, and news. |
| XML_Encryption_Requirements Design principles, scope and requirements of XML Encryption, including the encryption syntax, data model, format, cryptographic processing, and external requirements and coordination. (W3C Working Dra |
| Allery_Scotts_Ltd UK-based firm offers positioning advice, an online keyword development tool, optimisation seminars, and website design services. |
