3742 search results - page 362 / 749 » On the Use of Formal Techniques for Validation |
194
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
171
click to vote
DL
1997
Springer
15 years 11 months ago
1997
Springer
In a digital library, there are many di erent interaction models between customers and information providers or merchants. Subscriptions, sessions, pay-per-view, shareware, and pr...
189
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
191
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
Shaping functions can be used in multi-task reinforcement learning (RL) to incorporate knowledge from previously experienced tasks to speed up learning on a new task. So far, rese...
192
click to vote
UAI
2008
15 years 8 months ago
2008
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...