1587 search results - page 51 / 318 » What's my method |
143
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
We present a novel method for automatically acquiring strategies for the double auction by combining evolutionary optimization together with a principled game-theoretic analysis. ...
163
Voted
FLAIRS
2000
15 years 7 months ago
2000
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
172
Voted
BIBE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Often groups of genes in regulatory networks, also called modules, work collaboratively on similar functions. Mathematically, the modules in a regulatory network has often been ...
168
Voted
FM
2006
Springer
15 years 9 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
159
Voted
IOR
2008
15 years 5 months ago
2008
We introduce and study a randomized quasi-Monte Carlo method for estimating the state distribution at each step of a Markov chain. The number of steps in the chain can be random an...