3828 search results - page 326 / 766 » Proof-Based System Engineering Using a Virtual System Model |
183
click to vote
HPDC
1993
IEEE
15 years 10 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
211
click to vote
AIED
2009
Springer
15 years 4 months ago
2009
Springer
Educational games may be particularly suited to teaching social learning skills with virtual humans. We investigate the importance of social goals and engaging social interactions ...
175
click to vote
RTCSA
2007
IEEE
16 years 28 days ago
2007
IEEE
Given the major advantages of productivity and safety, the use of garbage collection (GC) in real-time systems has gained increasing attention. Guaranteeing garbage collection act...
173
click to vote
AC
2000
Springer
15 years 6 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
192
click to vote
WER
2005
Springer
16 years 4 days ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...