2211 search results - page 306 / 443 » The state of peer-to-peer simulators and simulations |
194
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
172
click to vote
CRYPTO
2009
Springer
16 years 29 days ago
2009
Springer
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
186
click to vote
ICCS
2009
Springer
16 years 29 days ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
184
Voted
PKDD
2009
Springer
16 years 28 days ago
2009
Springer
Probabilistic relational models are an efficient way to learn and represent the dynamics in realistic environments consisting of many objects. Autonomous intelligent agents that gr...
171
click to vote
HYBRID
2010
Springer
16 years 27 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...