10602 search results - page 34 / 2121 » Weakly Useful Sequences |
ADAEUROPE
2009
Springer
14 years 3 months ago
2009
Springer
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—It is well known that a packet loss in 802.11 can happen either due to collision or an insufficiently strong signal. However, discerning the exact cause of a packet loss, once ...
ECRTS
2002
IEEE
14 years 2 months ago
2002
IEEE
For priority based buses such as CAN, worst case response time analysis is able to determine whether messages always meet their deadlines. This can include system models with boun...
ATVA
2006
Springer
14 years 26 days ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
WDAG
2000
Springer
14 years 21 days ago
2000
Springer
A graph G with n vertices and maximum degree G cannot be given weak sense of direction using less than G colours. It is known that n colours are always sufficient, and it was conje...