126 search results - page 22 / 26 » A History-based Verification of Distributed Applications |
156
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
204
click to vote
GECCO
2007
Springer
15 years 12 months ago
2007
Springer
This paper investigates the impacts of individual egoistic and altruistic behaviors in a virtual society built upon the Vidya game, used here as the social simulation and Multiage...
154
click to vote
ACMDIS
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
204
click to vote
PEWASUN
2004
ACM
15 years 11 months ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...
174
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...