1992 search results - page 112 / 399 » Model Based Testing with Labelled Transition Systems |
131
click to vote
PAMI
2010
15 years 1 months ago
2010
—We describe an object detection system based on mixtures of multiscale deformable part models. Our system is able to represent highly variable object classes and achieves state-...
130
click to vote
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
115
click to vote
JNW
2006
15 years 3 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
125
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
110
click to vote
DSN
2000
IEEE
15 years 7 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...