2796 search results - page 362 / 560 » The coolest path problem |
174
click to vote
ICNP
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— We propose the first practical solution to the longstanding problem of secure wireless routing in the presence of colluding attackers. Our secure routing protocol, Spr...
199
click to vote
INFOCOM
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— Service level agreements (SLAs) specify performance guarantees made by service providers, typically in terms of packet loss, delay, delay variation, and network availab...
142
click to vote
ICFEM
2007
Springer
16 years 20 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
187
click to vote
DSN
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...
184
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...