1331 search results - page 152 / 267 » Trust Establishment in Distributed Networks: Analysis and Mo... |
171
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Safety critical applications for recently proposed vehicle to vehicle ad-hoc networks (VANETs) rely on a beacon signal, which poses a threat to privacy since it could allow a vehic...
154
click to vote
JMLR
2010
15 years 4 months ago
2010
How can we generate realistic networks? In addition, how can we do so with a mathematically tractable model that allows for rigorous analysis of network properties? Real networks ...
166
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
159
Voted
GECCO
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we propose an agent-based model of evolutionary algorithms (EAs) which extends seamlessly from concurrent single-host to distributed multi-host installations. Since ...
149
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
The quality of information is crucial for decision making in many mission-critical applications such as battlefield operations and intelligence analysis. However, as the system b...