9018 search results - page 1169 / 1804 » 3D-Brain Model Software |
199
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
200
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
177
Voted
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
233
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
194
Voted
APSEC
2001
IEEE
15 years 11 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...