178 search results - page 7 / 36 » An environment for object-oriented real-time systems design |
199
click to vote
ANZIIS
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper describes the design and developmentof an expert system for tourist information center. The expert system was built to recommend a suitable travel schedule that satisfi...
181
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
The latest version of Real-Time CORBA defines a Distributable Thread primitive to support real-time computing in a dynamic distributed environment. However, this standard does not...
161
click to vote
ACSC
2000
IEEE
15 years 9 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
167
click to vote
VR
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the software architecture of Dragon, a real-time situational awareness virtual environment for battlefield visualization. Dragon receives data from a number of...
173
click to vote
RTAS
2009
IEEE
16 years 20 days ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...