1890 search results - page 25 / 378 » Model-Based Testing in Practice |
194
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
149
click to vote
IPMI
2009
Springer
15 years 11 months ago
2009
Springer
We propose a method for estimating confidence regions around shapes predicted from partial observations, given a statistical shape model. Our method relies on the estimation of the...
130
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
133
Voted
ESORICS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The recent approach of a model-based framework for steganography fruitfully contributes to the discussion on the security of steganography. In addition, the first propos...
125
Voted
SIBGRAPI
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we compare two distinct primal sketch feature extraction operators: one based on neural network feature learning and the other based on mathematical models of the f...