4693 search results - page 542 / 939 » Verifying Hybrid Systems |
183
click to vote
ESORICS
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Given the requirements of fast processing and the complexity of RF ranging systems, distance bounding protocols have been challenging to implement so far; only few design...
218
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
Hybrid automatic repeat-request (HARQ) is critical to an IEEE 802.16e OFDMA network, as it can significantly improve the reliability of wireless link. However, as revealed by our...
185
click to vote
GIAE
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
207
click to vote
EDBT
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. In wireless data broadcast systems, popular information is repetitively disseminated through possibly multiple communication channels to mobile clients using various type...
207
click to vote
ISMB
1994
15 years 8 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...