10715 search results - page 245 / 2143 » Proofs from Tests |
151
click to vote
ESORICS
2007
Springer
16 years 25 days ago
2007
Springer
Protocol participants manipulate values, transforming the cryptographic contexts in which they occur. The rules of the protocol determine which transformations are permitted. We fo...
156
click to vote
FATES
2004
Springer
16 years 1 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
166
click to vote
ERSHOV
2003
Springer
15 years 12 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
153
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Voxel Coloring has become a popular technique for reconstructing a 3D scene from a set of 2D images. While many different variants of this technique exist, all rely on a test to d...
133
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
An objective of DSP testing should be to ensure that any errors due to missed faults are infrequent compared to a circuit’s intrinsic errors, such as overflow. A method is prop...