2317 search results - page 360 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
ISCA
2011
IEEE
12 years 12 months ago
2011
IEEE
With technology scaling, manufacture-time and in-field permanent faults are becoming a fundamental problem. Multi-core architectures with spares can tolerate them by detecting an...
FLAIRS
2003
13 years 9 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
WSC
2001
13 years 9 months ago
2001
The Washington State Ferries are one of the largest ferry systems in the world. Accidents involving Washington State Ferries are rare events. However, low probability, high conseq...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
WSC
1998
13 years 9 months ago
1998
LABATCH.2 is a collection of computer programs available in C, FORTRAN, and SIMSCRIPT II.5 by anonymous ftp, at http://www.or.unc.edu/gfish/labatch.2.html. It performs statistical...