288 search results - page 17 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
EUROPAR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Different auction-based approaches have been used to allocate resources in Grids, but none of them provide the design choice for a specific economic model while consideri...
MOBIHOC
2008
ACM
14 years 7 months ago
2008
ACM
Simulation of network protocol behavior in Vehicular Ad Hoc Network (VANET) scenarios is strongly demanded for evaluating the applicability of developed network protocols. In this...
CN
2004
13 years 7 months ago
2004
Securing ad hoc networks in a fully self-organized way is effective and light-weight, but fails to accomplish trust initialization in many trust deficient scenarios. To overcome t...
PADS
2004
ACM
14 years 1 months ago
2004
ACM
In mobile ad hoc network (MANET) studies, it is imperative to use highly detailed device models as they provide high layer protocols with good prediction of underlying wireless co...
TCOM
2010
13 years 6 months ago
2010
—In this paper, we present a model to analyze the performance of three transmission strategies with smart antennas, i.e. directional antennas with adjustable transmission power. ...