53 search results - page 9 / 11 » User-Centered Methods Are Insufficient for Safety Critical S... |
113
Voted
FORTE
1994
14 years 10 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
DIMACS
1996
14 years 10 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
176
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
Scheduling/prioritization of DBMS transactions is important for many applications that rely on database backends. A convenient way to achieve scheduling is to limit the number of ...
110
Voted
ESANN
2007
14 years 11 months ago
2007
Uncertainty is a popular phenomenon in machine learning and a variety of methods to model uncertainty at different levels has been developed. The aim of this paper is to motivate ...
PAKDD
2009
ACM
15 years 4 months ago
2009
ACM
Atypical behaviours are the basis of a valuable knowledge in domains related to security (e.g. fraud detection for credit card [1], cyber security [4] or safety of critical systems...