2947 search results - page 211 / 590 » The timely token protocol |
194
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
181
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Accurate and synchronized time is crucial in many sensor network applications due to the need for consistent distributed sensing and coordination. In hostile environments where an...
220
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Inter-contact time between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs) and central to forwarding algorithms and the end-to-end delay. Due to ...
182
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, a design method for automotive architectures is proposed. The two main technical contributions are (i) a novel hardware/software architecture encoding that unifies ...
183
click to vote
VTC
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— A multihop ad hoc wireless network with an interference avoidance model is analyzed for a time division duplex (TDD) air-interface. In accordance with the non-interfere...