|
|
EHIBITOR LIST - SSTC 2004 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 0-9 All |
|
Booth Title: Galois Connections, Inc.
Booth Number: 523 |
|
|
DESCRIPTION: Galois Connections, Inc., designs and develops high confidence software for critical applications. Our innovative approach to software development provides high levels of assurance, yet its scalability enables us to address the most complex problems. We have successfully engineered projects under contract for government and industry clients in the demanding application areas of Multi-Level Security (MLS), trusted middleware and cryptography. Our use of mathematically-based programming techniques ensures key assurance properties are formally defined and then implemented directly, and are not solely dependent on detailed inspection and testing late in the project. The advantage is rapid specification convergence and much-simplified verification and validation of the finished product. Please stop by our booth (#523) where we will be highlighting recent work performed on a cross-domain secure Web server. |
|
|
|
|
|
Booth Title: Galorath Incorporated
Booth Number: 602 |
|
|
|
|
|
Booth Title: GemStone Systems, Inc.
Booth Number: 724 |
|
|
DESCRIPTION: The GemFire Suite from GemStone Systems is an industry leading high performance data services management solution. GemFire is a flexible, cross-platform, cost-effective solution for data distribution, distributed caching and management across the enterprise in real-time. GemFire increases information effectiveness by dynamically provisioning consistent data at the right place, at the right time, and in the right format. For efforts such as the Department of Defense's (DoD) Net-Centric data strategy and the Intelligence Community's collaboration initiatives, GemFire provides real-time caching and data distribution that is language and infrastructure neutral to address the need to share data across existing processes, software, and hardware boundaries. GemStone Systems, Inc., founded in 1982, is a privately held company with over 22 years of experience in building data management solutions. With 200 plus customers on six continents, GemStone's patented technology has a successful track record of innovation in distributed Object Oriented (OO) technologies and virtual memory architectures. |
|
|
URL:
www.gemstone.com |
|
|
|
|
|
Booth Title: Green Hills Software, Inc.
Booth Number: 628 |
|
|
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 with PowerPC, MIPS, XScale, ARM, and x86/Pentium-based systems. |
|
|
URL:
www.ghs.com |
|
|
|
|
|
Booth Title: Groove Networks
Booth Number: 810 |
|
|
DESCRIPTION: Groove virtual office software allows teams of people to work over the network as if they were in the same physical location, including: · Individuals from "outside" organizations who are integral members of the team. · Occasionally disconnected workers who need to take their 'office' with them, so they are productive on- and off-line · Bandwidth-constrained remote workers who need to make the best of what is available to them--working with local content as much as possible and sending and receiving only critical information Groove gets the most out of your teams. · Coordinate far-flung team members to more easily make quick and accurate decisions. · Rapidly respond to emerging problems and opportunities. · Include external parties as integral participants in core processes. Groove gets the most out of your existing systems. Groove virtual office software provides all these capabilities without requiring major infrastructure changes or new technology investments. |
|
|
|
|
|
CO-SPONSORS || SEARCH PROCEEDINGS HOME © 2004 [Utah State University]. All rights reserved. |