11325 search results - page 1860 / 2265 » Active Model Selection |
234
click to vote
CBSQ
2003
Springer
16 years 1 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
182
click to vote
CRYPTO
2003
Springer
16 years 1 days ago
2003
Springer
We consider the fundamental problem of authenticated group key exchange among n parties within a larger and insecure public network. A number of solutions to this problem have bee...
176
click to vote
ECAL
2003
Springer
16 years 1 days ago
2003
Springer
This paper demonstrates that the waves produced on the surface of water can be used as the medium for a “Liquid State Machine” that pre-processes inputs so allowing a simple pe...
178
click to vote
FM
2003
Springer
16 years 1 days ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
199
click to vote
INDOCRYPT
2003
Springer
16 years 20 hour ago
2003
Springer
We consider both information-theoretic and cryptographic settings for Multi-Party Computation (MPC), based on the underlying linear secret sharing scheme. Our goal is to study the ...