5439 search results - page 377 / 1088 » Patterns: from system design to software testing |
129
click to vote
COMPSAC
2005
IEEE
16 years 15 days ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
177
click to vote
CTW
2002
15 years 6 months ago
2002
Abstract: The present study began with an assessment of the reliability and usefulness of an existing minor event coding system in a British `highconsequence' industry. It was...
189
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
215
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
197
click to vote
AMFG
2005
IEEE
15 years 8 months ago
2005
IEEE
Discriminatory information about person identity is multimodal. Yet, most person recognition systems are unimodal, e.g. the use of facial appearance. With a view to exploiting the ...