We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
Radio Frequency Identiļ¬cation (RFID) technology has the potential to dramatically improve numerous industrial practices. However, it still faces many challenges, including secur...
Ahmad Rahmati, Lin Zhong, Matti A. Hiltunen, Rittw...
We consider storage in an extremely large-scale distributed computer system designed for stream processing applications. In such systems, incoming data and intermediate results ma...
Kirsten Hildrum, Fred Douglis, Joel L. Wolf, Phili...
XML transformations are most naturally deļ¬ned as recursive functions on trees. Their direct implementation, however, causes ineļ¬cient memory usage because the input XML tree is...
The EPC (Electronic Product Code) tag is a form of RFID (Radio-Frequency IDentiļ¬cation) device that is emerging as a successor to the printed barcode. Like barcodes, EPC tags emi...