198 search results - page 1 / 40 » The Ethics of Safety-Critical Systems |
CACM
2000
13 years 7 months ago
2000
ICDCS
1999
IEEE
13 years 11 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
EDCC
2010
Springer
14 years 7 days ago
2010
Springer
CHI
2007
ACM
14 years 7 months ago
2007
ACM
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...