13180 search results - page 2285 / 2636 » Network Models |
149
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
145
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—We analyze how node mobility can influence the convergence time of averaging gossip algorithms on networks. Our main result is that even a small number of fully mobile nodes ca...
135
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
In last years, trust and reputation has been gaining increasing interest in multi-agent systems (MAS). To address this issue, we propose in this paper a maintenance-based trust me...
153
click to vote
DCOSS
2009
Springer
15 years 11 months ago
2009
Springer
Sensor networks introduce new resource allocation problems in which sensors need to be assigned to the tasks they best help. Such problems have been previously studied in simplifi...
134
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Helicopter hovering is an important challenge problem in the field of reinforcement learning. This paper considers several neuroevolutionary approaches to discovering robust cont...