|
|
EHIBITOR LIST - STC 2003 TRADE SHOW |
|---|
| A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All |
|
Booth Title: Galois Connections
Booth Number: 705 |
|
|
DESCRIPTION: Mission-critical or national security applications demand levels of high assurance not often found in commercial software. Galois Connections develops high confidence software using a breakthrough approach to formal methods, which successfully scales to high-complexity systems. At Galois (pronounced “gal-wah”), we employ leading-edge functional programming techniques, enabling us to rapidly specify and develop in the problem domain, while greatly simplifying verification. We specialize in information assurance applications, including multi-level security, trusted platforms, and crypto-algorithm development. Founded in 1999, Galois has successfully delivered projects under contract for corporate and government clients including the National Security Agency. Visit our booth and meet members of our research and development staff to discuss solutions to your most challenging information assurance needs. |
|
|
URL:
www.galois.com |
|
|
|
|
|
Booth Title: Galorath, Inc.
Booth Number: 612 |
|
|
DESCRIPTION: For more than 20 years, project managers, engineers, and costing personnel throughout the world have turned to Galorath, Inc., for the industry’s most comprehensive set of decision-support and process management tools. Complemented by extensive consulting and support services, Galorath’s SEER estimation and analysis tools define, analyze, and manage software, hardware, and DFM projects, from early concepts through upgrade and maintenance phases. An innovator in software management parametric analysis, Galorath’s SEER tools derive cost, schedule, and staffing estimates by assessing the interaction and impact of product, organizational, and even operational variables. This parametric methodology, coupled with the industry’s most comprehensive knowledge bases, creates a rapid and powerful view of the critical factors driving program decision and determining success. For more information contact Galorath, Inc., at 100 N. Sepulveda Blvd., El Segundo, CA 90245; telephone 310-414-3222, or outside the U.S. +44-0-1252-737684; email info@galorath.com or visit www.galorath.com. |
|
|
URL:
www.galorath.com |
|
|
|
|
|
Booth Title: Geolux Communications, Inc.
Booth Number: 920 |
|
|
URL:
www.geolux.com |
|
|
|
|
|
Booth Title: Green Hills Software, Inc.
Booth Number: 102 |
|
|
DESCRIPTION: Green Hills Software, Inc., will showcase INTEGRITY®-178B, the only commercial Real-Time Operating System (RTOS) suitable for safety-critical applications that require maximum reliability and security. INTEGRITY-178B is certified to DO-178B, Level A and includes an ARINC 653 compliant partition scheduler. INTEGRITY-178B is uniquely capable of supporting demanding safety-critical applications that contain multiple programs with different levels of safety required, all running on a single processor. INTEGRITY-178B provides complete time, space, and resource partitioning between applications operating on the same hardware platform. INTEGRITY is available for use within PowerPC, MIPS, XScale, ARM, and x86/Pentium-based systems. |
|
|
URL:
www.ghs.com |
|
|
|
|
|
Booth Title: GSA Federal Technology Service
Booth Number: 101 |
|
|
DESCRIPTION: The GSA Federal Technology Service (FTS) has the mission and authority to contract and procure Information Technology (IT) and telecommunications-related products and services for all federal agencies and military organizations. Agencies can benefit from low cost, expedient service through GSA’s use of a wide selection of approximately 5,000 technology companies. FTS can also assist federal agencies by providing flexible funding through the IT Fund which is especially useful at year end. FTS’s core mission is to assist federal agencies with their IT and Telecommunications requirements by providing contract administration. We have highly motivated professional contracting officers, IT managers, telecommunications experts, and financial support, to provide a full turn key solution to the agencies who desire to explore alternatives to their current acquisition process. GSA encourages the partnering with other agencies in order to meet acquisition goals and timeframes. Stop by our booth for more information on security contracts. |
|
|
|
|
|
PARTICIPANT INFORMATION CO-SPONSORS || SEARCH PROCEEDINGS HOME © 2003 [Utah State University]. All rights reserved. |