10159 search results - page 1659 / 2032 » System Design Validation Using Formal Models |
174
click to vote
CRYPTO
2010
Springer
15 years 8 months ago
2010
Springer
Secure two-party authentication and key exchange are fundamental problems. Traditionally, the parties authenticate each other by means of their identities, using a public-key infr...
225
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
In the standard formalization of supervised learning problems, a datum is represented as a vector of features without prior knowledge about relationships among features. However, ...
191
click to vote
ESAW
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we present analysis and calibration techniques that exploit knowledge about a multi agent society in order to calibrate the system parameters of a corresponding socie...
176
click to vote
IMAGING
2003
15 years 8 months ago
2003
Color imaging systems are continuously improving, and have now improved to the point of capturing high dynamic range scenes. Unfortunately most commercially available color displa...
197
click to vote
COMPUTER
2002
15 years 6 months ago
2002
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...