2317 search results - page 360 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
148
Voted
ISCA
2011
IEEE
14 years 7 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...
139
Voted
FLAIRS
2003
15 years 5 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...
128
Voted
WSC
2001
15 years 5 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...
146
Voted
ESWS
2008
Springer
15 years 5 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...
121
Voted
WSC
1998
15 years 5 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...