Thema System Srl
Italy. Design, development and manufacture of independent and on-line operating laser based systems for the measurement of yarn bobbin density prior to the dyeing process. Also, yarn length checking devices. English and Italian.
http://www.themasystem.com/

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/

Engineered Mechanical Systems, Inc.
Represents and stock lines of HVAC systems, fume hoods, make-up air devices, terminal air devices, electric resistance devices, ductwork, industrial exhaust and ventilation equipment.
http://www.emsystemsinc.com

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

Safend - USB Port Protector
Protect your enterprise from information leakage and targeted attacks via physical and wireless ports. Safend – intuitive, tamper-proof solutions for visibility and control over enterprise endpoints.
http://www.safend.com

Mpathy Medical Devices
Mpathy Medical has developed a range of innovative less invasive surgical solutions to restore pelvic health to women. Our responsive team provides a unique relationship with the individuals who really matter, women and their surgeons.
http://www.mpathy.org/

Press Accessory Sales, LLC
Distributes OSHA-compliant press guards (Panelbar Barriers), safety pullout/holdouts (Woodbury Devices), type-A gates (Gates Devices), presence sensing devices (NEPS), stagger feeds (Presmate), vises.
http://www.pasllc.com

TuxMobil: Infrared Devices
A hardware compatibility survey of infrared devices (laptops, PDAs, printers, dongles, chipsets, remote controls and others) and their capabilities with Linux/IrDA and LinuxRemoteControl (LIRC). As well as tips and tricks to get them identified and working with your Linux laptop or PDA.
http://www.tuxmobil.org/ir_misc.html