129 search results - page 14 / 26 » The Medium And The Message |
WEA
2010
Springer
14 years 21 days ago
2010
Springer
Server based route planning in road networks is now powerful enough to find quickest paths in a matter of milliseconds, even if detailed information on time-dependent travel times...
MONET
2011
2011
Achieving End-to-end Fairness in 802.11e Based Wireless Multi-Hop Mesh Networks Without Coordination
13 years 2 months ago
Abstract To mitigate the damaging impacts caused by interference and hidden terminals, it has been proposed to use orthogonal channels in wireless multi-hop mesh networks. We demon...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— The cognitive radio channel (CRC) refers to a communication model in which two senders attempt to communicate with their respective receivers simultaneously through a c...