Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 3 of 3.

Add to Quick Collection   All 3 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Date: 2009
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.14/130608
Description: It is well-known that the performance of wireless protocols depends on the quality of the wireless links, which in turn is affected by the network topology. The aim of this paper is to investigate the ... More
Authors: McIver, A. K
Date: 2006
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/29233
Description: For standard (ie non-probabilistic) systems of reasonable size, correctness is analysed by simulation and/or model checking, possibly with standard program-logical arguments beforehand to reduce the p ... More
Reviewed: Reviewed
Authors: McIver, A. K
Date: 2006
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/29228
Description: An important concern in wireless network technology is battery conservation. A promising approach to saving energy is to allow nodes periodically to enter a “low power mode”, however this strategy con ... More
Reviewed: Reviewed
  • First
  • Previous
  • 1
  • Next
  • Last