247 search results - page 35 / 50 » Perspectives in Probabilistic Verification |
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
—In this paper we study the propagation of malicious software in wireless ad hoc networks under a probabilistic framework. We design topology control algorithms for the developme...
ROMAN
2007
IEEE
14 years 3 months ago
2007
IEEE
Robot Programming by Demonstration (RbD) covers methods by which a robot learns new skills through human guidance. In this work, we take the perspective that the role of the tea...
ISI
2007
Springer
14 years 3 months ago
2007
Springer
— In this paper we define a new metric for quantifying the degree of anonymity collectively afforded to users of an anonymous communication system. We show how our metric, based...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Spector et al. have shown [1],[2],[3] that genetic programming can be used to evolve quantum circuits. In this paper, we present new results in this field, introducing p...
ICDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper studies the problem of updates in decentralised and self-organising P2P systems in which peers have low online probabilities and only local knowledge. The update strate...