Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 15 of 30.

Add to Quick Collection   All 30 Results

Sort:
 Add All Items to Quick Collection
Date: 2011
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/320531
Description: A new method is presented that enables distinguishing between active and non-active cells with regard to biogenic silica deposition during frustule formation in natural communities of siliceous phytop ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/115036
Description: In this paper, we develop a QoS DIstribution Estimation Tool: QoSDIST for service compositions. QoSDIST has the following functions which distinguish it from existing QoS estimation approaches: (1) Qo ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1228588
Description: The Resource Description Framework (RDF) is a flexible model for representing information about resources in the web. With the increasing amount of RDF data which is becoming available, efficient and ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/322833
Description: Most highly dynamic infrastructure-less networks have in common that the assumption of connectivity does not necessarily hold at a given instant. Still, communication routes can be available between a ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1228106
Description: Storing an XML document as a single record of type BLOB (or sequence of bytes) in RDBMS has become a widely used solution that reduces the complexity of reassembling the original document. However, sh ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: book
Identifier: http://hdl.handle.net/1959.14/1223358
Description: Mixed-Signal Embedded Microcontrollers are commonly used in integrating analog components needed to control non-digital electronic systems. They are used in automatically controlled devices and produc ... More
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1228138
Description: We propose a scheme for continuous variable entanglement purification using the interaction of two-mode squeezed beams with cold trapped atomic ensembles. In the limit of very large number of atoms, a ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/148162
Description: 18 page(s)
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/119613
Description: The increasing interest in gesture recognition is inspired largely by creating a system which can identify specific human gestures and using gestures to convey information or control devices. In this ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1228367
Description: 15 page(s)
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1228448
Description: We present a constraint-based method for automatically generating quantitative invariants for linear probabilistic programs, and we show how it can be used, in combination with proof-based methods, to ... More
Reviewed: Reviewed
Date: 2010
Subject Keyword: 080500 Distributed Computing
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/148083
Description: Binary attestation in trusted computing provides the ability to reason about the state of a platform using integrity measurements. Property based attestation, an extension of binary attestation enable ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1228244
Description: In this paper, we study multicast protocols for Mobile Ad-Hoc Networks, and specifically OLSR networks. We describe and compare three multicast protocols, namely MOST (Multicast Overlay Spanning Tree) ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1228538
Description: Probabilistic B (pB) [2,8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, probabilistic B formulate ... More
Reviewed: Reviewed
Date: 2009
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.14/310985
Description: 25 page(s)