Model checking
Model checking Erlang code through formal methods.
http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html

Grumberg, Orna
The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.
http://www.cs.technion.ac.il/users/orna/

TILT Compiler
TILT Compiler Home Page
http://www.tilt.cs.cmu.edu/

Order Carnivora
About the mammalian order Carnivora, which is the result of a great radiation of mammals that ate meat. Not all meat eaters are in this order, however. Most members of the Order Carnivora can be recognized by their enlarged fourth upper premolar and first lower molar.
http://animaldiversity.ummz.umich.edu/site/accounts/information/Carnivora.html

Relevant Business Systems
Relevant Business Systems - Enterprise Resource Planning (ERP) for the Aerospace and Defense, Contract Manufacturing and Engineer to Order (ETO) manufacturing industries. Take advantage of the unprecedented project management, Work Breakdown Structure or Maintenance Repair and Overhaul capabilities in Relevant's ERP Software. Software development, consulting services, and technical support for the life of your product. Work breakdown structure, earned value accounting, engineering, materials, inventory, production, sales, purchasing, and project management perspectives all jointly managed with the Relevant Business Systems ERP solution.
http://www.relevant.com/

Order Desk Xpert
Win software automates mailorder, directmail, ecommerce. Order Entry, Sales/Ad Tracking, customer database/mail-list, invoices, labels, reports&more.
http://www.orderdeskxpert.com/

Blended Implicit Methods (BiM)
Fortran 77 code implementing a variable order-variable stepsize method for (stiff) initial value problems for ODEs. The order of the method varies from 4 to 14, according to a suitable order variation strategy.
http://web.math.unifi.it/users/brugnano/BiM/

Languard Network Security Products
GFI offers network security software including intrusion detection, security scanner, anti virus for Exchange and anti virus for ISA server
http://www.languard.com

Mailware Mail Order Software
Mail Order Software - Automate your mail order business with Mailware software from Core Technologies.
http://www.mailware.com/

Remote Order Entry
OrderStream Remote Order Entry. Wireless Automation Software
http://www.remoteorderentry.com/